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)
Knowledge-Driven Board-Level Functional Fault Diagnosis
Fangming Ye
Item not Available
Format: Book (Hardback)
£64.99
£53.95
Item not Available
Book (Hardback)
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)
Synchronization Control for Large-Scale Network Systems
Yuanqing Wu
Item not Available
Format: Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler
Item not Available
Format: Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)
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)
Analysis and Synthesis of Delta Operator Systems
Hongjiu Yang
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Observer-Based Fault Estimation and Accomodation for Dynamic Systems
Ke Zhang
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Robust Filtering and Fault Detection of Switched Delay Systems
Dong Wang
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Enhanced Virtual Prototyping for Heterogeneous Systems
Muhammad Hassan
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£99.99
£87.29
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketVerbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien
Vladimir Herdt
Out of stock
Format: Book (Hardback)
In-Memory-Computing : Synthese und Optimierung
Saeideh Shirinzadeh
Out of stock
Format: Book (Hardback)
Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£79.99
£70.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketControl and Filtering for Semi-Markovian Jump Systems
Fanbiao Li
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
Fault Diagnosis and Fault-Tolerant Control Based on Adaptive Control Approach
Qikun Shen
Item not Available
Format: Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)
Testing of Interposer-Based 2.5D Integrated Circuits
Ran Wang
Item not Available
Format: Book (Hardback)
£99.99
£81.69
Item not Available
Book (Hardback)
Computer-Aided Design of Microfluidic Very Large Scale Integration (MVLSI) Biochips : Design Automation, Testing, and Design-for-Testability
Kai Hu
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)