Filter By
Books (24)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Advanced Formal Verification by Rolf Drechsler 9781441954206
Booksplease Price: $176.59Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of... -
Advanced Formal Verification by Rolf Drechsler 9781402077210
Booksplease Price: $177.18Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of... -
Evolutionary Algorithms for VLSI CAD by Rolf Drechsler 9780792381686
Booksplease Price: $176.59In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to ... -
Towards One-Pass Synthesis by Rolf Drechsler 9781402070440
Booksplease Price: $179.75The design process of digital circuits is often carried out in individual steps, like logic synthesis, mapping, and routing. Since originally the complete process was too complex, it has been split... -
Evolutionary Algorithms for VLSI CAD by Rolf Drechsler 9781441950406
Booksplease Price: $176.59In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work... -
Evolutionary Algorithms for Embedded System Design by Rolf Drechsler 9781402072765
Booksplease Price: $176.59Evolutionary Algorithms for Embedded System Design describes how Evolutionary Algorithm (EA) concepts can be applied to circuit and system design - an area where time-to-market demands are critical... -
Evolutionary Algorithms for Embedded System Design by Rolf Drechsler 9781461353621
Booksplease Price: $176.59Evolutionary Algorithms for Embedded System Design describes how Evolutionary Algorithm (EA) concepts can be applied to circuit and system design - an area where time-to-market demands are critical... -
Formal System Verification: State-of the-Art and Future Trends by Rolf Drechsler 9783319862231
RRP: $214.48Booksplease Price: $211.61This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest... -
Test Pattern Generation using Boolean Proof Engines by Rolf Drechsler 9789048184910
RRP: $175.48Booksplease Price: $167.00In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is... -
Formal System Verification: State-of the-Art and Future Trends by Rolf Drechsler 9783319576831
RRP: $214.48Booksplease Price: $214.44This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest... -
Test Pattern Generation using Boolean Proof Engines by Rolf Drechsler 9789048123599
Booksplease Price: $176.59In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is... -
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems by Rolf Drechsler 9783030203221
Booksplease Price: $176.90This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and... -
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems by Rolf Drechsler 9783030203252
Booksplease Price: $176.59This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and... -
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems by Rolf Drechsler 9783031289156
RRP: $194.98Booksplease Price: $194.53This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and... -
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015 by Rolf Drechsler 9783319317229
Booksplease Price: $90.25This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in... -
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015 by Rolf Drechsler 9783319811062
Booksplease Price: $90.25This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in... -
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems by Rolf Drechsler 9783030680732
Booksplease Price: $176.90This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and... -
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 by Rolf Drechsler 9783658099930
Booksplease Price: $90.25This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to... -
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never by Pascal Pieper 9783031516917
RRP: $214.48Booksplease Price: $213.99This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special... -
Reversible and Quantum Circuits: Optimization and Complexity Analysis by Nabila Abdessaied 9783319811581
Booksplease Price: $90.25This book presents a new optimization flow for quantum circuits realization. At the reversible level, optimization algorithms are presented to reduce the quantum cost. Then, new mapping approaches... -
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation by Julia Seiter 9783319414799
Booksplease Price: $90.25This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable... -
Information Storage: A Multidisciplinary Perspective by Cornelia S. Grosse 9783030192648
Booksplease Price: $176.90This book examines some of the underlying processes behind different forms of information management, including how we store information in our brains, the impact of new technologies such as... -
Exact Design of Digital Microfluidic Biochips by Oliver Keszocze 9783319909356
Booksplease Price: $176.59This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps... -
In-Memory Computing: Synthesis and Optimization by Saeideh Shirinzadeh 9783030180287
Booksplease Price: $176.59This book describes a comprehensive approach for synthesis and optimization of logic-in-memory computing hardware and architectures using memristive devices, which creates a firm foundation for...