Angebote zu "Verification" (291 Treffer)

Kategorien

Shops [Filter löschen]

Melham, T.: Higher Order Logic and Hardware Ver...
54,29 € *
ggf. zzgl. Versand

Erscheinungsdatum: 28.02.2009, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Higher Order Logic and Hardware Verification, Autor: Melham, T., Verlag: Cambridge University Press, Sprache: Englisch, Schlagworte: COMPUTERS // Computer Engineering // Informatik, Rubrik: Informatik, Seiten: 180, Informationen: Paperback, Gewicht: 322 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.12.2019
Zum Angebot
Steiner, H: Active Multispectral SWIR Imaging f...
58,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 10.01.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Active Multispectral SWIR Imaging for Reliable Skin Detection and Face Verification, Autor: Steiner, Holger, Verlag: Cuvillier Verlag, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik // EDV, Sonstiges, Seiten: 175, Gewicht: 264 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.12.2019
Zum Angebot
Hardware and Software: Verification and Testing
64,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 27.10.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Hardware and Software: Verification and Testing, Titelzusatz: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, Redaktion: Piterman, Nir, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Roboter // Robotik // Industrieroboter // Netzwerk // elektronisch // Compiler // Übersetzer // Programmiersprachen // Mathematik // Informatik // Computer // Intelligenz // Künstliche Intelligenz // KI // AI // COMPUTERS // Software Development & Engineering // General // Netzwerk-Hardware // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 291, Abbildungen: 88 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 9434) // Programming and Software Engineering, Gewicht: 477 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.12.2019
Zum Angebot
Traub, J: Formal Verification of Concurrent Emb...
15,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.05.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Verification of Concurrent Embedded Software, Autor: Traub, Johannes Frederik Jesper, Verlag: Books on Demand, Sprache: Englisch, Rubrik: Informatik, Seiten: 156, Informationen: Paperback, Gewicht: 260 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.12.2019
Zum Angebot
Krupp, A: Verification Plan for Systematic Veri...
48,80 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.07.2009, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: A Verification Plan for Systematic Verification of Mechatronic Systems, Autor: Krupp, Alfred Alexander, Verlag: Shaker Verlag // Shaker, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik, Seiten: 174, Abbildungen: 26 farbige Abbildungen, Reihe: C-LAB Publication (Nr. 29), Gewicht: 239 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.12.2019
Zum Angebot
Hardware and Software: Verification and
54,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 12.11.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Hardware and Software: Verification and Testing, Titelzusatz: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Strichman, Ofer // Tzoref-Brill, Rachel, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Compiler // Übersetzer // EDV // Theorie // Programmieren // Allgemeines // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Mathematik // Informatik // Computer // Netzwerk // elektronisch // Programmiersprachen // Roboter // Robotik // Industrieroboter, Rubrik: Informatik, Seiten: 276, Informationen: Paperback, Gewicht: 436 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.12.2019
Zum Angebot
Hardware and Software: Verification and
54,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 01.11.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Hardware and Software: Verification and Testing, Titelzusatz: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Arbel, Eli // Bloem, Roderick, Verlag: Springer International Publishing // Springer International Publishing AG, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering, Rubrik: Informatik, Seiten: 228, Informationen: Paperback, Gewicht: 375 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.12.2019
Zum Angebot
Computer Aided Verification
79,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.07.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Computer Aided Verification, Titelzusatz: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Chaudhuri, Swarat // Farzan, Azadeh, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines, Rubrik: Informatik, Seiten: 540, Informationen: Paperback, Gewicht: 842 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.12.2019
Zum Angebot
Giustolisi, Rosario: Modelling and Verification...
98,69 € *
ggf. zzgl. Versand

Erscheinungsdatum: 27.03.2018, Medium: Buch, Einband: Gebunden, Titel: Modelling and Verification of Secure Exams, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Autor: Giustolisi, Rosario, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Datenverarbeitung // Elektronik // EDV // Datenverschlüsselung // Kryptografie // Informationstechnologie // IT // Technologie // Lernen // Lernmethoden // Lerntechniken // Mathematik // Informatik // Computer // Öffentliche Verwaltung // Verwaltung // Informationstechnik // allgemeine Themen // Algorithmen und Datenstrukturen // Computernetzwerke und maschinelle Kommunikation // Theoretische Informatik, Rubrik: Informatik, Seiten: 152, Informationen: HC runder Rücken kaschiert, Gewicht: 391 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 15.12.2019
Zum Angebot