Bibliografie

Ergebnisse für "thomas a henzinger"

Ähnliche Suchbegriffe: thomas gerlinger

1 - 9 von 9
Zur Detailsuche

Ergebnisse

Hybrid Systems: Computation and Control
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15,1998, Proceedings, Lecture Notes in Computer Science 1386
Thomas A Henzinger/Shankar Sastry
Springer Verlag GmbH
Erschienen am 25.03.1998
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Hybrid Systems III
Verification and Control, Lecture Notes in Computer Science 1066
Rajeev Alur/Thomas A Henzinger/Eduardo D Sontag
Springer Verlag GmbH
Erschienen am 24.04.1996
€ 106,99
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Computational Methods in Systems Biology
11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24,2013, Proceedings, Lecture Notes in Computer Science 8130 - Lecture Notes in Bioinformatics
Ashutosh Gupta/Thomas A Henzinger
Springer Verlag GmbH
Erschienen am 19.08.2013
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Handbook of Model Checking
Edmund M Clarke/Thomas A Henzinger/Helmut Veith et al
Springer Verlag GmbH
Erschienen am 08.06.2018
€ 149,79
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Principles of Systems Design
Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 13660
Jean-François Raskin/Krishnendu Chatterjee/Laurent Doyen et al
Springer Verlag GmbH
Erschienen am 29.12.2022
€ 96,29
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Handbook of Model Checking
Edmund M Clarke/Thomas A Henzinger/Helmut Veith et al
Springer Verlag GmbH
Erschienen am 14.11.2020
€ 149,79
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Computer Science Logic
21 International Workshop, CSL 2007,16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,2007, Proceedings, Lecture Notes in Computer Science 4646 - Theoretical Computer Science and General Issues
Jacques Duparc/Thomas A Henzinger
Springer Verlag GmbH
Erschienen am 30.08.2007
€ 106,99
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Handbook of Model Checking
eBook
Thomas A Henzinger/Helmut Veith/Edmund M Clarke et al
SPRINGER
Erschienen am 18.05.2018
Format: PDF
€ 161,95
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen
Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28,2012, Revised Selected Papers, Lecture Notes in Computer Science 7721 - Programming and Software Engineering
Antonin Kucera/Thomas A Henzinger/Jaroslav Nesetril et al
Springer Verlag GmbH
Erschienen am 09.01.2013
€ 53,49
(inklusive MwSt.)
Sofort Lieferbar
Beim Buchhandel bestellen