1
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes [E-Book] : Better Early than Never /
2
Advanced Boolean Techniques [E-Book] : Selected Papers from the 15th International Workshop on Boolean Problems /
3
Formal Verification of Structurally Complex Multipliers [E-Book] /
4
Enhanced Virtual Prototyping for Heterogeneous Systems [E-Book] /
5
Design Automation for Field-coupled Nanotechnologies [E-Book] /
6
Recent Findings in Boolean Techniques [E-Book] : Selected Papers from the 14th International Workshop on Boolean Problems /
7
Enhanced Virtual Prototyping [E-Book] : Featuring RISC-V Case Studies /
8
Design for Testability, Debug and Reliability [E-Book] : Next Generation Measures Using Formal Techniques /
9
Information storage : a multidisciplinary perspective /
Book
Other Personal Name(s): ...Drechsler, Rolf...
Table of Contents 
10
Natural Language Processing for Electronic Design Automation [E-Book] /
11
Applications of Evolutionary Computation [E-Book]: EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings /
12
Applications of Evolutionary Computation [E-Book] : EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II /
13
Quality-Driven SystemC Design [E-Book] /
Other Personal Name(s): ...Drechsler, Rolf....

Full text 
14
Towards a Design Flow for Reversible Logic [E-Book] /
Other Personal Name(s): ...Drechsler, Rolf....

Full text 
15
Debugging at the Electronic System Level [E-Book] /
Other Personal Name(s): ...Drechsler, Rolf....

Full text 
16
Test Pattern Generation using Boolean Proof Engines [E-Book] /
17
Robustness and Usability in Modern Design Flows [E-Book] /
18
Applications of Evolutionary Computing (vol. # 3907) [E-Book] / EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings
19
Advanced BDD Optimization [E-Book] /
Other Personal Name(s): ...Drechsler, Rolf....

Full text 
20
Applications of Evolutionary Computing (vol. # 3449) [E-Book] / Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC