-
Mechanizing Mathematical Reasoning
EbookSofort lieferbarBy presenting state-of-the-art results in logic...
-
-
Pinselstriche, Klavier und Kunst
EbookSofort lieferbarMalerei, Musik und Schriftsteller spielen in di...
-
Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung
EbookSofort lieferbarDie Enquete-Kommission 'Schutz des Menschen und...
-
Applied Formal Methods - FM-Trends 98
EbookSofort lieferbarThis volume contains the contributions presente...
-
Security in Pervasive Computing
EbookSofort lieferbarThis book constitutes the thoroughly refereed p...
-
-
Security in Pervasive Computing
TaschenbuchPrint on DemandThis volume contains the papers presented at th...
-
Security in Pervasive Computing
TaschenbuchPrint on DemandThe ongoing compression of computing facilities...
-
Mechanizing Mathematical Reasoning
TaschenbuchPrint on DemandBy presenting state-of-the-art results in logic...
-
Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung
TaschenbuchPrint on Demand -
Applied Formal Methods - FM-Trends 98
TaschenbuchPrint on DemandThis volume contains the contributions presente...
- 1
- 2
Folgen Sie uns auf:
