Claude Kirchner |
Sortierung: Titel - Veröffentlichung | ||
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch | ||
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) | ||
Herausgeber von: | ||
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Buch) Sprache: English Veröffentlichung: Juni 1998 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen | |
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Buch) Sprache: English Veröffentlichung: Mai 2009 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen | |
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Buch) Sprache: English Veröffentlichung: Juni 2007 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen | |
Seite 1 von 1 |