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)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download Now
Format: eBook (PDF)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda
Download Now
Format: eBook (EPUB)
Design Automation for Field-coupled Nanotechnologies
Marcel Walter
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£89.99
£63.97
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketDesign Automation for Field-coupled Nanotechnologies
Marcel Walter
Download Now
Format: eBook (EPUB)
Design Automation for Field-coupled Nanotechnologies
Marcel Walter
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£63.97
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketEnhanced 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)
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 BasketFormal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Download Now
Format: eBook (EPUB)
Trust in Cyberspace
National Research Council
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£73.00
£57.26
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketEngaging Privacy and Information Technology in a Digital Age
National Research Council
Download Now
Format: eBook (EPUB)
Innovation in Global Industries : U.S. Firms Competing in a New World (Collected Studies)
National Research Council
Download Now
Format: eBook (EPUB)
Protecting Individual Privacy in the Struggle Against Terrorists : A Framework for Program Assessment
National Research Council
Download Now
Format: eBook (EPUB)
Spectrum Management for Science in the 21st Century
National Research Council
Download Now
Format: eBook (EPUB)
Proceedings of a Workshop on Deterring Cyberattacks : Informing Strategies and Developing Options for U.S. Policy
National Research Council
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£65.00
£51.25
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to BasketCatalyzing Inquiry at the Interface of Computing and Biology
National Research Council
Download Now
Format: eBook (EPUB)
Information and Communications : Challenges for the Chemical Sciences in the 21st Century
National Research Council
Download Now
Format: eBook (EPUB)