bib.howest.be Zoekresultaten

U zocht naar: Auteur Steffen

« Vorige | 71 - 80 van 185 | Volgende »

71. Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Auteur:: Hinchey, Mike.; Steffen, Bernhard
Uitgever:: Cham Springer 2024
Type:: e-book

72. DNA Methylation and Complex Human Disease

Auteur:: Neidhart, Michel; Gay Steffen
Uitgever:: Academic Press 2015
Type:: e-book

73. Learn iPhone and iPad cocos2d Game Development

Auteur:: Itterheim, Steffen; Chew, Boon
Uitgever:: Apress 2010
Type:: e-book

74. Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

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

75. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

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

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

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

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

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

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

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