Kategorien

Zu "Verification" wurden 23 Produkte gefunden

Filter
–
Download
PDF
Formal Methods for Discrete-Time Dynamical Systems
Formal Methods for Discrete-Time Dynamical Systems Calin Belta, Boyan Yordanov, Ebru Aydin Gol

171,19 €*
Download
PDF
Nuclear Non-Proliferation in International Law
Nuclear Non-Proliferation in International Law Jonathan L. Black-Branch, Dieter Fleck

160,49 €*
Download
PDF
Testing and Validation of Computer Simulation Models
Testing and Validation of Computer Simulation Models David J. Murray-Smith

96,29 €*
Download
PDF/ePUB
4D Image Verification
4D Image Verification Christian Schaller

36,99 €*
Download
PDF
Proceedings of the 4th World Congress on Integrated Computational Materials Engineering (ICME 2017)
Proceedings of the 4th World Congress on Integrated Computational Materials Engineering (ICME 2017) Paul Mason, Charles R. Fisher, Ryan Glamm, Michele V. Manuel, Georg J. Schmitz, Amarendra K. Singh

128,39 €*
Download
PDF
Principles of the Spin Model Checker
Principles of the Spin Model Checker Mordechai Ben-Ari

47,59 €*
Download
PDF
Hagenberg Business Process Modelling Method
Hagenberg Business Process Modelling Method Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschläger, Thomas Ziebermayr, Bernhard Fr

106,99 €*
Download
PDF
Detect and Deter: Can Countries Verify the Nuclear Test Ban?
Detect and Deter: Can Countries Verify the Nuclear Test Ban? Ola Dahlman, Jenifer Mackby, Svein Mykkeltveit, Hein Haak

96,29 €*
Download
PDF
Logical Analysis of Hybrid Systems
Logical Analysis of Hybrid Systems André Platzer

106,99 €*
Download
PDF
Speaker Authentication
Speaker Authentication Qi (Peter) Li

139,09 €*
Download
PDF
Food Safety Management
Food Safety Management Hal King

69,54 €*
Download
PDF
Advanced Symbolic Analysis for VLSI Systems
Advanced Symbolic Analysis for VLSI Systems Guoyong Shi, Sheldon Tan, Esteban Tlelo-Cuautle

139,09 €*
Download
PDF
A Rigorous Semantics for BPMN 2.0 Process Diagrams
A Rigorous Semantics for BPMN 2.0 Process Diagrams Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr

90,94 €*
Download
PDF
Creating Assertion-Based IP
Creating Assertion-Based IP Harry D. Foster, Adam C. Krolnik

139,09 €*
Download
PDF
The Design of Material, Organism, and Minds
The Design of Material, Organism, and Minds Silke Konsorski-Lang, Michael Hampe

80,24 €*
Download
PDF
Software Verification and Validation
Software Verification and Validation Marcus S. Fisher

90,94 €*
Download
PDF
Quality-Driven SystemC Design
Quality-Driven SystemC Design Daniel Große, Rolf Drechsler

96,29 €*
Download
PDF
Debugging Systems-on-Chip
Debugging Systems-on-Chip Bart Vermeulen, Kees Goossens

96,29 €*
Download
PDF
Simulation and Verification of Electronic and Biological Systems
Simulation and Verification of Electronic and Biological Systems Peter Feldmann, Luís Miguel Silveira, Peng Li

139,09 €*
Download
PDF
3D Biometrics
3D Biometrics David Zhang, Guangming Lu

106,99 €*
Download
PDF
Handbook of Multibiometrics
Handbook of Multibiometrics Arun A. Ross, Karthik Nandakumar, Anil Jain

128,39 €*
Download
PDF
Nuclear Test Ban
Nuclear Test Ban Ola Dahlman, Svein Mykkeltveit, Hein Haak

90,94 €*
Download
PDF
Design and Construction of Tunnels
Design and Construction of Tunnels Pietro Lunardi

117,69 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...