bib.howest.be Zoekresultaten

U zocht naar: Auteur Drechsler, Rolf

« Vorige | 1 - 10 van 33 | Volgende »

1. Formal System Verification

Auteur:: Drechsler, Rolf
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Reversible and Quantum Circuits

Auteur:: Abdessaied, Nabila; Drechsler, Rolf; Drechsler, Rolf
Uitgever:: Cham Springer International Publishing 2016
Type:: e-book

3. Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications

Auteur:: Goli; Drechsler, Rolf
Uitgever:: Springer International Publishing 2020
Type:: e-book

4. Design for Testability, Debug and Reliability

Auteur:: Huhn; Drechsler, Rolf
Uitgever:: Springer International Publishing 2021
Type:: e-book

5. In-Memory Computing: Synthesis and Optimization

Auteur:: Shirinzadeh; Drechsler, Rolf
Uitgever:: Springer International Publishing 2020
Type:: e-book

6. Natural Language Processing for Electronic Design Automation

Auteur:: Soeken; Drechsler, Rolf
Uitgever:: Springer International Publishing 2020
Type:: e-book

7. Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems

Auteur:: Drechsler, Rolf.; Huhn, Sebastian
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

8. Debugging at the Electronic System Level

Auteur:: Rogin, Frank; Drechsler, Rolf
Uitgever:: Springer Netherlands 2010
Type:: e-book

9. Formal Modeling and Verification of Cyber-Physical Systems

Auteur:: Drechsler, Rolf; Kühne, Ulrich
Uitgever:: Springer Fachmedien Wiesbaden 2015
Type:: e-book

10. Formal Specification Level

Auteur:: Soeken, Mathias; Drechsler, Rolf
Uitgever:: Springer International Publishing 2015
Type:: e-book