bib.howest.be Zoekresultaten

U zocht naar: Auteur Rolf Drechsler Taal Engels

« Vorige | 1 - 10 van 33 | Volgende »

1. Recent Findings in Boolean Techniques

Auteur:: Rolf Drechsler; Große, Daniel
Uitgever:: Springer International Publishing 2021
Type:: e-book

2. Formal System Verification

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

3. Reversible and Quantum Circuits

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

4. Test Pattern Generation using Boolean Proof Engines

Auteur:: Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille.; Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Tille, Daniel
Uitgever:: Springer Netherlands 2009
Type:: e-book

5. 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

6. Design for Testability, Debug and Reliability

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

7. In-Memory Computing: Synthesis and Optimization

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

8. Natural Language Processing for Electronic Design Automation

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

9. 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

10. Debugging at the Electronic System Level

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