Books by Rolf Drechsler
Spectral Techniques in VLSI CAD
Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller
-20% with code BOOKS
In stock at our supplier
Evolutionary Algorithms for VLSI CAD
-20% with code BOOKS
In stock at our supplier
Binary Decision Diagrams: Theory and Implementation
-20% with code BOOKS
In stock at our supplier
Towards One-Pass Synthesis
Wolfgang Günther, Rolf Drechsler
-20% with code BOOKS
In stock at our supplier
Advanced BDD Optimization
Rolf Drechsler, Rudiger Ebendt, Görschwin Fey
-20% with code BOOKS
In stock at our supplier
Binary Decision Diagrams: Theory and Implementation
-20% with code BOOKS
In stock at our supplier
Towards One-Pass Synthesis
Wolfgang Günther, Rolf Drechsler
-20% with code BOOKS
In stock at our supplier
Robustness and Usability in Modern Design Flows
-20% with code BOOKS
In stock at our supplier
Evolutionary Algorithms for VLSI CAD
-20% with code BOOKS
In stock at our supplier
Test Pattern Generation using Boolean Proof Engines
Daniel Tille, Stephan Eggersglüß, Görschwin Fey, Rolf Drechsler
-20% with code BOOKS
In stock at our supplier
High Quality Test Pattern Generation and Boolean Satisfiability
Rolf Drechsler, Stephan Eggersglüß
-20% with code BOOKS
In stock at our supplier
Spectral Techniques in VLSI CAD
Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller
-20% with code BOOKS
In stock at our supplier
Formal Specification Level: Concepts, Methods, and Algorithms
Rolf Drechsler, Mathias Soeken
-20% with code BOOKS
In stock at our supplier
High Quality Test Pattern Generation and Boolean Satisfiability
Rolf Drechsler, Stephan Eggersglüß
-20% with code BOOKS
In stock at our supplier
Towards a Design Flow for Reversible Logic
-20% with code BOOKS
In stock at our supplier
Debugging at the Electronic System Level
-20% with code BOOKS
In stock at our supplier
Reversible and Quantum Circuits: Optimization and Complexity Analysis
Nabila Abdessaied, Rolf Drechsler
-20% with code BOOKS
In stock at our supplier
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
Rolf Drechsler, Robert Wille, Julia Seiter
-20% with code BOOKS
In stock at our supplier
Formal Specification Level: Concepts, Methods, and Algorithms
Mathias Soeken, Rolf Drechsler
-20% with code BOOKS
In stock at our supplier
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda, Rolf Drechsler, Robert Wille, Judith Przigoda
-20% with code BOOKS
In stock at our supplier
Exact Design of Digital Microfluidic Biochips
Rolf Drechsler, Robert Wille, Oliver Keszocze
-20% with code BOOKS
In stock at our supplier
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Rolf Drechsler, Arun Chandrasekharan, Daniel Große
-20% with code BOOKS
In stock at our supplier
Reversible and Quantum Circuits: Optimization and Complexity Analysis
Rolf Drechsler, Nabila Abdessaied
-20% with code BOOKS
In stock at our supplier
In-Memory Computing: Synthesis and Optimization
Rolf Drechsler, Saeideh Shirinzadeh
-20% with code BOOKS
In stock at our supplier
Exact Design of Digital Microfluidic Biochips
Rolf Drechsler, Robert Wille, Oliver Keszocze
-20% with code BOOKS
In stock at our supplier
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda, Rolf Drechsler, Robert Wille, Judith Przigoda
-20% with code BOOKS
In stock at our supplier
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Rolf Drechsler, Arun Chandrasekharan, Daniel Große
-20% with code BOOKS
In stock at our supplier