Homepage Sitemap Contact




Home « Publications « Books

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



» Advanced Automation in Formal Verification of Processors


Publisher:


Shaker Verlag
Author:

Ulrich Kühne
Format:
Gebunden
Year:


2009






» Advanced BDD Optimization


Publisher:


Springer Verlag
Author:

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


2005






» Advanced Formal Verification


Publisher:


Kluwer Academic Publishers
Author:

Rolf Drechsler
Format:
Gebunden
Year:


2004






» Advanced Logic Synthesis

Advanced Logic Synthesis

Publisher:


Springer
Author:

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


2017






» Applications of Evolutionary Computation Applications of Evolutionary Computation


Publisher:


Springer
Author:

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


2011






» 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






» 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






» 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






» 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






» 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






» Aspekte der Technischen Informatik


Publisher:


MV-Wissenschaft
Author:

Rolf Drechsler (Hrsg.)
Format:
Softcover
Year:


2014






» Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik


Publisher:


Shaker Verlag
Author:

Rolf Drechsler, Mathias Soeken, Robert Wille (Hrsg.)
Format:
gebunden
Year:


2012






» Automated Validation and Verification of Railway Specific Components and Systems


Publisher:


Shaker Verlag
Author:

Sebastian Kinder
Format:
Gebunden
Year:


2008






» Automatic Methods for the Refinement of System Models


Publisher:


Springer International Publishing
Author:

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


2016






» Binary Decision Diagrams: Theory and Implementations


Publisher:


Kluwer Academic Publisher
Author:

Rolf Drechsler, Bernd Becker
Format:
Hardcover
Year:


1998






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


Publisher:


Springer
Author:

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


2017






» Cryptographic Hardware and Embedded Systems (CHES 2015)


Publisher:


Springer
Author:

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


2015






» Debug Automation from Pre-Silicon to Post-Silicon

Debug Automation from Pre-Silicon to Post-Silicon

Publisher:


Springer
Author:

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


2015






» Debugging at the Electronic System Level


Publisher:


Springer
Author:

Frank Rogin, Rolf Drechsler
Format:
Gebunden
Year:


2010






» Evolutionary Algorithms for Embedded System Design


Publisher:


Kluwer Academic Publishers
Author:

Rolf Drechsler, Nicole Drechsler
Format:
Gebunden
Year:


2002






» Evolutionary Algorithms for VLSI CAD


Publisher:


Kluwer Academic Publishers
Author:

Rolf Drechsler
Format:
Hardcover
Year:


1998






» EXplayN - Strategieoptimierung und Analyse ausgewählter Spielprobleme


Publisher:


Shaker Verlag
Author:

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


2008






» Formal Modeling and Verification of Cyber-Physical Systems


Publisher:


Springer
Author:

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


2015






» Formal Specification Level


Publisher:


Springer
Author:

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


2014






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


Publisher:


Springer Verlag
Author:

Rolf Drechsler
Format:
Hardcover, eBook
Year:


2017






» Formal Verification of Circuits


Publisher:


Kluwer Academic Publishers
Author:

Rolf Drechsler
Format:
Hardcover
Year:


2000






» Functional Decision Diagrams und ihre Anwendung


Publisher:


Modell Verlag
Author:

Rolf Drechsler
Format:
Gebunden
Year:


1996






» FunTaskIC - Eine integrierte Entwurfsumgebung für SystemC


Publisher:


Shaker Verlag
Author:

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


2005






» Graphenbasierte Funktionsdarstellung


Publisher:


B.G. Teubner
Author:

Rolf Drechsler, Bernd Becker
Format:
Gebunden
Year:


1998






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


Publisher:


MontAurum Verlag
Author:

Rüdiger Ebendt
Format:
Taschenbuch
Year:


2004






» High Quality Test Pattern Generation and Boolean Satisfiability


Publisher:


Springer
Author:

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


2012






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


Publisher:


Springer International Publishing (Verlag)
Author:

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


2016






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


Publisher:


Springer
Author:

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


2016






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


Publisher:


Shaker Verlag
Author:

Rolf Drechsler
Format:
Gebunden
Year:


2003






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


Publisher:


Shaker Verlag
Author:

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


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

Publisher:


ACM
Author:

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


2016






» Quality-Driven SystemC Design


Publisher:


Springer
Author:

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


2010






» Reversible and Quantum Circuits


Publisher:


Springer
Author:

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


2016






» Robustness and Usability in Modern Design Flows


Publisher:


Springer
Author:

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


2008






» SATRIX - Algorithmen für Boolesche Erfüllbarkeit


Publisher:


Shaker Verlag
Author:

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


2007






» Software-Engineering und Hardware-Design


Publisher:


Carl Hanser Verlag
Author:

Axel Sikora, Rolf Drechsler
Format:
Gebunden
Year:


2002






» Spectral Techniques in VLSI CAD


Publisher:


Kluwer Academic Publishers
Author:

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


2001






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


Publisher:


Shaker Verlag
Author:

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


2015






» Technische Informatik - Eine Einführung


Publisher:


Pearson Studium
Author:

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


2005






» Test digitaler Schaltkreise


Publisher:


Oldenbourg
Author:

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


2014






» Test Pattern Generation using Boolean Proof Engines


Publisher:


Springer
Author:

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


2009






» Towards a Design Flow for Reversible Logic


Publisher:


Springer
Author:

Robert Wille, Rolf Drechsler
Format:
Gebunden
Year:


2010






» Towards One-Pass Synthesis


Publisher:


Kluwer Academic Publishers
Author:

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


2002






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


Publisher:


Shaker
Author:

Andre Sülflow
Format:
Gebunden
Year:


2010






» Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf


Publisher:


-
Author:

Nicole Drechsler
Format:
Gebunden
Year:


2000










Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE