Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Temporal Logic of Programs
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Monographs in Theoretical Computer Science. An EATCS Series 8
| ISBN: | 3642715516 |
|---|---|
| ISBN 13: | 9783642715518 |
| Autor: | Kröger, Fred |
| Verlag: | Springer Verlag GmbH |
| Umfang: | viii, 148 S. |
| Erscheinungsdatum: | 17.11.2011 |
| Auflage: | 1/2011 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theatre of the Absurd. Term, playwrights, historical context, characteristics]()
Theatre of the Absurd. Term, playwrights, historical context, characteristics
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reflections of a Long White Cloud]()
Reflections of a Long White Cloud
29,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bedeutungsanpassung bei temporalen Modifikatoren]()
Bedeutungsanpassung bei temporalen Modifikatoren
44,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Temporal Logic of Reactive and Concurrent Systems]()
The Temporal Logic of Reactive and Concurrent Systems
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Temporal Logic]()
Advances in Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-temporal Intertwining]()
Spatio-temporal Intertwining
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Network Epidemiology]()
Temporal Network Epidemiology
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Type Theory]()
Temporal Type Theory
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Termination Proofs for Logic Programs]()
Termination Proofs for Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Imaging]()
Temporal Bone Imaging
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Network Theory]()
Temporal Network Theory
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic from the Chronicles Paradigm:]()
Temporal Logic from the Chronicles Paradigm:
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Power]()
Temporal Power
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporale Muster]()
Temporale Muster
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic of Programs]()
Logic of Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advances in Temporal Logic]()
Advances in Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Networks]()
Temporal Networks
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die temporalen Infinitkonstruktionen im Kalmückischen]()
Die temporalen Infinitkonstruktionen im Kalmückischen
54,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Cancer]()
Temporal Bone Cancer
192,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Imaging]()
Temporal Bone Imaging
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Temporal Bone]()
The Temporal Bone
134,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation - Meta-Programming in Logic]()
Logic Program Synthesis and Transformation – Meta-Programming in Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Studies in Temporal Urbanism]()
Studies in Temporal Urbanism
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Sound of Horror in Horrorfilmen]()
Sound of Horror in Horrorfilmen
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die temporale Ontologie des Rechts]()
Die temporale Ontologie des Rechts
104,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Circumstances]()
Temporal Circumstances
93,08 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal, Spatial, and Spatio-Temporal Data Mining]()
Temporal, Spatial, and Spatio-Temporal Data Mining
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Modalities in Arabic Logic]()
Temporal Modalities in Arabic Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporale Fuzzy Logik]()
Temporale Fuzzy Logik
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verifying Concurrent Processes Using Temporal Logic]()
Verifying Concurrent Processes Using Temporal Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic]()
Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Power]()
Temporal Power
56,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Networks]()
Temporal Networks
128,39 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Studies in Temporal Urbanism]()
Studies in Temporal Urbanism
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-Temporal Databases]()
Spatio-Temporal Databases
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic]()
Temporal Logic
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Value in MCDM]()
Temporal Value in MCDM
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic and State Systems]()
Temporal Logic and State Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Extending Temporal Logic with Omega-automata]()
Extending Temporal Logic with Omega-automata
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Live Data Structures in Logic Programs]()
Live Data Structures in Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Problem of Individuation in the Middle Ages]()
The Problem of Individuation in the Middle Ages
9,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporale Geschäftsprozessmodellierung]()
Temporale Geschäftsprozessmodellierung
64,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic and Program Semantics]()
Logic and Program Semantics
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Einführung in die Informatik]()
Einführung in die Informatik
49,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Circumstances]()
Temporal Circumstances
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Temporal Logic of Reactive and Concurrent Systems]()
The Temporal Logic of Reactive and Concurrent Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-Temporal Databases]()
Spatio-Temporal Databases
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis from Incomplete Information]()
Logic Program Synthesis from Incomplete Information
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Execution of Logic Programs]()
Parallel Execution of Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Network Theory]()
Temporal Network Theory
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Program Development in Computational Logic]()
Program Development in Computational Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic in Specification]()
Temporal Logic in Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone]()
Temporal Bone
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Network Epidemiology]()
Temporal Network Epidemiology
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-temporal Networks]()
Spatio-temporal Networks
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-Temporal Databases]()
Spatio-Temporal Databases
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Points of View]()
Temporal Points of View
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal GIS]()
Temporal GIS
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Parallel Execution of Logic Programs]()
Parallel Execution of Logic Programs
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Figurationen des Temporalen]()
Figurationen des Temporalen
55,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Normalization and Partial Evaluation of Functional Logic Programs]()
Normalization and Partial Evaluation of Functional Logic Programs
19,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Cancer]()
Temporal Bone Cancer
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Modalities in Arabic Logic]()
Temporal Modalities in Arabic Logic
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Implementing Functional Logic Programs]()
Implementing Functional Logic Programs
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Based Program Synthesis and Transformation]()
Logic Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Programs, Norms and Action]()
Logic Programs, Norms and Action
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Order]()
Temporal Order
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Imaging]()
Temporal Bone Imaging
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Logic and State Systems]()
Temporal Logic and State Systems
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone]()
Temporal Bone
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic-Based Program Synthesis and Transformation]()
Logic-Based Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Spatio-temporal Intertwining]()
Spatio-temporal Intertwining
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Multiprocessor Execution of Logic Programs]()
Multiprocessor Execution of Logic Programs
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic Program Synthesis and Transformation]()
Logic Program Synthesis and Transformation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Temporal Bone Imaging]()
Temporal Bone Imaging
70,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
