bib.howest.be Zoekresultaten

U zocht naar: Auteur Steffen, Bernhard.

« Vorige | 1 - 10 van 38 | Volgende »

1. Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Auteur:: Steffen, Bernhard.
Uitgever:: Cham Springer 2025
Type:: e-book

2. Transactions on Foundations for Mastering Change I

Auteur:: Steffen, Bernhard.
Uitgever:: Springer International Publishing 2016
Type:: e-book

3. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2016
Type:: e-book

4. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2016
Type:: e-book

5. Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2020
Type:: e-book

6. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2020
Type:: e-book

7. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer International Publishing 2020
Type:: e-book

8. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

9. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Auteur:: Margaria; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

10. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Auteur:: Margaria; Bernhard Steffen; Steffen, Bernhard
Uitgever:: Springer International Publishing 2018
Type:: e-book