Online Bücher bei 1Advd.ch bestellen

Suchergebniss	Artikel 1-8 von 8
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
	Formal Analysis of Future Energy Systems Using Interactive Theorem Proving	Naturwissensch., Medizin, Technik	89.00	wunschliste
Buch	Sprache: Englisch / Autor: Asad Ahmed / Einband: Kartoniert			bestellen
	Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17	EDV / Informatik	69.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings	EDV / Informatik	110.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions	EDV / Informatik	117.00	wunschliste
Buch	Sprache: Englisch / Autor: Yves Bertot / Einband: Gebunden			bestellen
	Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings	EDV / Informatik	69.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions	Schulbücher	104.00	wunschliste
Buch	Sprache: Englisch / Autor: Yves Bertot / Einband: Kartoniert			bestellen
	Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings	EDV / Informatik	69.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
	Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12,	EDV / Informatik	124.00	wunschliste
Buch	Sprache: Englisch / Einband: Kartoniert			bestellen
		/ 1