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 Basket
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)
£139.50
£89.91
Unavailable
Book (Hardback)
Catalyzing Inquiry at the Interface of Computing and Biology
National Research Council
Download Now
Format: eBook (EPUB)
Funding a Revolution : Government Support for Computing Research
National Research Council
Download Now
Format: eBook (EPUB)
Tactical Display for Soldiers : Human Factors Considerations
National Research Council
Download Now
Format: eBook (EPUB)
Finding the Forest in the Trees : The Challenge of Combining Diverse Environmental Data
National Research Council
Download Now
Format: eBook (EPUB)
Virtual Reality : Scientific and Technological Challenges
National Research Council
Download Now
Format: eBook (EPUB)
Catalyzing Inquiry at the Interface of Computing and Biology
National Research Council
Download Now
Format: eBook (PDF)
Virtual Reality : Scientific and Technological Challenges
National Research Council
Download Now
Format: eBook (PDF)
In-Memory Computing : Synthesis and Optimization
Saeideh Shirinzadeh
Download Now
Format: eBook (EPUB)
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications
Mehran Goli
Download Now
Format: eBook (EPUB)
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications
Mehran Goli
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£69.99
£50.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques
Sebastian Huhn
Download Now
Format: eBook (EPUB)
Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques
Sebastian Huhn
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£99.99
£70.46
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
In-Memory-Computing : Synthese und Optimierung
Saeideh Shirinzadeh
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 Basket
Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Download Now
Format: eBook (EPUB)
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglu
Download Now
Format: eBook (PDF)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download Now
Format: eBook (PDF)