1.
Quality-Driven SystemC Design
by Große, Daniel, Drechsler, ...
ISBN: 9789048136308
List Price: $129.00
2.
Test Pattern Generation Using Boolean Proof Engines
by Drechsler, Rolf, Eggersglüß...
ISBN: 9789048123599
List Price: $139.00
3.
Towards One-Pass Synthesis
by Drechsler, Rolf, Günther, W...
ISBN: 9781402070440
List Price: $125.00
4.
Test Pattern Generation using Boolean Proof Engines
by Drechsler, Rolf, Eggersglü...
ISBN: 9789048184910
List Price: $139.00
5.
Robustness and Usability in Modern Design Flows
by Fey, Görschwin, Drechsler,...
ISBN: 9789048176625
List Price: $139.00
6.
Towards a Design Flow for Reversible Logic
by Wille, Robert, Drechsler, Rolf
ISBN: 9789048195787
List Price: $129.00
7.
Debugging at the Electronic System Level
by Rogin, Frank, Drechsler, Rolf
ISBN: 9789048192540
List Price: $129.00
8.
Binary Decision Diagrams: Theory and Implementation
by Rolf Drechsler, Bernd Becker
ISBN: 9781441950475
List Price: $209.00
9.
Evolutionary Algorithms for Embedded System Design
by Drechsler, Rolf, Drechsler,...
ISBN: 9781402072765
List Price: $139.00
10.
11.
12.
Formal Specification Level : Algorithms, Concepts and Methods
by Soeken, Mathias, Drechsler,...
ISBN: 9783319086989
List Price: $129.00
13.
14.
Robustness and Usability in Modern Design Flows
by Fey, Goerschwin, Drechsler,...
ISBN: 9781402065354
List Price: $139.00
15.
16.
Binary Decision Diagrams: Theory and Implementation
by Drechsler, Rolf, Becker, Bernd
ISBN: 9780792381938
List Price: $209.00
17.
18.
19.
High Quality Test Pattern Generation : Robust Algorithms Using Boolean Satisfiability
by Eggersgluess, Stephan, Drec...
ISBN: 9781441999757
List Price: $129.00
20.
Evolutionary Algorithms for Embedded System Design
by Drechsler, Rolf, Drechsler,...
ISBN: 9781461353621
List Price: $159.00
21.
Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School...
by Drechsler, Rolf, K�hne, Ulrich
ISBN: 9783658099930
22.
Formal System Verification : State-Of the-Art and Future Trends
by Drechsler, Rolf
ISBN: 9783319576831
List Price: $99.00
23.
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
by Chandrasekharan, Arun, Gro�...
ISBN: 9783319989648
List Price: $109.99
24.
Spectral Techniques in Vlsi CAD
by Thornton, Mitchell Aaron, D...
ISBN: 9780792374336
List Price: $229.00
25.