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
View 33 offers£ 15.08
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf
Item prices starting from
View 23 offers£ 13.30
-
Reversible and Quantum Circuits: Optimization and Complexity Analysis
Abdessaied, Nabila; Drechsler, Rolf
Item prices starting from
View 28 offers£ 40.99
-
Evolutionary Algorithms for VLSI CAD
Drechsler, Rolf
Item prices starting from
View 23 offers£ 22.32
-
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Item prices starting from
View 36 offers£ 50.01
-
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf
Item prices starting from
View 13 offers£ 15.96
-
Towards One-Pass Synthesis
Drechsler, Rolf; Günther, Wolfgang
Item prices starting from
View 29 offers£ 46.78
-
Showing 8 of 36 titles