
» 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
|

|