Search

You searched for: Auteur Drechsler, Rolf Remove constraint Auteur: Drechsler, Rolf
« Previous | 1 - 10 of 33 |
Number of results to display per page

Search Results

1. Formal System Verification
thumbnail
Full text!
Author:
Drechsler, Rolf
Publisher:
Springer International Publishing 2018
Format:
e-book
2. Reversible and Quantum Circuits
thumbnail
Full text!
Author:
Abdessaied, Nabila; Drechsler, Rolf; Drechsler, Rolf
Publisher:
Cham Springer International Publishing 2016
Format:
e-book
3. Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
thumbnail
Full text!
Author:
Goli; Drechsler, Rolf
Publisher:
Springer International Publishing 2020
Format:
e-book
4. Design for Testability, Debug and Reliability
thumbnail
Full text!
Author:
Huhn; Drechsler, Rolf
Publisher:
Springer International Publishing 2021
Format:
e-book
5. In-Memory Computing: Synthesis and Optimization
thumbnail
Full text!
Author:
Shirinzadeh; Drechsler, Rolf
Publisher:
Springer International Publishing 2020
Format:
e-book
6. Natural Language Processing for Electronic Design Automation
thumbnail
Full text!
Author:
Soeken; Drechsler, Rolf
Publisher:
Springer International Publishing 2020
Format:
e-book
7. Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems
thumbnail
Full text!
Author:
Drechsler, Rolf.; Huhn, Sebastian
Publisher:
Cham Springer International Publishing AG 2023
Format:
e-book
8. Debugging at the Electronic System Level
thumbnail
Full text!
Author:
Rogin, Frank; Drechsler, Rolf
Publisher:
Springer Netherlands 2010
Format:
e-book
9. Formal Modeling and Verification of Cyber-Physical Systems
thumbnail
Full text!
Author:
Drechsler, Rolf; Kühne, Ulrich
Publisher:
Springer Fachmedien Wiesbaden 2015
Format:
e-book
10. Formal Specification Level
thumbnail
Full text!
Author:
Soeken, Mathias; Drechsler, Rolf
Publisher:
Springer International Publishing 2015
Format:
e-book