Rolf Drechsler

Auteur

Rolf Drechsler

Wikipedia
Rolf Drechsler
Deel op Twitter



 
Boeken
 
 
Prikbord
 
 
 
Fans
 
 

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Boeken

Binary Decision Diagrams
Binary Decision Diagrams
Theory and Implementation »
 
 
 
 
 

Towards One-Pass Synthesis
Towards One-Pass Synthesis
 »
 
 
 
 
 

Formal Verification Of Circuits
Formal Verification Of Circuits
 »
 
 
 
 
 

Spectral Techniques In Vlsi Cad
Spectral Techniques In Vlsi Cad
 »
 
 
 
 
 

Evolutionary Algorithms For Vlsi Cad
Evolutionary Algorithms For Vlsi Cad
 »
 
 
 
 
 

Test Pattern Generation Using Boolean Proof Engines
Test Pattern Generation Using Boolean Proof Engines
 »
 
 
 
 
 

High Quality Test Pattern Generation And Boolean Satisfiability
High Quality Test Pattern Generation And Boolean Satisfiability
Robust Algorithms Using Boolean Satisfiability »
 
 
 
 
 

Robustness And Usability In Modern Design Flows
Robustness And Usability In Modern Design Flows
Robustness and Usability in Modern Design Flows »
 
 
 
 
 

Evolutionary Algorithms for Embedded System Design
Evolutionary Algorithms for Embedded System Design
 »