|
Home « Publikationen « Bücher
» Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Rolf Drechsler, Mathias Soeken, Robert Wille (Hrsg.) |
| Format: |
|
gebunden |
Erscheinungsjahr:
|
|
2012
|
|
» High Quality Test Pattern Generation and Boolean Satisfiability
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Stephan Eggersglüß, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2012
|
|
» 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
|
|
» Towards a Design Flow for Reversible Logic
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Robert Wille, Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2010
|
|
» Debugging at the Electronic System Level
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Frank Rogin, Rolf Drechsler |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2010
|
|
» WoLFram - A Word Level Framework for Formal Verification and its Application
|
 |
|
Verlag: |
|
Shaker |
Autor:
|
|
Andre Sülflow |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2010
|
|
» Quality-Driven SystemC Design
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Daniel Große, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2010
|
|
» Advanced Automation in Formal Verification of Processors
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Ulrich Kühne |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2009
|
|
» Test Pattern Generation using Boolean Proof Engines
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2009
|
|
» Robustness and Usability in Modern Design Flows
|
 |
|
Verlag: |
|
Springer |
Autor:
|
|
Görschwin Fey, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2008
|
|
» 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
|
|
» 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
|
|
» 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
|
|
» 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 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
|
|
» Advanced BDD Optimization
|
 |
|
Verlag: |
|
Springer Verlag |
Autor:
|
|
Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler |
| Format: |
|
Hardcover |
Erscheinungsjahr:
|
|
2005
|
|
» Technische Informatik - Eine Einführung
|
 |
|
Verlag: |
|
Pearson Studium |
Autor:
|
|
Bernd Becker, Rolf Drechsler, Paul Molitor |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2005
|
|
» 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
|
|
» FunTaskIC - Eine integrierte Entwurfsumgebung für SystemC
|
 |
|
Verlag: |
|
Shaker Verlag |
Autor:
|
|
Görschwin Fey, Rolf Drechsler (Hrsg.) |
| Format: |
|
Gebunden |
Erscheinungsjahr:
|
|
2005
|
|
|
ältere Einträge im Archiv
|
|
|
