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 48)
Refine
Formal Verification of Structurally Complex Multipliers - Book

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon

Format: Book (Paperback / softback)

£79.99

£70.35

Book (Paperback / softback)

Add to Basket
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
SOC (System-on-a-Chip) Testing for Plug and Play Test Automation - Book

SOC (System-on-a-Chip) Testing for Plug and Play Test Automation

Krishnendu Chakrabarty

Format: Book (Paperback / softback)

£129.99

£112.49

Book (Paperback / softback)

Item not Available
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
Test and Diagnosis for Small-Delay Defects - Book

Test and Diagnosis for Small-Delay Defects

Mohammad Tehranipoor

Format: Book (Paperback / softback)

£84.99

£69.79

Book (Paperback / softback)

Item not Available
Design and Testing of Digital Microfluidic Biochips - Book

Design and Testing of Digital Microfluidic Biochips

Yang Zhao

Format: Book (Paperback / softback)

£84.99

£69.79

Book (Paperback / softback)

Item not Available
Digital Microfluidic Biochips : Design Automation and Optimization - Book

£71.99

Book (Paperback / softback)

Add to Basket
Towards a Design Flow for Reversible Logic - Book

Towards a Design Flow for Reversible Logic

Robert Wille

Format: Book (Paperback / softback)

£84.99

£69.79

Book (Paperback / softback)

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

Robustness and Usability in Modern Design Flows

Goerschwin Fey

Format: Book (Paperback / softback)

£84.99

£69.79

Book (Paperback / softback)

Item not Available
Test Pattern Generation using Boolean Proof Engines - Book

Test Pattern Generation using Boolean Proof Engines

Rolf Drechsler

Format: Book (Paperback / softback)

£84.99

£69.79

Book (Paperback / softback)

Item not Available
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
Secure and Trustworthy Cyberphysical Microfluidic Biochips : A practical guide to cutting-edge design techniques for implementing secure and trustworthy cyberphysical microfluidic biochips - Book

Secure and Trustworthy Cyberphysical Microfluidic Biochips : A practical guide to cutting-edge design techniques for implementing secure and trustworthy cyberphysical microfluidic biochips

Jack Tang

Format: Book (Paperback / softback)

£69.99

£61.85

Book (Paperback / softback)

Add to Basket
Analysis and Synthesis for Discrete-Time Switched Systems : A Quasi-Time-Dependent Method - Book

£89.99

Book (Paperback / softback)

Add to Basket
Anomaly-Detection and Health-Analysis Techniques for Core Router Systems - Book

Anomaly-Detection and Health-Analysis Techniques for Core Router Systems

Shi Jin

Format: Book (Paperback / softback)

£74.99

£66.09

Book (Paperback / softback)

Add to Basket
Control and Filtering of Fuzzy Systems with Switched Parameters - Book

Control and Filtering of Fuzzy Systems with Switched Parameters

Shanling Dong

Format: Book (Paperback / softback)

£89.99

Book (Paperback / softback)

Add to Basket
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

£37.09

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

£78.79

Book (Paperback / softback)

Add to Basket
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications - Book

Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications

Mehran Goli

Format: Book (Paperback / softback)

£69.99

£61.85

Book (Paperback / softback)

Add to Basket
Enhanced Virtual Prototyping : Featuring RISC-V Case Studies - Book

Enhanced Virtual Prototyping : Featuring RISC-V Case Studies

Vladimir Herdt

Format: Book (Paperback / softback)

£74.99

£66.09

Book (Paperback / softback)

Add to Basket
Robust Discrete-Time Flight Control of UAV with External Disturbances - Book

£139.99

Book (Paperback / softback)

Add to Basket
Intelligent Backstepping Control for the Alternating-Current Drive Systems - Book

£119.99

Book (Paperback / softback)

Add to Basket
Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques - Book

Design for Testability, Debug and Reliability : Next Generation Measures Using Formal Techniques

Sebastian Huhn

Format: Book (Paperback / softback)

£99.99

£87.29

Book (Paperback / softback)

Add to Basket
Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems - Book

£89.99

£78.79

Book (Paperback / softback)

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