 |
|
|
|
| 1. |
|
Advanced BDD Optimization
Rudiger Ebendt, Grschwin Fey, Rolf Drechsler
Inbunden. Springer-Verlag New York Inc., USA, 2005.
|
 |
| 2. |
|
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersgl, Rolf Drechsler
Inbunden. Springer-Verlag New York Inc., 2012.
|
|
| 3. |
|
Advanced BDD Optimization
Rudiger Ebendt, Gorschwin Fey, Rolf Drechsler
E-bok. Springer US, USA, 2005.
|
|
| 4. |
|
Spectral Techniques in VLSI CAD
Mitchell Aaron Thornton, Rolf Drechsler, D Michael Miller
Inbunden. Springer, USA, 2001.
|
|
| 5. |
|
Formal Verification of Circuits
Rolf Drechsler
Inbunden. Springer, USA, 2000.
|
|
| 6. |
|
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
Inbunden. Springer, USA, 1998.
|
|
| 7. |
|
Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
Inbunden. Springer, USA, 1998.
|
|
| 8. |
|
Advanced Formal Verification
Rolf Drechsler
E-bok. Springer US, USA, 2007.
|
|
| 9. |
|
Robustness and Usability in Modern Design Flows
Grschwin Fey, Rolf Drechsler
Inbunden. Springer-Verlag New York Inc., USA, 2008.
|
|
| 10. |
|
Robustness and Usability in Modern Design Flows
Gorschwin Fey, Rolf Drechsler
E-bok. Springer Netherlands, USA, 2008.
|
|
| 11. |
|
Towards One-Pass Synthesis
Rolf Drechsler, Wolfgang Gnther
Inbunden. Springer-Verlag New York Inc., USA, 2002.
|
|
| 12. |
|
Evolutionary Algorithms for Embedded System Design
Rolf Drechsler, Nicole Drechsler
Inbunden. Springer-Verlag New York Inc., USA, 2002.
|
|
| 13. |
|
Advanced Formal Verification
Rolf Drechsler
Inbunden. Springer-Verlag New York Inc., USA, 2004.
|
|
| 14. |
|
Advanced BDD Optimization
Rudiger Ebendt, Grschwin Fey, Rolf Drechsler
Häftad. Springer-Verlag New York Inc., 2010.
|
|
| 15. |
|
Formal Verification of Circuits
Rolf Drechsler
Häftad. Springer-Verlag New York Inc., 2010.
|
|
| 16. |
|
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler
Häftad. Springer-Verlag New York Inc., 2010.
|
|
| 17. |
|
Binary Decision Diagrams
Rolf Drechsler, Bernd Becker
Häftad. Springer-Verlag New York Inc., 2010.
|
|
| 18. |
|
Towards One-Pass Synthesis
Rolf Drechsler, Wolfgang Gnther
Häftad. Springer-Verlag New York Inc., 2010.
|
|
| 19. |
|
Advanced Formal Verification
Rolf Drechsler
Häftad. Springer-Verlag New York Inc., 2010.
|
|
| 20. |
|
High Quality Test Pattern Generation and Boolean Satisfiability
Stephan Eggersglu, Rolf Drechsler
E-bok. Springer New York,
|
|
|
|
|
