bib.howest.be Zoekresultaten

U zocht naar: Auteur Steffen

« Vorige | 81 - 90 van 185 | Volgende »

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

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

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

84. Leveraging Applications of Formal Methods, Verification and Validation

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

85. Migration Research in a Digitized World

Auteur:: Pötzschke, Steffen; Rinken, Sebastian
Uitgever:: Springer International Publishing 2022
Type:: e-book

86. Mikrofertigungstechnologien und ihre Anwendungen – ein theoretischer und praktischer Leitfaden

Auteur:: Brunet, AdrienMüller, TobiasScholz, Steffen
Uitgever:: KIT Scientific Publishing 2017
Type:: e-book

87. Regionalizing Oman

Auteur:: Wippel, Philippe Luk Steffen
Uitgever:: Springer Netherlands 2013
Type:: e-book

88. YSEC Yearbook of Socio-Economic Constitutions 2020

Auteur:: Steffen Hindelang; Moberg, Andreas
Uitgever:: Springer International Publishing 2021
Type:: e-book

89. YSEC Yearbook of Socio-Economic Constitutions 2021 : Triangulating Freedom of Speech

Auteur:: Hindelang, Steffen.; Moberg, Andreas
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

90. Computational Acoustics of Noise Propagation in Fluids - Finite and Boundary Element Methods

Auteur:: Marburg, Steffen; Nolte, Bodo; Marburg, Steffen; Nolte, Bodo; Nolte, Martin
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

« Vorige
Volgende »
1
2
…
5
6
7
8
9
10
11
12
13
…
18
19