Angebote zu "Validation" (63 Treffer)

Kategorien

Shops

Barth, J: Development and Validation of a Mobil...
28,50 € *
ggf. zzgl. Versand

Erscheinungsdatum: 13.01.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Development and Validation of a Mobile Gait Analysis System Providing Clinically Relevant Target Parameters in Parkinson's Disease, Titelzusatz: FAU Studien aus der Informatik 3, Autor: Barth, Jens, Verlag: FAU University Press // FAU University Press ein Imprint der Universit„t Erlangen-Nrnberg, Sprache: Englisch, Schlagworte: Datenverarbeitung // Anwendungen // Betrieb // Verwaltung, Rubrik: Anwendungs-Software, Seiten: 220, Reihe: FAU Studien aus der Informatik (Nr. 3), Gewicht: 453 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.12.2019
Zum Angebot
Strichman, Ofer: Efficient Decision Procedures ...
49,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Efficient Decision Procedures for Validation, Titelzusatz: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking, Autor: Strichman, Ofer, Verlag: LAP Lambert Academic Publishing, Sprache: Deutsch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 116, Informationen: Paperback, Gewicht: 188 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.12.2019
Zum Angebot
Shamala, P: Digital Computer Forensic: Validati...
59,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 01/2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Digital Computer Forensic: Validation and Verification for Disk Imaging, Titelzusatz: A Comprehensive Validation and Verification (V&V) Disk Imaging Model for Court of Law Admissibility, Autor: Shamala, Palaniappan // Azizah, Abd Manaf, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 124, Informationen: Paperback, Gewicht: 201 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.12.2019
Zum Angebot
Lengyel, László: Online Validation of Visual Mo...
68,00 € *
ggf. zzgl. Versand

Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Online Validation of Visual Model Transformations, Titelzusatz: Validating graph rewriting-based visual model transformations, Autor: Lengyel, László, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Schlagworte: Informatik, Rubrik: Informatik, Seiten: 180, Informationen: Paperback, Gewicht: 284 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.12.2019
Zum Angebot
Petri-Netz-Methoden und -Werkzeuge
54,99 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.12.1988, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Petri-Netz-Methoden und -Werkzeuge, Titelzusatz: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen, Autor: Eggert, Horst // Leszak, Marek, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Deutsch, Schlagworte: Betriebssysteme // Informatik // Theoretische Informatik // Systemanalyse und // design, Rubrik: Informatik, Seiten: 272, Informationen: Paperback, Gewicht: 475 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.12.2019
Zum Angebot
Lafrance, Stéphane: Spécification et validation...
59,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 09/2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Spécification et validation de protocoles de sécurité, Autor: Lafrance, Stéphane, Verlag: Editions universitaires europeennes EUE, Sprache: Französisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 200, Informationen: Paperback, Gewicht: 314 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.12.2019
Zum Angebot
Ali, Mouez: Vérification et validation formelle...
69,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 12/2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Vérification et validation formelles de modèles UML, Titelzusatz: Approches et outils, Autor: Ali, Mouez, Verlag: Editions universitaires europeennes EUE, Sprache: Französisch, Rubrik: Informatik, Seiten: 240, Informationen: Paperback, Gewicht: 378 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.12.2019
Zum Angebot
Nano, Quantum and Molecular Computing
160,09 € *
ggf. zzgl. Versand

Erscheinungsdatum: 07.12.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Nano, Quantum and Molecular Computing, Titelzusatz: Implications to High Level Design and Validation, Auflage: Softcover reprint of the original 1st ed. 2004, Redaktion: Bahar, R. Iris // Shukla, Sandeep Kumar, Verlag: Springer US // Springer US, New York, N.Y., Sprache: Englisch, Schlagworte: Elektrotechnik // Computer-Aided Design // CAD // Informatik // Theoretische Informatik, Rubrik: Informatik, Seiten: 380, Informationen: Paperback, Gewicht: 575 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.12.2019
Zum Angebot
Montrucchio, L: Text Summarization for Knowledg...
59,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 04/2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Text Summarization for Knowledge Inference and Biological Validation, Titelzusatz: The BioSumm approach, Autor: Montrucchio, Lorenzo, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 140, Informationen: Paperback, Gewicht: 225 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 06.12.2019
Zum Angebot