Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Out of stock
Format: Book (Paperback / softback)
In-Memory-Computing : Synthese und Optimierung
Saeideh Shirinzadeh
Out of stock
Format: Book (Hardback)
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verstandnis und Anwendungen
Mehran Goli
Out of stock
Format: 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)
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglu
Download - Immediately Available
Format: eBook (PDF)
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)
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
Download - Immediately Available
Format: eBook (PDF)
Binary Decision Diagrams : Theory and Implementation
Rolf Drechsler
Download - Immediately Available
Format: eBook (PDF)
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)
Robustness and Usability in Modern Design Flows
Gorschwin Fey
Download - Immediately Available
Format: eBook (PDF)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download - Immediately Available
Format: eBook (PDF)
Reversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Item not Available
Format: Book (Hardback)
£64.99
£53.59
Item not Available
Book (Hardback)
Reversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Download - Immediately Available
Format: eBook (PDF)
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)
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation
Julia Seiter
Item not Available
Format: Book (Paperback / softback)
£49.99
£40.99
Item not Available
Book (Paperback / softback)
Reversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Out of stock
Format: Book (Paperback / softback)
Analyse Des Frequences Instantanees Des Formants Par Transformee
Collectif
Item not Available
Format: Book (Paperback / softback)
£48.00
£47.85
Item not Available
Book (Paperback / softback)
Supervision Et Diagnotic Des Proce de S de Production d'Eau Potable
Collectif
Item not Available
Format: Book (Paperback / softback)
£51.00
Item not Available
Book (Paperback / softback)
Commande Des Systemes Hamiltoniens A Ports Commandes
Collectif
Out of stock
Format: Book (Paperback / softback)