Rolf Drechsler

Popular items by Rolf Drechsler

View all offers

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf

Item prices starting from

� 12.90

View 27 offers

Also find
New, Used
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
Chandrasekharan, Arun; Gro�e, Daniel; Drechsler, Rolf

Item prices starting from

� 14.62

View 36 offers

Also find
New, Used
Evolutionary Algorithms for VLSI CAD
Drechsler, Rolf

Item prices starting from

� 15

View 27 offers

Also find
New, Used
Reversible and Quantum Circuits: Optimization and Complexity Analysis
Abdessaied, Nabila; Drechsler, Rolf

Item prices starting from

� 39.76

View 30 offers

Also find
New, Used
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf

Item prices starting from

� 15.48

View 16 offers

Also find
New, Used
Towards One-Pass Synthesis
Drechsler, Rolf

Item prices starting from

� 46.71

View 30 offers

Also find
New, Used
Test Pattern Generation using Boolean Proof Engines
Drechsler, Rolf; Eggersgl��, Stephan; Fey, G�rschwin

Item prices starting from

� 74.19

View 24 offers

Also find
New, Used
Computer: Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus)
Drechsler, Rolf; Fink, Andrea; Stoppe, Jannis

Item prices starting from

� 7.73

View 14 offers

Also find
New, Used, First Edition

Showing 8 of 36 titles