Online Bücher bei 1Advd.ch bestellen

Freek Wiedijk

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:
	Hybrid Systems: Computation and Control - 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Buch) Sprache: English Veröffentlichung: März 2003 (Auf Bestellung) Einband: Kartoniert	SFr. 135.00 bestellen
	Intelligent Computer Mathematics: 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmi (Buch) Sprache: English Veröffentlichung: Juli 2008 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Buch) Sprache: English Veröffentlichung: August 2011 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday (Buch) Sprache: English Veröffentlichung: Mai 2024 (Auf Bestellung) Einband: Kartoniert	SFr. 168.00 bestellen
	The Seventeen Provers of the World: Foreword by Dana S. Scott (Buch) Sprache: English Veröffentlichung: Februar 2006 (Auf Bestellung) Einband: Kartoniert	SFr. 77.00 bestellen
	Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Buch) Sprache: English Veröffentlichung: April 2003 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
Seite 1 von 1