Rolf Drechsler

Popular items by Rolf Drechsler

View all offers

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

Item prices starting from

� 14.68

View 33 offers

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

Item prices starting from

� 12.96

View 23 offers

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

Item prices starting from

� 15

View 23 offers

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

Item prices starting from

� 15.55

View 13 offers

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

Item prices starting from

� 39.92

View 28 offers

Also find
New, Used
Formal Verification of Circuits
Drechsler, Rolf

Item prices starting from

� 36.94

View 24 offers

Also find
New, Used, First Edition
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza; Gro�e, Daniel; Drechsler, Rolf

Item prices starting from

� 49.02

View 35 offers

Also find
New, Used
Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen
Drechsler, Rolf; Stoppe, Jannis

Item prices starting from

� 9.43

View 26 offers

Also find
New, Used

Showing 8 of 36 titles