















Design Automation Techniques for Approximation Circuits
584,-

Exact Design of Digital Microfluidic Biochips
1 124,-

Enhanced Virtual Prototyping
926,-

Design for Testability, Debug and Reliability
1 214,-

Design Automation for Field-coupled Nanotechnologies
1 124,-

Formal Verification of Structurally Complex Multipliers
971,-

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
1 340,-

Reversible and Quantum Circuits
584,-

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
1 592,-

Noch analog oder lebst Du schon?
206,-

Design Automation Techniques for Approximation Circuits
584,-

Exact Design of Digital Microfluidic Biochips
1 124,-

Enhanced Virtual Prototyping
926,-

Design for Testability, Debug and Reliability
1 214,-

Design Automation for Field-coupled Nanotechnologies
1 124,-

Formal Verification of Structurally Complex Multipliers
971,-

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
1 340,-

Reversible and Quantum Circuits
584,-

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
1 592,-

Noch analog oder lebst Du schon?
206,-