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 34)
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
Reversible and Quantum Circuits : Optimization and Complexity Analysis - Book

£44.99

Book (Paperback / softback)

Add to Basket
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers - Book

£129.99

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
Wide-Bandwidth High Dynamic Range D/A Converters - Book

Wide-Bandwidth High Dynamic Range D/A Converters

Konstantinos Doris

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
Oscillators and Oscillator Systems : Classification, Analysis and Synthesis - Book

£109.99

£95.55

Book (Paperback / softback)

Item not Available
High-Frequency Oscillator Design for Integrated Transceivers - Book

High-Frequency Oscillator Design for Integrated Transceivers

J. Van Der Tang

Format: Book (Paperback / softback)

£179.99

£154.85

Book (Paperback / softback)

Item not Available
Mixed-Signal Layout Generation Concepts - Book

Mixed-Signal Layout Generation Concepts

Chieh Lin

Format: Book (Paperback / softback)

£123.00

£106.59

Book (Paperback / softback)

Item not Available
Low-Power Deep Sub-Micron CMOS Logic : Sub-threshold Current Reduction - Book

Low-Power Deep Sub-Micron CMOS Logic : Sub-threshold Current Reduction

P. van der Meer

Format: Book (Paperback / softback)

£54.99

£46.05

Book (Paperback / softback)

Item not Available
Analog Dithering Techniques for Wireless Transmitters - Book

Analog Dithering Techniques for Wireless Transmitters

Foad Arfaei Malekzadeh

Format: Book (Paperback / softback)

£89.99

£73.75

Book (Paperback / softback)

Item not Available
Time Multiplexed Beam-Forming with Space-Frequency Transformation - Book

Time Multiplexed Beam-Forming with Space-Frequency Transformation

Wei Deng

Format: Book (Paperback / softback)

£89.99

Book (Paperback / softback)

Add to Basket
Power-Efficient High-Speed Parallel-Sampling ADCs for Broadband Multi-carrier Systems - Book

£74.99

£61.89

Book (Paperback / softback)

Item not Available
Formal Specification Level : Concepts, Methods, and Algorithms - Book

Formal Specification Level : Concepts, Methods, and Algorithms

Mathias Soeken

Format: Book (Paperback / softback)

£74.99

£61.89

Book (Paperback / softback)

Item not Available
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation - Book

£49.99

£40.99

Book (Paperback / softback)

Item not Available
Design Automation for Field-coupled Nanotechnologies - Book

Design Automation for Field-coupled Nanotechnologies

Marcel Walter

Format: Book (Paperback / softback)

£89.99

£78.79

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
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
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
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
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
Sigma Delta A/D Conversion for Signal Conditioning - Book

Sigma Delta A/D Conversion for Signal Conditioning

Kathleen Philips

Format: Book (Paperback / softback)

£109.99

£95.55

Book (Paperback / softback)

Item not Available
Showing 1 - 24 (of 34)
Refine