bib.howest.be Zoekresultaten

U zocht naar: Auteur Bernhard

« Vorige | 61 - 70 van 367 | Volgende »

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

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

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

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

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

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

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

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

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

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

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

68. Need-Based Distributive Justice: An Interdisciplinary Perspective

Auteur:: Traub; Kittel, Bernhard
Uitgever:: Springer International Publishing 2020
Type:: e-book

69. On the Hypotheses Which Lie at the Bases of Geometry

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

70. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Auteur:: Calinescu; Rumpe, Bernhard
Uitgever:: Springer International Publishing 2015
Type:: e-book

« Vorige
Volgende »
1
2
3
4
5
6
7
8
9
10
11
…
36
37