Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Showing 1 - 24 (of 57)
Refine
Formal Verification of Structurally Complex Multipliers - Book

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon

Format: Book (Paperback / softback)

£79.99

Book (Paperback / softback)

Add to Basket
High Quality Test Pattern Generation and Boolean Satisfiability - Book

High Quality Test Pattern Generation and Boolean Satisfiability

Stephan Eggersgluss

Format: Book (Paperback / softback)

£84.99

£69.79

Book (Paperback / softback)

Item not Available
Advanced BDD Optimization - Book

Advanced BDD Optimization

Rudiger Ebendt

Format: Book (Paperback / softback)

£109.99

£95.55

Book (Paperback / softback)

Item not Available
Binary Decision Diagrams : Theory and Implementation - Book

Binary Decision Diagrams : Theory and Implementation

Rolf Drechsler

Format: Book (Paperback / softback)

£109.99

£95.55

Book (Paperback / softback)

Item not Available
Towards One-Pass Synthesis - Book

Towards One-Pass Synthesis

Rolf Drechsler

Format: Book (Paperback / softback)

£101.00

£87.99

Book (Paperback / softback)

Item not Available
High Quality Test Pattern Generation and Boolean Satisfiability - Book

£99.99

£81.69

Book (Hardback)

Item not Available
High Quality Test Pattern Generation and Boolean Satisfiability - eBook

High Quality Test Pattern Generation and Boolean Satisfiability

Stephan Eggersglu

Format: eBook (PDF)

£89.50

£76.08

eBook (PDF)

Add to Basket
Spectral Techniques in VLSI CAD - Book

Spectral Techniques in VLSI CAD

Mitchell Aaron Thornton

Format: Book (Paperback / softback)

£119.99

£104.05

Book (Paperback / softback)

Item not Available
Introduction to Reversible and Quantum Circuits : From Basics to Hardware Design - Book

£86.50

£70.79

Book (Hardback)

Item not Available
Spectral Techniques in VLSI CAD - eBook

Spectral Techniques in VLSI CAD

Mitchell Aaron Thornton

Format: eBook (PDF)

£129.50

£110.08

eBook (PDF)

Add to Basket
Evolutionary Algorithms for VLSI CAD - eBook

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler

Format: eBook (PDF)

£89.50

£76.08

eBook (PDF)

Add to Basket
Binary Decision Diagrams : Theory and Implementation - eBook

Binary Decision Diagrams : Theory and Implementation

Rolf Drechsler

Format: eBook (PDF)

£129.50

£110.08

eBook (PDF)

Add to Basket
Formal Verification of Circuits - eBook

Formal Verification of Circuits

Rolf Drechsler

Format: eBook (PDF)

£129.50

£110.08

eBook (PDF)

Add to Basket
Towards One-Pass Synthesis - eBook

Towards One-Pass Synthesis

Rolf Drechsler

Format: eBook (PDF)

£89.50

£76.08

eBook (PDF)

Add to Basket
Binary Decision Diagrams : Theory and Implementation - Book

Binary Decision Diagrams : Theory and Implementation

Rolf Drechsler

Format: Book (Hardback)

£149.99

£129.45

Book (Hardback)

Item not Available
Advanced BDD Optimization - Book

Advanced BDD Optimization

Rudiger Ebendt

Format: Book (Hardback)

£149.99

£129.45

Book (Hardback)

Item not Available
Advanced BDD Optimization - eBook

Advanced BDD Optimization

Rudiger Ebendt

Format: eBook (PDF)

£129.50

£110.08

eBook (PDF)

Add to Basket
Robustness and Usability in Modern Design Flows - Book

Robustness and Usability in Modern Design Flows

Goerschwin Fey

Format: Book (Hardback)

£109.99

£95.55

Book (Hardback)

Item not Available
Robustness and Usability in Modern Design Flows - eBook

Robustness and Usability in Modern Design Flows

Gorschwin Fey

Format: eBook (PDF)

£89.50

£76.08

eBook (PDF)

Add to Basket
Towards One-Pass Synthesis - Book

Towards One-Pass Synthesis

Rolf Drechsler

Format: Book (Hardback)

£99.99

£81.69

Book (Hardback)

Item not Available
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test - Book

Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test

Arun Chandrasekharan

Format: Book (Paperback / softback)

£44.99

£38.55

Book (Paperback / softback)

Add to Basket
Exact Design of Digital Microfluidic Biochips - Book

Exact Design of Digital Microfluidic Biochips

Oliver Keszocze

Format: Book (Paperback / softback)

£89.99

£80.59

Book (Paperback / softback)

Add to Basket
In-Memory Computing : Synthesis and Optimization - Book

In-Memory Computing : Synthesis and Optimization

Saeideh Shirinzadeh

Format: Book (Paperback / softback)

£89.99

Book (Paperback / softback)

Add to Basket
Showing 1 - 24 (of 57)
Refine