bib.howest.be Zoekresultaten

U zocht naar: Auteur Huisman Type e-book

« Vorige | 1 - 10 van 24 | Volgende »

1. Cognitive Supervision for Robot-Assisted Minimally Invasive Laser Surgery

Auteur:: Huisman
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi

Auteur:: Beyer; Marieke Huisman; Huisman, Marieke
Uitgever:: Springer International Publishing 2018
Type:: e-book

3. Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi

Auteur:: Beyer; Marieke Huisman; Huisman, Marieke
Uitgever:: Springer International Publishing 2018
Type:: e-book

4. Integrated Formal Methods

Auteur:: Erika Ábrahám, Marieke Huisman; Huisman, Marieke
Uitgever:: Springer International Publishing 2016
Type:: e-book

5. Data Mining and Diagnosing IC Fails

Auteur:: Huisman, Leendert M.
Uitgever:: Springer US 2005
Type:: e-book

6. Fundamental Approaches to Software Engineering

Auteur:: Huisman; Rubin, Julia
Uitgever:: Springer Berlin Heidelberg 2017
Type:: e-book

7. Concise Guide to Software Verification: From Model Checking to Annotation Checking

Auteur:: Marieke Huisman; Wijs, Anton
Uitgever:: Springer Nature (Textbooks & Major Reference Works) 2023
Type:: e-book

8. Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal,

Auteur:: Huisman, Marieke.; Ravara, António
Uitgever:: Cham Springer 2023
Type:: e-book

9. Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

Auteur:: Huisman, Marieke.; Howar, Falk
Uitgever:: Cham Springer 2024
Type:: e-book

10. Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Auteur:: Groote, Jan Friso.; Huisman, Marieke
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book