» Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Sebastian Huhn, Rolf Drechsler |
| Format: |
|
Gebunden und eBook |
Year:
|
|
2021
|
|
» Recent Findings in Boolean Techniques
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Rolf Drechsler, Daniel Große |
| Format: |
|
Gebunden und eBook |
Year:
|
|
2021
|
|
» Natural Language Processing for Electronic Design Automation
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Mathias Soeken, Rolf Drechsler (Eds.) |
| Format: |
|
Hardcover |
Year:
|
|
2020
|
|
» Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Format: |
|
Hardcover |
Year:
|
|
2020
|
|
» Automated Analysis of Virtual Prototypes at the Electronic System Level – Design Understanding and Applications
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Mehran Goli, Rolf Drechsler |
| Format: |
|
Hardcover |
Year:
|
|
2020
|
|
» Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2018
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große (Eds.) |
| Format: |
|
Hardcover |
Year:
|
|
2020
|
|
» Information Storage - A Multidisciplinary Perspective
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Cornelia S. Große, Rolf Drechsler (Eds.) |
| Format: |
|
Hardcover |
Year:
|
|
2019
|
|
» Advanced Boolean Techniques
|
 |
|
Publisher: |
|
Springer International Publishing |
Author:
|
|
Rolf Drechsler, Mathias Soeken (Eds.) |
| Format: |
|
Hardcover |
Year:
|
|
2020
|
|
» In-Memory Computing -
Synthesis and Optimization
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Saeideh Shirinzadeh, Rolf Drechsler |
| Format: |
|
Hardcover |
Year:
|
|
2020
|
|
» 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
|
 |
|
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
|
|
» Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Vladimir Herdt |
| Format: |
|
Softcover |
Year:
|
|
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
|
|
