Homepage Sitemap Contact




Home « Publications « Books

sort: [ Title ] [ Publisher ] [ Author ] [ Format ] [ Year ]
search:



» WoLFram - A Word Level Framework for Formal Verification and its Application


Publisher:


Shaker
Author:

Andre Sülflow
Format:
Gebunden
Year:


2010






» Quality-Driven SystemC Design


Publisher:


Springer
Author:

Daniel Große, Rolf Drechsler
Format:
Hardcover
Year:


2010






» Advanced Automation in Formal Verification of Processors


Publisher:


Shaker Verlag
Author:

Ulrich Kühne
Format:
Gebunden
Year:


2009






» Test Pattern Generation using Boolean Proof Engines


Publisher:


Springer
Author:

Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
Format:
Hardcover
Year:


2009






» Robustness and Usability in Modern Design Flows


Publisher:


Springer
Author:

Görschwin Fey, Rolf Drechsler
Format:
Hardcover
Year:


2008






» Applications of Evolutionary Computing


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


Publisher:


Shaker Verlag
Author:

Sebastian Kinder
Format:
Gebunden
Year:


2008






» EXplayN - Strategieoptimierung und Analyse ausgewählter Spielprobleme


Publisher:


Shaker Verlag
Author:

Daniel Große, Andre Sülflow, Nicole Drechsler (Hrsg.)
Format:
gebunden
Year:


2008






» Applications of Evolutionary Computing


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


Publisher:


Shaker Verlag
Author:

Daniel Große, Görschwin Fey, Rolf Drechsler (Hrsg.)
Format:
Gebunden
Year:


2007






» Applications of Evolutionary Computing

Applications of Evolutionary Computing

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


Publisher:


Springer Verlag
Author:

Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler
Format:
Hardcover
Year:


2005






» Technische Informatik - Eine Einführung


Publisher:


Pearson Studium
Author:

Bernd Becker, Rolf Drechsler, Paul Molitor
Format:
Gebunden
Year:


2005






» Applications of Evolutionary Computing


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


Publisher:


Shaker Verlag
Author:

Görschwin Fey, Rolf Drechsler (Hrsg.)
Format:
Gebunden
Year:


2005






» Applications of Evolutionary Computing


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


Publisher:


Kluwer Academic Publishers
Author:

Rolf Drechsler
Format:
Gebunden
Year:


2004






» Heuristic and Exact Optimization of Reduced Ordered Binary Decision Diagrams (BDDs)


Publisher:


MontAurum Verlag
Author:

Rüdiger Ebendt
Format:
Taschenbuch
Year:


2004






» Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen


Publisher:


Shaker Verlag
Author:

Rolf Drechsler
Format:
Gebunden
Year:


2003






» Evolutionary Algorithms for Embedded System Design


Publisher:


Kluwer Academic Publishers
Author:

Rolf Drechsler, Nicole Drechsler
Format:
Gebunden
Year:


2002






» Software-Engineering und Hardware-Design


Publisher:


Carl Hanser Verlag
Author:

Axel Sikora, Rolf Drechsler
Format:
Gebunden
Year:


2002






» Towards One-Pass Synthesis


Publisher:


Kluwer Academic Publishers
Author:

Rolf Drechsler, Wolfgang Günther
Format:
Hardcover
Year:


2002






» Spectral Techniques in VLSI CAD


Publisher:


Kluwer Academic Publishers
Author:

Mitchell A. Thornton, Rolf Drechsler, D. Michel Miller
Format:
Hardcover
Year:


2001






» Formal Verification of Circuits


Publisher:


Kluwer Academic Publishers
Author:

Rolf Drechsler
Format:
Hardcover
Year:


2000






» Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf


Publisher:


-
Author:

Nicole Drechsler
Format:
Gebunden
Year:


2000






» Evolutionary Algorithms for VLSI CAD


Publisher:


Kluwer Academic Publishers
Author:

Rolf Drechsler
Format:
Hardcover
Year:


1998






» Binary Decision Diagrams: Theory and Implementations


Publisher:


Kluwer Academic Publisher
Author:

Rolf Drechsler, Bernd Becker
Format:
Hardcover
Year:


1998






» Graphenbasierte Funktionsdarstellung


Publisher:


B.G. Teubner
Author:

Rolf Drechsler, Bernd Becker
Format:
Gebunden
Year:


1998






» Functional Decision Diagrams und ihre Anwendung


Publisher:


Modell Verlag
Author:

Rolf Drechsler
Format:
Gebunden
Year:


1996








back







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE