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.24
-
Formal Specification Level: Concepts, Methods, and Algorithms
Soeken, Mathias; Drechsler, Rolf
Item prices starting from
View 24 offers£ 15.89
-
Evolutionary Algorithms for VLSI CAD
Drechsler, Rolf
Item prices starting from
View 23 offers£ 21.80
-
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 Verification of Structurally Complex Multipliers
Mahzoon, Alireza; Große, Daniel; Drechsler, Rolf
Item prices starting from
View 35 offers£ 48.84
-
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.01
-
Towards One-Pass Synthesis
Drechsler, Rolf; Günther, Wolfgang
Item prices starting from
View 29 offers£ 45.69
-
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.27
Showing 8 of 35 titles