Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never
Pascal Pieper
Download Now
Format: eBook (EPUB)
Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£79.99
£57.48
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketDesign 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)
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
Arun Chandrasekharan
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketDesign Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
Arun Chandrasekharan
Download Now
Format: eBook (EPUB)
Enhanced Virtual Prototyping for Heterogeneous Systems
Muhammad Hassan
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£99.99
£70.46
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketEnhanced Virtual Prototyping for Heterogeneous Systems
Muhammad Hassan
Download Now
Format: eBook (EPUB)
Design-for-Test and Test Optimization Techniques for TSV-based 3D Stacked ICs
Brandon Noia
Download Now
Format: eBook (PDF)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download Now
Format: eBook (PDF)
Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips
Yan Luo
Download Now
Format: eBook (PDF)
Data-Driven Optimization and Knowledge Discovery for an Enterprise Information System
Qing Duan
Download Now
Format: eBook (PDF)
Reversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Download Now
Format: eBook (PDF)
Knowledge-Driven Board-Level Functional Fault Diagnosis
Fangming Ye
Download Now
Format: eBook (EPUB)
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)
Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£79.99
£57.48
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketFormal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Download Now
Format: eBook (EPUB)
Micro-Electrode-Dot-Array Digital Microfluidic Biochips : Design Automation, Optimization, and Test Techniques
Zipeng Li
Download Now
Format: eBook (EPUB)
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
Arun Chandrasekharan
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket