Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Out of stock
Format: Book (Paperback / softback)
£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 (Paperback / softback)
£84.99
£69.79
Item not Available
Book (Paperback / softback)
Bad to the Bone : Crafting Electronic Systems with BeagleBone and BeagleBone Black
Steven F. Barrett
Item not Available
Format: Book (Paperback / softback)
£44.50
Item not Available
Book (Paperback / softback)
Arduino Microcontroller Processing for Everyone!
Steven F. Barrett
Item not Available
Format: Book (Paperback / softback)
£29.99
Item not Available
Book (Paperback / softback)
Embedded Systems Design with the Texas Instruments MSP432 32-bit Processor
Dung Dang
Item not Available
Format: Book (Paperback / softback)
£167.00
Item not Available
Book (Paperback / softback)
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 BasketEmbedded System Design with the Atmel AVR Microcontroller : Part I
Steven F. Barrett
Item not Available
Format: Book (Paperback / softback)
£40.95
Item not Available
Book (Paperback / softback)
Atmel AVR Microcontroller Primer : Programming and Interfacing
Steven F. Barrett
Item not Available
Format: Book (Paperback / softback)
£47.50
Item not Available
Book (Paperback / softback)
In-Memory Computing : Synthesis and Optimization
Saeideh Shirinzadeh
Out of stock
Format: Book (Paperback / softback)
Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications
Mehran Goli
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£69.99
£61.85
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
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
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
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 BasketFormal 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)
Reversible and Quantum Circuits : Optimization and Complexity Analysis
Nabila Abdessaied
Out of stock
Format: Book (Paperback / softback)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda
Out of stock
Format: Book (Paperback / softback)
Robustness and Usability in Modern Design Flows
Goerschwin Fey
Item not Available
Format: Book (Paperback / softback)
£84.99
£69.79
Item not Available
Book (Paperback / softback)
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler
Item not Available
Format: Book (Paperback / softback)
£84.99
£69.79
Item not Available
Book (Paperback / softback)
Towards a Design Flow for Reversible Logic
Robert Wille
Item not Available
Format: Book (Paperback / softback)
£84.99
£69.79
Item not Available
Book (Paperback / softback)
Microcontroller Programming and Interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994 : Part I & II
Steven F. Barrett
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£69.99
£61.85
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket