Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Publikationen « Bücher

Sortieren nach: [ Titel ] [ Verlag ] [ Autor ] [ Format ] [ Jahr ]
Suche nach:



» Debugging at the Electronic System Level

Großformat des Buches: 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

Großformat des Buches: 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

Großformat des Buches: Quality-Driven SystemC Design

Verlag:


Springer
Autor:

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


2010






» Advanced Automation in Formal Verification of Processors

Großformat des Buches: 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

Großformat des Buches: 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

Großformat des Buches: Robustness and Usability in Modern Design Flows

Verlag:


Springer
Autor:

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


2008






» Applications of Evolutionary Computing

Großformat des Buches: 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

Großformat des Buches: 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

Großformat des Buches: 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

Großformat des Buches: 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

Großformat des Buches: 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

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

Großformat des Buches: Advanced BDD Optimization

Verlag:


Springer Verlag
Autor:

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


2005






» Technische Informatik - Eine Einführung

Großformat des Buches: Technische Informatik - Eine Einführung

Verlag:


Pearson Studium
Autor:

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


2005






» Applications of Evolutionary Computing

Großformat des Buches: 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

Großformat des Buches: FunTaskIC - Eine integrierte Entwurfsumgebung für SystemC

Verlag:


Shaker Verlag
Autor:

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


2005






» Applications of Evolutionary Computing

Großformat des Buches: 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

Großformat des Buches: 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)

Großformat des Buches: 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

Großformat des Buches: 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

Großformat des Buches: Evolutionary Algorithms for Embedded System Design

Verlag:


Kluwer Academic Publishers
Autor:

Rolf Drechsler, Nicole Drechsler
Format:
Gebunden
Erscheinungsjahr:


2002






» Software-Engineering und Hardware-Design

Großformat des Buches: Software-Engineering und Hardware-Design

Verlag:


Carl Hanser Verlag
Autor:

Axel Sikora, Rolf Drechsler
Format:
Gebunden
Erscheinungsjahr:


2002






» Towards One-Pass Synthesis

Großformat des Buches: Towards One-Pass Synthesis

Verlag:


Kluwer Academic Publishers
Autor:

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


2002






» Spectral Techniques in VLSI CAD

Großformat des Buches: 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

Großformat des Buches: Formal Verification of Circuits

Verlag:


Kluwer Academic Publishers
Autor:

Rolf Drechsler
Format:
Hardcover
Erscheinungsjahr:


2000






» Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf

Großformat des Buches: Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf

Verlag:


-
Autor:

Nicole Drechsler
Format:
Gebunden
Erscheinungsjahr:


2000






» Evolutionary Algorithms for VLSI CAD

Großformat des Buches: Evolutionary Algorithms for VLSI CAD

Verlag:


Kluwer Academic Publishers
Autor:

Rolf Drechsler
Format:
Hardcover
Erscheinungsjahr:


1998






» Binary Decision Diagrams: Theory and Implementations

Großformat des Buches: Binary Decision Diagrams: Theory and Implementations

Verlag:


Kluwer Academic Publisher
Autor:

Rolf Drechsler, Bernd Becker
Format:
Hardcover
Erscheinungsjahr:


1998






» Graphenbasierte Funktionsdarstellung

Großformat des Buches: Graphenbasierte Funktionsdarstellung

Verlag:


B.G. Teubner
Autor:

Rolf Drechsler, Bernd Becker
Format:
Gebunden
Erscheinungsjahr:


1998






» Functional Decision Diagrams und ihre Anwendung

Großformat des Buches: Functional Decision Diagrams und ihre Anwendung

Verlag:


Modell Verlag
Autor:

Rolf Drechsler
Format:
Gebunden
Erscheinungsjahr:


1996








zurück







English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt