Angebote zu "Validation" (91 Treffer)

Kategorien

Shops [Filter löschen]

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, 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: 31.05.2020
Zum Angebot
Tahir, Fahima: Nondestructive Validation of Sol...
61,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 18.09.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Nondestructive Validation of Solid Pharmaceutical Products, Titelzusatz: Validation of Solid Drug Surface Morphology using Microscopic Multispectral High Resolution Imaging, Autor: Tahir, Fahima // Fahiem, Muhammad Abuzar, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 144, Informationen: Paperback, Gewicht: 231 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Knepnell: Simulation Validation
99,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 30.05.1993, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Simulation Validation, Autor: Knepnell // Arangno, Verlag: John Wiley & Sons, Sprache: Englisch, Schlagworte: COMPUTERS // Computer Simulation, Rubrik: Informatik, Seiten: 168, Informationen: Paperback, Gewicht: 428 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Mishra:Dynamic Adaptability: Assessment
55,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 11.02.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Dynamic Adaptability: Assessment, Analysis and Validation, Autor: Mishra, Arun // Kumar Misra, Arun, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 172, Informationen: Paperback, Gewicht: 272 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Coloured Petri Nets
59,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.11.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Coloured Petri Nets, Titelzusatz: Modelling and Validation of Concurrent Systems, Auflage: 2009, Autor: Jensen, Kurt // Kristensen, Lars M., Verlag: Springer Berlin Heidelberg // Springer-Verlag GmbH, Sprache: Englisch, Schlagworte: Betriebssysteme // Computernetzwerke und maschinelle Kommunikation // Informatik // Computermodellierung und // simulation, Rubrik: Informatik, Seiten: 396, Informationen: Paperback, Gewicht: 592 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
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: 31.05.2020
Zum Angebot
Leveraging Applications of Formal Methods, Veri...
80,09 € *
ggf. zzgl. Versand

Erscheinungsdatum: 17.01.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Leveraging Applications of Formal Methods, Verification and Validation. Modeling, Titelzusatz: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I, Redaktion: Margaria, Tiziana // Steffen, Bernhard, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik // Informationstechnologie // IT // Technologie // Programmieren // Allgemeines // Compiler // Übersetzer // Intelligenz // Künstliche Intelligenz // KI // AI // Programmiersprachen // Testmethoden // Mathematik // Computer // COMPUTERS // Software Development & Engineering // General // Programmier // und Skriptsprachen // allgemein // Informationstechnik // allgemeine Themen // Programmiertechniken // Compiler und Übersetzer // IT-Zertifizierung // Computernetzwerke und maschinelle Kommunikation // Theoretische Informatik, Rubrik: Informatik, Seiten: 588, Abbildungen: 291 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11244), Informationen: Book, Gewicht: 894 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Goldman, S: Handbook of Computer and Computeriz...
100,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 16.05.2003, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Handbook of Computer and Computerized System Validation for the Pharmaceutical Industry, Autor: Goldman, Stephen Robert, Verlag: 1st Book Library, Sprache: Englisch, Schlagworte: COMPUTERS // Computer Science, Rubrik: Informatik, Seiten: 472, Informationen: Paperback, Gewicht: 1144 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot
Oberkampf, William L.: Verification and Validat...
225,19 € *
ggf. zzgl. Versand

Erscheinungsdatum: 13.01.2014, Medium: Buch, Einband: Gebunden, Titel: Verification and Validation in Scientific Computing, Autor: Oberkampf, William L. // Roy, Christopher J., Verlag: Cambridge University Press, Sprache: Englisch, Schlagworte: COMPUTERS // General, Rubrik: Informatik // EDV, Allgemeines, Lexika, Seiten: 790, Informationen: HC gerader Rücken kaschiert, Gewicht: 1519 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 31.05.2020
Zum Angebot