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