Online Bücher bei 1Advd.ch bestellen

Ezio Bartocci

Suche speichern: Du erhälst eine eMail sobald ein neuer Artikel mit diesen Kriterien eingetragen wird

Sortierung: Titel - Veröffentlichung
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette)
Herausgeber von:
	Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings (Buch) Sprache: English Veröffentlichung: September 2016 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday (Buch) Sprache: English Veröffentlichung: September 2021 (Auf Bestellung) Einband: Kartoniert	SFr. 76.00 bestellen
	From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Buch) Sprache: English Veröffentlichung: September 2019 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Lectures on Runtime Verification: Introductory and Advanced Topics (Buch) Sprache: English Veröffentlichung: Februar 2018 (Auf Bestellung) Einband: Kartoniert	SFr. 90.00 bestellen
	Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings (Buch) Sprache: English Veröffentlichung: Juli 2013 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Buch) Sprache: English Veröffentlichung: September 2015 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
Seite 1 von 1