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