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)
Robustness and Usability in Modern Design Flows
Goerschwin Fey
Item not Available
Format: Book (Hardback)
£109.99
£95.55
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)
Binary Decision Diagrams : Theory and Implementation
Rolf Drechsler
Item not Available
Format: Book (Hardback)
£149.99
£129.45
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)
£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)
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 BasketExact 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 BasketEnhanced Virtual Prototyping : Featuring RISC-V Case Studies
Vladimir Herdt
Out of stock
Format: Book (Hardback)
Enhanced Virtual Prototyping : Featuring RISC-V Case Studies
Vladimir Herdt
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£74.99
£66.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketDesign for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques
Sebastian Huhn
Out of stock
Format: Book (Hardback)
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
£87.29
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketDesign Automation for Field-coupled Nanotechnologies
Marcel Walter
Out of stock
Format: Book (Hardback)
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
£78.79
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
£87.29
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketVerbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien
Vladimir Herdt
Out of stock
Format: Book (Hardback)
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 BasketDesign 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 BasketReversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Item not Available
Format: Book (Hardback)
£64.99
£53.59
Item not Available
Book (Hardback)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Item not Available
Format: Book (Paperback / softback)
£74.99
£61.89
Item not Available
Book (Paperback / softback)