Online Bücher bei 1Advd.ch bestellen

Nikolaj Bjørner

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-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings (Buch) Sprache: English Veröffentlichung: Juli 2011 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Buch) Sprache: English Veröffentlichung: Juni 2015 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin (Buch) Sprache: English Veröffentlichung: Februar 2012 (Auf Bestellung) Einband: Kartoniert	SFr. 70.00 bestellen
	Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised (Buch) Sprache: English Veröffentlichung: Dezember 2019 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Seite 1 von 1