» Robustness and Usability in Modern Design Flows
[Read more about this book!]
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Görschwin Fey, Rolf Drechsler |
| Format: |
|
Hardcover |
Year:
|
|
2008
|
|
» Applications of Evolutionary Computing
[Read more about this book!]
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
M. Giacobini, A. Brabazon, S. Cagnoni, G. A. DiCaro, Rolf Drechsler, A. Ekart, A. I. Esparcia-Alcazar, M. Farooq, A. Fink, J. McCormack, M. O'Neill, J. Romero, F. Rothlauf, G. Squillero, S. Uyar, S. Yang
|
| Format: |
|
Gebunden |
Year:
|
|
2008
|
|
» Automated Validation and Verification of Railway Specific Components and Systems
[Read more about this book!]
|
 |
|
Publisher: |
|
Shaker Verlag |
Author:
|
|
Sebastian Kinder |
| Format: |
|
Gebunden |
Year:
|
|
2008
|
|
» EXplayN - Strategieoptimierung und Analyse ausgewählter Spielprobleme
[Read more about this book!]
|
 |
|
Publisher: |
|
Shaker Verlag |
Author:
|
|
Daniel Große, Andre Sülflow, Nicole Drechsler (Hrsg.) |
| Format: |
|
gebunden |
Year:
|
|
2008
|
|
» Applications of Evolutionary Computing
[Read more about this book!]
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
M. Giacobini, A. Brabazon, S. Cagoni, G.A. Di Caro, Rolf Drechsler, M. Farooq, A. Fink, E. Lutton, P. Machado, S. Minner, M. O'Neill, J. Romero, F. Rothlauf, G. Squillero, H. Takagi, A.S. Uyar, S. Yang |
| Format: |
|
Gebunden |
Year:
|
|
2007
|
|
» SATRIX - Algorithmen für Boolesche Erfüllbarkeit
[Read more about this book!]
|
 |
|
Publisher: |
|
Shaker Verlag |
Author:
|
|
Daniel Große, Görschwin Fey, Rolf Drechsler (Hrsg.) |
| Format: |
|
Gebunden |
Year:
|
|
2007
|
|
» Applications of Evolutionary Computing
[Read more about this book!]
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
F. Rothlauf, J. Branke, S. Cagnoni, E. Costa, C. Cotta, Rolf Drechsler, E. Lutton, P. Machado, J.H. Moore, J. Romero, G.D. Smith, G. Squillero, H. Takagi (Eds.) |
| Format: |
|
Gebunden |
Year:
|
|
2006
|
|
» Advanced BDD Optimization
[Read more about this book!]
|
 |
|
Publisher: |
|
Springer Verlag |
Author:
|
|
Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler |
| Format: |
|
Hardcover |
Year:
|
|
2005
|
|
» Technische Informatik - Eine Einführung
[Read more about this book!]
|
 |
|
Publisher: |
|
Pearson Studium |
Author:
|
|
Bernd Becker, Rolf Drechsler, Paul Molitor |
| Format: |
|
Gebunden |
Year:
|
|
2005
|
|
» Applications of Evolutionary Computing
[Read more about this book!]
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David W. Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero |
| Format: |
|
Gebunden |
Year:
|
|
2005
|
|
» FunTaskIC - Eine integrierte Entwurfsumgebung für SystemC
[Read more about this book!]
|
 |
|
Publisher: |
|
Shaker Verlag |
Author:
|
|
Görschwin Fey, Rolf Drechsler (Hrsg.) |
| Format: |
|
Gebunden |
Year:
|
|
2005
|
|
» Applications of Evolutionary Computing
[Read more about this book!]
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
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 |
Year:
|
|
2004
|
|
» Advanced Formal Verification
[Read more about this book!]
|
 |
|
Publisher: |
|
Kluwer Academic Publishers |
Author:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Year:
|
|
2004
|
|
» Heuristic and Exact Optimization of Reduced Ordered Binary Decision Diagrams (BDDs)
[Read more about this book!]
|
 |
|
Publisher: |
|
MontAurum Verlag |
Author:
|
|
Rüdiger Ebendt |
| Format: |
|
Taschenbuch |
Year:
|
|
2004
|
|
» Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
[Read more about this book!]
|
 |
|
Publisher: |
|
Shaker Verlag |
Author:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Year:
|
|
2003
|
|
» Evolutionary Algorithms for Embedded System Design
[Read more about this book!]
|
 |
|
Publisher: |
|
Kluwer Academic Publishers |
Author:
|
|
Rolf Drechsler, Nicole Drechsler |
| Format: |
|
Gebunden |
Year:
|
|
2002
|
|
» Software-Engineering und Hardware-Design
[Read more about this book!]
|
 |
|
Publisher: |
|
Carl Hanser Verlag |
Author:
|
|
Axel Sikora, Rolf Drechsler
|
| Format: |
|
Gebunden |
Year:
|
|
2002
|
|
» Towards One-Pass Synthesis
[Read more about this book!]
|
 |
|
Publisher: |
|
Kluwer Academic Publishers |
Author:
|
|
Rolf Drechsler, Wolfgang Günther
|
| Format: |
|
Hardcover |
Year:
|
|
2002
|
|
» Spectral Techniques in VLSI CAD
[Read more about this book!]
|
 |
|
Publisher: |
|
Kluwer Academic Publishers |
Author:
|
|
Mitchell A. Thornton, Rolf Drechsler, D. Michel Miller |
| Format: |
|
Hardcover |
Year:
|
|
2001
|
|
» Formal Verification of Circuits
[Read more about this book!]
|
 |
|
Publisher: |
|
Kluwer Academic Publishers |
Author:
|
|
Rolf Drechsler |
| Format: |
|
Hardcover |
Year:
|
|
2000
|
|
