Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Out of stock
Format: Book (Paperback / softback)
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verstandnis und Anwendungen
Mehran Goli
Out of stock
Format: Book (Hardback)
State and Federal Standards for Mobile-Source Emissions
National Research Council
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£61.00
£57.89
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to Basket
Identification of Research Needs Relating to Potential Biological or Adverse Health Effects of Wireless Communication Devices
National Research Council
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£23.99
£21.85
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to Basket
Views of the U.S. National Academy of Sciences and National Academy of Engineering on Agenda Items at Issue at the World Radiocommunication Conference 2012
National Research Council
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£24.99
£22.55
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to Basket
Flexible Electronics for Security, Manufacturing, and Growth in the United States : Summary of a Symposium
National Research Council
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£34.00
£29.95
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to Basket
Views of the U.S. NAS and NAE on Agenda Items at the World Radiocommunication Conference 2015
National Research Council
Item not Available
Format: Book (Paperback / softback)
£25.00
£21.85
Item not Available
Book (Paperback / softback)
Binary Decision Diagrams : Theory and Implementation
Rolf Drechsler
Item not Available
Format: Book (Hardback)
£149.99
£129.45
Item not Available
Book (Hardback)
Robustness and Usability in Modern Design Flows
Goerschwin Fey
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
£109.99
£95.55
Item not Available
Book (Paperback / softback)
Binary Decision Diagrams : Theory and Implementation
Rolf Drechsler
Item not Available
Format: Book (Paperback / softback)
£109.99
£95.55
Item not Available
Book (Paperback / softback)
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersgluss
Item not Available
Format: Book (Hardback)
£99.99
£81.69
Item not Available
Book (Hardback)
Introduction to Reversible and Quantum Circuits : From Basics to Hardware Design
Robert Wille
Item not Available
Format: Book (Hardback)
£86.50
£70.79
Item not Available
Book (Hardback)
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersgluss
Item not Available
Format: Book (Paperback / softback)
£84.99
£69.79
Item not Available
Book (Paperback / softback)
In-Memory-Computing : Synthese und Optimierung
Saeideh Shirinzadeh
Out of stock
Format: Book (Hardback)
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
£70.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda
Out of stock
Format: Book (Paperback / softback)
Exact Design of Digital Microfluidic Biochips
Oliver Keszocze
Item not Available
Format: Book (Hardback)
£99.99
£81.69
Item not Available
Book (Hardback)
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
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to Basket
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
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Exact Design of Digital Microfluidic Biochips
Oliver Keszocze
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£78.79
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
In-Memory Computing : Synthesis and Optimization
Saeideh Shirinzadeh
Out of stock
Format: Book (Paperback / softback)
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications
Mehran Goli
Out of stock
Format: Book (Hardback)
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
£61.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
