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