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
View 23 offers£ 13.23
-
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf
Item prices starting from
View 19 offers£ 15.88
-
Evolutionary Algorithms for VLSI CAD
Drechsler, Rolf
Item prices starting from
View 23 offers£ 21.88
-
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
-
Formal Verification of Structurally Complex Multipliers
Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Item prices starting from
View 36 offers£ 49.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£ 61.96
-
Towards One-Pass Synthesis
Drechsler, Rolf; Günther, Wolfgang
Item prices starting from
View 29 offers£ 45.88
-
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 20 offers£ 90.20
Showing 8 of 35 titles