bib.howest.be Zoekresultaten

U zocht naar: Auteur Drechsler

« Vorige | 11 - 20 van 48 | Volgende »

11. Formal Modeling and Verification of Cyber-Physical Systems

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

12. Formal Specification Level

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

13. High Quality Test Pattern Generation and Boolean Satisfiability

Auteur:: Eggersglüß, Stephan; Drechsler, Rolf
Uitgever:: Dordrecht Springer US 2012
Type:: e-book

14. Information Storage: A Multidisciplinary Perspective

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

15. Quality-Driven SystemC Design

Auteur:: Grosse, Daniel; Drechsler, Rolf
Uitgever:: Springer Netherlands 2010
Type:: e-book

16. Recent Findings in Boolean Techniques

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

17. Towards a Design Flow for Reversible Logic

Auteur:: Wille, Robert; Drechsler, Rolf
Uitgever:: Springer Netherlands 2010
Type:: e-book

18. Automatic Methods for the Refinement of System Models

Auteur:: Seiter, Julia; Wille, Robert; Drechsler, Rolf; Drechsler, Rolf; Wille, Robert
Uitgever:: Springer International Publishing 2017
Type:: e-book

19. Advanced Logic Synthesis

Auteur:: Reis, André Inácio; Drechsler, Rolf
Uitgever:: Springer International Publishing 2018
Type:: e-book

20. Design Automation Techniques for Approximation Circuits

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