Ihre Suche nach „Rolf Drechsler“
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglüss, Rolf Drechsler
Fr. 118.00
Automatic Methods for the Refinement of System Models / SpringerBriefs in Electrical and Computer Engineering
Julia Seiter, Robert Wille, Rolf Drechsler
Fr. 59.00
Reversible and Quantum Circuits
Nabila Abdessaied, Rolf Drechsler
Fr. 59.00
Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
Fr. 177.00
Formal Verification of Circuits
Rolf Drechsler
Fr. 177.00
Spectral Techniques in VLSI CAD
Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller
Fr. 177.00
Towards a Design Flow for Reversible Logic
Robert Wille, Rolf Drechsler
Fr. 118.00
Debugging at the Electronic System Level
Frank Rogin, Rolf Drechsler
Fr. 118.00
Quality-Driven SystemC Design
Daniel Grosse, Rolf Drechsler
Fr. 118.00
Test Pattern Generation using Boolean Proof Engines
Rolf Drechsler, Stephan Eggersglüss, Görschwin Fey, Daniel Tille
Fr. 118.00
Robustness and Usability in Modern Design Flows
Görschwin Fey, Rolf Drechsler
Fr. 118.00
Advanced BDD Optimization
Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
Fr. 177.00
Fr. 118.00
Fr. 130.00
Fr. 146.90
Fr. 27.90
Fr. 118.00
Fr. 59.00
Fr. 118.00
Fr. 118.00
Fr. 142.00
Fr. 59.00
Fr. 59.00
Fr. 59.00
Fr. 59.00