Online Bücher bei 1Advd.ch bestellen

Christine Paulin-Mohring

Sortierung: Titel - Veröffentlichung
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette)
Herausgeber von:
	Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Buch) Sprache: English Veröffentlichung: Juli 2013 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Buch) Sprache: English Veröffentlichung: Juli 2008 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Buch) Sprache: English Veröffentlichung: Oktober 1998 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Buch) Sprache: English Veröffentlichung: Januar 2006 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
Seite 1 von 1