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.88

View 21 offers

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

Item prices starting from

� 15.45

View 12 offers

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

Item prices starting from

� 15

View 21 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.59

View 31 offers

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

Item prices starting from

� 36.94

View 22 offers

Also find
New, Used, First Edition
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
Seiter, Julia; Wille, Robert; Drechsler, Rolf

Item prices starting from

� 39.68

View 11 offers

Also find
New, Used
In-Memory Computing: Synthesis and Optimization
Shirinzadeh, Saeideh; Drechsler, Rolf

Item prices starting from

� 74.03

View 21 offers

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

Item prices starting from

� 74.03

View 18 offers

Also find
New, Used

Showing 8 of 36 titles