bib.howest.be Zoekresultaten

U zocht naar: Auteur Bernhard

« Vorige | 101 - 110 van 367 | Volgende »

101. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

102. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

103. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

104. Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2022
Type:: e-book

105. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

106. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2022
Type:: e-book

107. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Auteur:: Margaria, Tiziana.; Steffen, Bernhard
Uitgever:: Cham Springer 2022
Type:: e-book

108. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

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

109. Leveraging Applications of Formal Methods, Verification and Validation

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

110. Organische Chemie. Ein Lehrbuch für Naturwissenschaftler, Mediziner und Techniker

Auteur:: Nerdel, Friedrich; Schrader, Bernhard
Uitgever:: De Gruyter 2019
Type:: e-book

« Vorige
Volgende »
1
2
…
7
8
9
10
11
12
13
14
15
…
36
37