Online Bücher bei 1Advd.ch bestellen

Suchergebniss	Artikel 1-7 von 7
Suche einengen: Alle Bücher - Deutsche Bücher - Englische Bücher - Französische Bücher - Spanische Bücher
Sortierung ändern: Popularität Titel Veröffentlichung Preis
	Deductive Software Verification – The KeY Book: From Theory to Practice	EDV / Informatik	158.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Introduction to Databases: From Biological to Spatio-Temporal	EDV / Informatik	123.00	wunschliste
Buch	Sprache: Englisch / Autor: Peter Revesz / Einband: Kartoniert			bestellen
	Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction	EDV / Informatik	43.90	wunschliste
Buch	Sprache: Englisch / Autor: Benjamin Weiss / Einband: Kartoniert			bestellen
	Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY	EDV / Informatik	69.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Introduction to Databases: From Biological to Spatio-Temporal	EDV / Informatik	134.00	wunschliste
Buch	Sprache: Englisch / Autor: Peter Revesz / Einband: Gebunden			bestellen
	Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings	Schulbücher	69.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Theoretical Aspects of Software Engineering: 20th International Symposium, TASE 2026, Shanghai, China, July 4–6, 2026, Proceedings	EDV / Informatik	102.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
		/ 1