» Applications of Evolutionary Computing
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
G.R. Raidl, S. Cagnoni, J. Branke, D.W. Corne, Rolf Drechsler, Y. Jin, C.G. Johnson, P. Machado, E. Marchiori,F. Rothlauf, G.D. Smith, G. Squillero
|
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2004
|
|
» Advanced Formal Verification
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2004
|
|
» Heuristic and Exact Optimization of Reduced Ordered Binary Decision Diagrams (BDDs)
|
 |
|
Verlag: |
|
MontAurum Verlag |
Autor:
|
|
Rüdiger Ebendt |
| Format: |
|
Taschenbuch |
Erscheinungsjahr:
|
|
2004
|
|
» Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2003
|
|
» Evolutionary Algorithms for Embedded System Design
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler, Nicole Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2002
|
|
» Software-Engineering und Hardware-Design
|
 |
|
Verlag: |
|
Carl Hanser Verlag |
Autor:
|
|
Axel Sikora, Rolf Drechsler
|
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2002
|
|
» Towards One-Pass Synthesis
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler, Wolfgang Günther
|
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2002
|
|
» Spectral Techniques in VLSI CAD
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Mitchell A. Thornton, Rolf Drechsler, D. Michel Miller |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2001
|
|
» Formal Verification of Circuits
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2000
|
|
» Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf
|
 |
|
Verlag: |
|
- |
Autor:
|
|
Nicole Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2000
|
|
» Evolutionary Algorithms for VLSI CAD
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
1998
|
|
» Binary Decision Diagrams: Theory and Implementations
|
 |
|
Verlag: |
|
Kluwer Academic Publisher |
Autor:
|
|
Rolf Drechsler, Bernd Becker |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
1998
|
|
» Graphenbasierte Funktionsdarstellung
|
 |
|
Verlag: |
|
B.G. Teubner |
Autor:
|
|
Rolf Drechsler, Bernd Becker |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
1998
|
|
» Functional Decision Diagrams und ihre Anwendung
|
 |
|
Verlag: |
|
Modell Verlag |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
1996
|
|
