Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never
Pascal Pieper
Download Now
Format: eBook (EPUB)
Design fur Testbarkeit, Fehlersuche und Zuverlassigkeit : Manahmen der nachsten Generation unter Verwendung formaler Techniken
Sebastian Huhn
Download Now
Format: eBook (EPUB)
In-Memory-Computing : Synthese und Optimierung
Saeideh Shirinzadeh
Download Now
Format: eBook (EPUB)
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verstandnis und Anwendungen
Mehran Goli
Download Now
Format: eBook (EPUB)
Satellite Observations of the Earth's Environment : Accelerating the Transition of Research to Operations
National Research Council
Download Now
Format: eBook (EPUB)
Satellite Gravity and the Geosphere : Contributions to the Study of the Solid Earth and Its Fluid Envelopes
National Research Council
Download Now
Format: eBook (EPUB)
Satellite Observations of the Earth's Environment : Accelerating the Transition of Research to Operations
National Research Council
Download Now
Format: eBook (PDF)
Satellite Gravity and the Geosphere : Contributions to the Study of the Solid Earth and Its Fluid Envelopes
National Research Council
Download Now
Format: eBook (PDF)
State and Federal Standards for Mobile-Source Emissions
National Research Council
Download Now
Format: eBook (PDF)
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglu
Download Now
Format: eBook (PDF)
Binary Decision Diagrams : Theory and Implementation
Rolf Drechsler
Download Now
Format: eBook (PDF)
Design Automation for Field-coupled Nanotechnologies
Marcel Walter
Download Now
Format: eBook (EPUB)
Enhanced Virtual Prototyping for Heterogeneous Systems
Muhammad Hassan
Download Now
Format: eBook (EPUB)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download Now
Format: eBook (PDF)
Reversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Download Now
Format: eBook (PDF)
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Julia Seiter
Download Now
Format: eBook (EPUB)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda
Download Now
Format: eBook (EPUB)
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
Arun Chandrasekharan
Download Now
Format: eBook (EPUB)