bib.howest.be Zoekresultaten

U zocht naar: Auteur Steffen

« Vorige | 51 - 60 van 185 | Volgende »

51. Helicobacter pylori in Human Diseases

Auteur:: Kamiya; Backert, Steffen
Uitgever:: Springer International Publishing 2019
Type:: e-book

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

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

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

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

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

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

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

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

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

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

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

59. Microactuators, Microsensors and Micromechanisms

Auteur:: Zentner; Strehle, Steffen
Uitgever:: Springer International Publishing 2021
Type:: e-book

60. Software Engineering and Formal Methods

Auteur:: Camara; Steffen, Martin
Uitgever:: Springer International Publishing 2020
Type:: e-book

« Vorige
Volgende »
1
2
3
4
5
6
7
8
9
10
…
18
19