Thomas a henzinger u a (8 Ergebnisse)
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Hybrid Systems: Computation and Control | First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings | Thomas A. Henzinger (u. a.) | Taschenbuch | viii | Englisch | 1998 | Springer | EAN 9783540643586 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tie…rgartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Embedded Software | First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings | Thomas A. Henzinger (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2001 | Springer | EAN 9783540426738 | Verantwortliche Person für die EU: Springer Nature Customer Ser…vice Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Computer Aided Verification | 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings | Rajeev Alur (u. a.) | Taschenbuch | xiii | Englisch | 1996 | Springer | EAN 9783540614746 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69…121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Computational Methods in Systems Biology | 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings | Ashutosh Gupta (u. a.) | Taschenbuch | xx | Englisch | 2013 | Springer | EAN 9783642407079 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tierga…rtenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,35
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Mathematical and Engineering Methods in Computer Science | 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers | Antonin Kucera (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642360442 | Verantwortliche Person für di…e EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Hybrid Systems III | Verification and Control | Rajeev Alur (u. a.) | Taschenbuch | ix | Englisch | 1996 | Springer | EAN 9783540611554 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,15
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Computer Science Logic | 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings | Jacques Duparc (u. a.) | Taschenbuch | xiv | Englisch | 2007 | Springer | EAN 9783540749141 | Verantwortliche Person für die EU: Springer Verlag… GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Hardcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 129,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Handbook of Model Checking | Edmund M. Clarke (u. a.) | Buch | xlviii | Englisch | 2018 | Springer-Verlag GmbH | EAN 9783319105741 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
