Homepage Sitemap Contact

Group
Reasearch
Studies
Publications
Software
Service
Contact




Home « Publications « Books

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



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


Publisher:


Springer
Author:

Rolf Drechsler, Andrea Fink, Jannis Stoppe
Format:
Taschenbuch
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






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


Publisher:


Shaker Verlag
Author:

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


2017






» Automatic Methods for the Refinement of System Models


Publisher:


Springer International Publishing
Author:

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


2016






» Reversible and Quantum Circuits


Publisher:


Springer
Author:

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


2016






» 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






» Cryptographic Hardware and Embedded Systems (CHES 2015)


Publisher:


Springer
Author:

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


2015






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


Publisher:


Shaker Verlag
Author:

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


2015






» 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






» 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






» Aspekte der Technischen Informatik


Publisher:


MV-Wissenschaft
Author:

Rolf Drechsler (Hrsg.)
Format:
Softcover
Year:


2014






» Test digitaler Schaltkreise


Publisher:


Oldenbourg
Author:

Stephan Eggersglüß, Görschwin Fey, Ilia Polian
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






» High Quality Test Pattern Generation and Boolean Satisfiability


Publisher:


Springer
Author:

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


2012






» 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






» Towards a Design Flow for Reversible Logic


Publisher:


Springer
Author:

Robert Wille, Rolf Drechsler
Format:
Gebunden
Year:


2010






» Debugging at the Electronic System Level


Publisher:


Springer
Author:

Frank Rogin, Rolf Drechsler
Format:
Gebunden
Year:


2010






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


Publisher:


Shaker
Author:

Andre Sülflow
Format:
Gebunden
Year:


2010








older entries in the archive







Add to Favorites
Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE