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