High Quality Test Pattern Generation and Boolean Satisfiability, Fachbücher von Rolf Drechsler, Stephan Eggersglüss

High Quality Test Pattern Generation And Boolean Satisfiability 2832

Rolf Drechsler (u. A.) | High Quality Test Pattern Generation And

Advanced Boolean Techniques, Fachbücher von Rolf Drechsler, Mathias Soeken

Test Pattern Generation Using Boolean Proof Engines 1303

Quality-Driven SystemC Design, Fachbücher von Daniel Grosse, Rolf Drechsler

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, Fachbücher von Robert Wille, Rolf Dr...

Reversible and Quantum Circuits, Fachbücher von Rolf Drechsler, Nabila Abdessaied

Formal System Verification, Fachbücher von Rolf Drechsler

In-Memory Computing, Fachbücher von Rolf Drechsler, Saeideh Shirinzadeh

Formal Verification of Circuits, Fachbücher von Rolf Drechsler

Rolf Drechsler (u. A.) | Quality-driven Systemc Design | Taschenbuch |

Formal Modeling and Verification of Cyber-Physical Systems, Fachbücher von Ulrich Kühne, Rolf Drechsler

Formal Specification Level, Fachbücher von Rolf Drechsler, Mathias Soeken

Drechsler:Computer, Fachbücher von Rolf Drechsler, Andrea Fink, Jannis Stoppe

Evolutionary Algorithms for VLSI CAD, Fachbücher von Rolf Drechsler