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

� 15.02

View 33 offers

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

Item prices starting from

� 15.91

View 15 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

� 13.26

View 23 offers

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

Item prices starting from

� 22.09

View 22 offers

Also find
New, Used
Enhanced Virtual Prototyping for Heterogeneous Systems
Hassan, Muhammad; Gro�e, Daniel; Drechsler, Rolf

Item prices starting from

� 62.07

View 31 offers

Also find
New, Used
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
Goli, Mehran; Drechsler, Rolf

Item prices starting from

� 62.07

View 29 offers

Also find
New, Used
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never
Pieper, Pascal; Drechsler, Rolf

Item prices starting from

� 90.36

View 21 offers

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

Item prices starting from

� 76.21

View 20 offers

Also find
New, Used

Showing 8 of 36 titles