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)
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verstandnis und Anwendungen
Mehran Goli
Download Now
Format: eBook (EPUB)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download Now
Format: eBook (PDF)
Binary Decision Diagrams : Theory and Implementation
Rolf Drechsler
Download Now
Format: eBook (PDF)
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglu
Download Now
Format: eBook (PDF)
The Froehlich/Kent Encyclopedia of Telecommunications : Volume 13 - Network-Management Technologies to NYNEX
Fritz E. Froehlich
Download Now
Format: eBook (PDF)
The Froehlich/Kent Encyclopedia of Telecommunications : Volume 17 - Television Technology
Fritz E. Froehlich
Download Now
Format: eBook (PDF)
Encyclopedia of Computer Science and Technology : Volume 5 - Classical Optimization to Computer Output/Input Microform
Jack Belzer
Download Now
Format: eBook (EPUB)
The Froehlich/Kent Encyclopedia of Telecommunications : Volume 13 - Network-Management Technologies to NYNEX
Fritz E. Froehlich
Download Now
Format: eBook (EPUB)