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.01
-
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf
Item prices starting from
View 16 offers£ 15.90
-
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.25
-
Evolutionary Algorithms for VLSI CAD
Drechsler, Rolf
Item prices starting from
View 23 offers£ 22.01
-
Enhanced Virtual Prototyping for Heterogeneous Systems
Hassan, Muhammad; Große, Daniel; Drechsler, Rolf
Item prices starting from
View 31 offers£ 62.04
-
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
Goli, Mehran; Drechsler, Rolf
Item prices starting from
View 29 offers£ 62.04
-
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
View 19 offers£ 90.31
-
Test Pattern Generation using Boolean Proof Engines
Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Tille, Daniel
Item prices starting from
View 20 offers£ 76.17
Showing 8 of 36 titles