Herausgegeben von: Thomas A. Henzinger
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Thomas A. Henzinger.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Hardcover): Fachbuch
Auf Lager:
1
Handbook of Model Checking
-25.8 %
CHF 132.–
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Hybrid Systems III
Verification and Control
-8.2 %
CHF 123.–
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
-16.7 %
CHF 57.50
4
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
-23.9 %
CHF 102.–
5
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Computational Methods in Systems Biology
11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
-16.7 %
CHF 57.50
6
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Embedded Software
First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
-16.7 %
CHF 57.50