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:



» 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






» 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






» Advanced Formal Verification

Großformat des Buches: Advanced Formal Verification

Verlag:


Kluwer Academic Publishers
Autor:

Rolf Drechsler
Format:
Gebunden
Erscheinungsjahr:


2004






» Advanced Logic Synthesis

Advanced Logic Synthesis

Verlag:


Springer
Autor:

André Inácio Reis, Rolf Drechsler
Format:
eBook
Erscheinungsjahr:


2017






» Applications of Evolutionary Computation Applications of Evolutionary Computation

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

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






» 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






» 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






» 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






» 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






» Aspekte der Technischen Informatik

Großformat des Buches: Aspekte der Technischen Informatik

Verlag:


MV-Wissenschaft
Autor:

Rolf Drechsler (Hrsg.)
Format:
Softcover
Erscheinungsjahr:


2014






» Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik

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

Großformat des Buches: Automated Validation and Verification of Railway Specific Components and Systems

Verlag:


Shaker Verlag
Autor:

Sebastian Kinder
Format:
Gebunden
Erscheinungsjahr:


2008






» Automatic Methods for the Refinement of System Models

Großformat des Buches: Automatic Methods for the Refinement of System Models

Verlag:


Springer International Publishing
Autor:

Julia Seiter, Robert Wille, Rolf Drechsler
Format:
Taschenbuch
Erscheinungsjahr:


2016






» 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






» Computer: Wie funktionieren Smartphone, Tablet & Co.?

Großformat des Buches: Computer: Wie funktionieren Smartphone, Tablet & Co.?

Verlag:


Springer
Autor:

Rolf Drechsler, Andrea Fink, Jannis Stoppe
Format:
Taschenbuch
Erscheinungsjahr:


2017






» Cryptographic Hardware and Embedded Systems (CHES 2015)

Großformat des Buches: Cryptographic Hardware and Embedded Systems (CHES 2015)

Verlag:


Springer
Autor:

Tim Güneysu, Helena Handschuh (Eds.)
Format:
Softcover, eBook
Erscheinungsjahr:


2015






» Debug Automation from Pre-Silicon to Post-Silicon

Debug Automation from Pre-Silicon to Post-Silicon

Verlag:


Springer
Autor:

Mehdi Dehbashi, Görschwin Fey
Format:
eBook, Hardcover
Erscheinungsjahr:


2015






» 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






» 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






» 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






» 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






» Formal Modeling and Verification of Cyber-Physical Systems

Großformat des Buches: Formal Modeling and Verification of Cyber-Physical Systems

Verlag:


Springer
Autor:

Rolf Drechsler, Ulrich Kühne (Hrsg.)
Format:
eBook, Softcover
Erscheinungsjahr:


2015






» Formal Specification Level

Großformat des Buches: Formal Specification Level

Verlag:


Springer
Autor:

Mathias Soeken, Rolf Drechsler
Format:
eBook, Hardcover
Erscheinungsjahr:


2014






» Formal System Verification State-of the-Art and Future Trends

Großformat des Buches: Formal System Verification
State-of the-Art and Future Trends

Verlag:


Springer Verlag
Autor:

Rolf Drechsler
Format:
Hardcover, eBook
Erscheinungsjahr:


2017






» Formal Verification of Circuits

Großformat des Buches: Formal Verification of Circuits

Verlag:


Kluwer Academic Publishers
Autor:

Rolf Drechsler
Format:
Hardcover
Erscheinungsjahr:


2000






» 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






» 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






» Graphenbasierte Funktionsdarstellung

Großformat des Buches: Graphenbasierte Funktionsdarstellung

Verlag:


B.G. Teubner
Autor:

Rolf Drechsler, Bernd Becker
Format:
Gebunden
Erscheinungsjahr:


1998






» 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






» High Quality Test Pattern Generation and Boolean Satisfiability

Großformat des Buches: High Quality Test Pattern Generation and Boolean Satisfiability

Verlag:


Springer
Autor:

Stephan Eggersglüß, Rolf Drechsler
Format:
Hardcover
Erscheinungsjahr:


2012






» Languages, Design Methods, and Tools for Electronic System Design

Großformat des Buches: Languages, Design Methods, and Tools for Electronic System Design

Verlag:


Springer International Publishing (Verlag)
Autor:

Rolf Drechsler, Robert Wille (Hrsg.)
Format:
Buch | Hardcover
Erscheinungsjahr:


2016






» Lightweight Cryptography for Security and Privacy - 4th International Workshop (LightSec 2015)

Großformat des Buches: Lightweight Cryptography for Security and Privacy - 4th International Workshop (LightSec 2015)

Verlag:


Springer
Autor:

Tim Güneysu, Gregor Leander, Amir Moradi (Eds.)
Format:
Softcover, eBook
Erscheinungsjahr:


2016






» 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






» 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:

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


2017






» Proceedings of the 6th International Workshop on Trustworthy Embedded Devices, TrustED@CCS 16, Vienna, Austria, October 28, 2016

Proceedings of the 6th International Workshop on Trustworthy Embedded Devices, TrustED@CCS 16, Vienna, Austria, October 28, 2016

Verlag:


ACM
Autor:

Edgar E. Weippl, Stefan Katzenbeisser, Mathias Payer, Stefan Mangard, Xinxin Fan, Tim Güneysu
Format:
Erscheinungsjahr:


2016






» Quality-Driven SystemC Design

Großformat des Buches: Quality-Driven SystemC Design

Verlag:


Springer
Autor:

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


2010






» Reversible and Quantum Circuits

Großformat des Buches: Reversible and Quantum Circuits

Verlag:


Springer
Autor:

Nabila Abdessaied, Rolf Drechsler
Format:
eBook, Hardcover
Erscheinungsjahr:


2016






» 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






» 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






» 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






» 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






» Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen

Großformat des Buches: Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen

Verlag:


Shaker Verlag
Autor:

Robert Wille, Oliver Keszöcze, Rolf Drechsler (Hrsg.)
Format:
gebunden
Erscheinungsjahr:


2015






» 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






» Test digitaler Schaltkreise

Großformat des Buches: Test digitaler Schaltkreise

Verlag:


Oldenbourg
Autor:

Stephan Eggersglüß, Görschwin Fey, Ilia Polian
Format:
Softcover
Erscheinungsjahr:


2014






» 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






» Towards a Design Flow for Reversible Logic

Großformat des Buches: Towards a Design Flow for Reversible Logic

Verlag:


Springer
Autor:

Robert Wille, Rolf Drechsler
Format:
Gebunden
Erscheinungsjahr:


2010






» 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






» 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






» Ü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










English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt