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.05
-
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf
Item prices starting from
View 14 offers£ 15.94
-
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.28
-
Evolutionary Algorithms for VLSI CAD
Drechsler, Rolf
Item prices starting from
View 22 offers£ 22.27
-
Enhanced Virtual Prototyping for Heterogeneous Systems
Hassan, Muhammad; Große, Daniel; Drechsler, Rolf
Item prices starting from
View 31 offers£ 62.20
-
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.20
-
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 21 offers£ 90.55
-
Test Pattern Generation using Boolean Proof Engines
Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Tille, Daniel
Item prices starting from
View 20 offers£ 76.37
Showing 8 of 36 titles