bib.howest.be Zoekresultaten

U zocht naar: Auteur Drechsler, Rolf.

« Vorige | 21 - 30 van 33 | Volgende »

21. Formal Verification of Structurally Complex Multipliers

Auteur:: Mahzoon, Alireza.; Drechsler, Rolf; Große, Daniel
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

22. Languages, Design Methods, and Tools for Electronic System Design

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

23. Robustness and Usability in Modern Design Flows

Auteur:: Fey, Görschwin; Drechsler, Rolf; Fey, Görschwin
Uitgever:: Springer Netherlands 2008
Type:: e-book

24. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Auteur:: Przigoda, Nils; Drechsler, Rolf; Przigoda, Judith; Wille, Robert
Uitgever:: Springer International Publishing 2018
Type:: e-book

25. Design Automation for Field-Coupled Nanotechnologies

Auteur:: Walter, Marcel.; Drechsler, Rolf; Sill Torres, Frank; Wille, Robert
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

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

27. Recent Findings in Boolean Techniques

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

28. Advanced BDD Optimization

Auteur:: Ebendt, Rüdiger; Drechsler, Rolf; Ebendt, Rudiger; Fey, G?ªrschwin; Fey, Görschwin; Fey, Görschwin; Ebendt, RÃ¼diger; Fey, GÃ¶rschwin
Uitgever:: Dordrecht Springer US 2005
Type:: e-book

29. Applications of Evolutionary Computing

Auteur:: Kanade, Takeo; Rothlauf, Franz; Cagnoni, Stefano; Corne, David W.; Drechsler, Rolf; Jin, Yaochu; Machado, Penousal; Marchiori, Elena; Romero, Juan; Smith, George D.; Squillero, Giovanni; Branke, Jürgen
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

30. Applications of Evolutionary Computation

Auteur:: Hutchison, David; Kanade, Takeo; Agapitos, Alexandros; Cagnoni, Stefano; Cotta, Carlos; Di Caro, Gianni A.; Drechsler, Rolf; Ekárt, Anikó; Esparcia-Alcázar, Anna I.; Farooq, Muddassar; Fernández de Vega, Francisco
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book