» Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf
|
 |
|
Verlag: |
|
- |
Autor:
|
|
Nicole Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2000
|
|
» Graphenbasierte Funktionsdarstellung
|
 |
|
Verlag: |
|
B.G. Teubner |
Autor:
|
|
Rolf Drechsler, Bernd Becker |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
1998
|
|
» Software-Engineering und Hardware-Design
|
 |
|
Verlag: |
|
Carl Hanser Verlag |
Autor:
|
|
Axel Sikora, Rolf Drechsler
|
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2002
|
|
» Binary Decision Diagrams: Theory and Implementations
|
 |
|
Verlag: |
|
Kluwer Academic Publisher |
Autor:
|
|
Rolf Drechsler, Bernd Becker |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
1998
|
|
» Advanced Formal Verification
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2004
|
|
» Evolutionary Algorithms for Embedded System Design
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler, Nicole Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2002
|
|
» Evolutionary Algorithms for VLSI CAD
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
1998
|
|
» Formal Verification of Circuits
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2000
|
|
» Spectral Techniques in VLSI CAD
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Mitchell A. Thornton, Rolf Drechsler, D. Michel Miller |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2001
|
|
» Towards One-Pass Synthesis
|
 |
|
Verlag: |
|
Kluwer Academic Publishers |
Autor:
|
|
Rolf Drechsler, Wolfgang Günther
|
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2002
|
|
» Functional Decision Diagrams und ihre Anwendung
|
 |
|
Verlag: |
|
Modell Verlag |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
1996
|
|
» Heuristic and Exact Optimization of Reduced Ordered Binary Decision Diagrams (BDDs)
|
 |
|
Verlag: |
|
MontAurum Verlag |
Autor:
|
|
Rüdiger Ebendt |
| Format: |
|
Taschenbuch |
Erscheinungsjahr:
|
|
2004
|
|
» Technische Informatik - Eine Einführung
|
 |
|
Verlag: |
|
Pearson Studium |
Autor:
|
|
Bernd Becker, Rolf Drechsler, Paul Molitor |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2005
|
|
» WoLFram - A Word Level Framework for Formal Verification and its Application
|
 |
|
Verlag: |
|
Shaker |
Autor:
|
|
Andre Sülflow |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2010
|
|
» Advanced Automation in Formal Verification of Processors
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Ulrich Kühne |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2009
|
|
» Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Rolf Drechsler, Mathias Soeken, Robert Wille (Hrsg.) |
| Format: |
|
gebunden |
Erscheinungsjahr:
|
|
2012
|
|
» Automated Validation and Verification of Railway Specific Components and Systems
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Sebastian Kinder |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2008
|
|
» EXplayN - Strategieoptimierung und Analyse ausgewählter Spielprobleme
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Daniel Große, Andre Sülflow, Nicole Drechsler (Hrsg.) |
| Format: |
|
gebunden |
Erscheinungsjahr:
|
|
2008
|
|
» FunTaskIC - Eine integrierte Entwurfsumgebung für SystemC
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Görschwin Fey, Rolf Drechsler (Hrsg.) |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2005
|
|
» Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2003
|
|
» SATRIX - Algorithmen für Boolesche Erfüllbarkeit
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Daniel Große, Görschwin Fey, Rolf Drechsler (Hrsg.) |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2007
|
|
» Applications of Evolutionary Computation
Applications of Evolutionary Computation
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Cecilia Di Chio, Anthony Brabazon, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero und Giovanni Squillero, et al. |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2011
|
|
» 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
|
|
» Applications of Evolutionary Computing
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
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 |
Erscheinungsjahr:
|
|
2005
|
|
» Applications of Evolutionary Computing
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
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 |
Erscheinungsjahr:
|
|
2006
|
|
» Applications of Evolutionary Computing
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
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 |
Erscheinungsjahr:
|
|
2007
|
|
» Applications of Evolutionary Computing
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
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 |
Erscheinungsjahr:
|
|
2008
|
|
» Debugging at the Electronic System Level
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Frank Rogin, Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2010
|
|
» High Quality Test Pattern Generation and Boolean Satisfiability
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Stephan Eggersglüß, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2012
|
|
» Quality-Driven SystemC Design
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Daniel Große, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2010
|
|
» Robustness and Usability in Modern Design Flows
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Görschwin Fey, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2008
|
|
» Test Pattern Generation using Boolean Proof Engines
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2009
|
|
» Towards a Design Flow for Reversible Logic
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Robert Wille, Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2010
|
|
» Advanced BDD Optimization
|
 |
|
Verlag: |
|
Springer Verlag |
Autor:
|
|
Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2005
|
|
