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:



» 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






» 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






» 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






» 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






» 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






» Reversible and Quantum Circuits

Großformat des Buches: Reversible and Quantum Circuits

Verlag:


Springer
Autor:

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


2016






» 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






» 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






» 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






» 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






» 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






» Aspekte der Technischen Informatik

Großformat des Buches: Aspekte der Technischen Informatik

Verlag:


MV-Wissenschaft
Autor:

Rolf Drechsler (Hrsg.)
Format:
Softcover
Erscheinungsjahr:


2014






» Test digitaler Schaltkreise

Großformat des Buches: Test digitaler Schaltkreise

Verlag:


Oldenbourg
Autor:

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






» 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






» 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






» 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






» 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








ältere Einträge im Archiv







English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt