Online Bücher bei 1Advd.ch bestellen

Thomas Wies

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:
	Networked Systems: 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings (Buch) Sprache: English Veröffentlichung: Juli 2023 (Auf Bestellung) Einband: Kartoniert	SFr. 83.00 bestellen
	On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Buch) Sprache: English Veröffentlichung: Januar 2026 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Pra (Buch) Sprache: English Veröffentlichung: April 2023 (Auf Bestellung) Einband: Kartoniert	SFr. 55.90 bestellen
	Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proc (Buch) Sprache: English Veröffentlichung: Januar 2022 (Auf Bestellung) Einband: Kartoniert	SFr. 123.00 bestellen
	Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected (Buch) Sprache: English Veröffentlichung: Dezember 2017 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Autor von:
	Automated Verification of Concurrent Search Structures (Buch) Sprache: English Veröffentlichung: Juni 2021 (Auf Bestellung) Einband: Kartoniert	SFr. 76.00 bestellen
Seite 1 von 1