Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Automated Technology for Verification and Analysis - 15 Angebote vergleichen
Bester Preis: € 3,67 (vom 13.03.2019)Automated Technology for Verification a (2016)
ISBN: 9783319465197 bzw. 3319465198, in Deutsch, Taschenbuch, neu.
Erscheinungsdatum: 21.10.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Automated Technology for Verification and Analysis, Titelzusatz: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, Redaktion: Artho, Cyrille // Legay, Axel // Peled, Doron, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Programmiersprachen // Roboter // Robotik // Industrieroboter // Compiler // Übersetzer // Mathematik // Informatik // Computer // COMPUTERS // Software Development & Engineering // General // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 530, Abbildungen: 102 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 9938), Informationen: Book, Gewicht: 835 gr, Verkäufer: averdo.
Automated Technology for Verification and Analysis (2016)
ISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Automated Technology for Verification and Analysis, 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (2016)
ISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer, neu, E-Book.
bol.com.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis (2016)
ISBN: 3319465198 bzw. 9783319465197, in Deutsch, neu.
Automated Technology for Verification and Analysis (2016)
ISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis (2016)
ISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis
ISBN: 9783319465197 bzw. 3319465198, in Deutsch, Springer, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis, 14th Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (2016)
ISBN: 9783319465197 bzw. 3319465198, in Deutsch, Springer International Publishing AG, Taschenbuch, neu.
bol.com.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis (2016)
ISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology For Verification And Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Pr (2016)
ISBN: 9783319465197 bzw. 3319465198, in Deutsch, Springer-Verlag/Sci-Tech/Trade, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen