Homepage Sitemap Contact




Home « Publications « Books

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



» Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017


Publisher:


Springer
Author:

Daniel Große, Sara Vinco, Hiren Patel (Eds.)
Format:
Hardcover
Year:


2019






» Design Automation Techniques for Approximation Circuits


Publisher:


Springer
Author:

Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Format:
gebunden
Year:


2018






» Exact Design of Digital Microfluidic Biochips


Publisher:


Springer
Author:

Oliver Keszöcze, Robert Wille, Rolf Drechsler
Format:
Gebunden
Year:


2018






» Advanced Logic Synthesis

Advanced Logic Synthesis

Publisher:


Springer
Author:

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


2017






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


Publisher:


Springer Verlag
Author:

Rolf Drechsler
Format:
Hardcover, eBook
Year:


2017






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


Publisher:


Springer
Author:

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


2017






» 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






» 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








older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE