Rolf Drechsler

iš viso 12
Rodoma 1-1212


Automated Analysis of Virtual Prototypes at the Electronic System Level
Automated Analysis of Virtual Pr... Mehran Goli, Rolf...
135,89 €
In-Memory Computing
In-Memory Computing Saeideh Shirinzade...
152,89 €
Exact Design of Digital Microfluidic Biochips
Exact Design of Digital Microflu... Oliver Keszocze, R...
152,89 €
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verificat... Nils Przigoda, Rob...
237,79 €
Design Automation Techniques for Approximation Circuits
Design Automation Techniques for... Arun Chandrasekhar...
84,89 €
Reversible and Quantum Circuits
Reversible and Quantum Circuits Nabila Abdessaied,...
150,99 €
Automatic Methods for the Refinement of System Models
Automatic Methods for the Refine... Julia Seiter, Robe...
96,19 €
Formal Specification Level
Formal Specification Level Mathias Soeken, Ro...
152,89 €
High Quality Test Pattern Generation and Boolean Satisfiability
High Quality Test Pattern Genera... Stephan Eggersglüß...
152,89 €
Test Pattern Generation using Boolean Proof Engines
Test Pattern Generation using Bo... Rolf Drechsler, St...
152,89 €
Robustness and Usability in Modern Design Flows
Robustness and Usability in Mode... Görschwin Fey, Rol...
152,89 €
Towards a Design Flow for Reversible Logic
Towards a Design Flow for Revers... Robert Wille, Rolf...
152,89 €