bib.howest.be Zoekresultaten

U zocht naar: Auteur Margaria, Tiziana

« Vorige | 11 - 20 van 25 | Volgende »

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

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

13. Leveraging Applications of Formal Methods, Verification and Validation

Auteur:: Tiziana Margaria, Bernhard Steffen.; Margaria, Tiziana; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

14. Leveraging Applications of Formal Methods

Auteur:: Margaria, Tiziana; Kanade, Takeo; Margaria-Steffen, Tiziana; Steffen, Bernhard; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

15. Leveraging Applications of Formal Methods, Verification, and Validation

Auteur:: Margaria, Tiziana; Kanade, Takeo; Steffen, Bernhard; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

16. Leveraging Applications of Formal Methods, Verification, and Validation

Auteur:: Margaria, Tiziana; Kanade, Takeo; Steffen, Bernhard; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

17. Software Business. From Physical Products to Software Services and Solutions

Auteur:: Herzwurm, Georg; Tiziana, Margaria; Tiziana, Margaria
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

18. Leveraging Applications of Formal Methods, Verification, and Validation

Auteur:: Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

19. Service-Oriented Computing – ICSOC 2008

Auteur:: Bouguettaya, Athman; Kanade, Takeo; Krueger, Ingolf; Krüger, Ingolf H.; Margaria, Tiziana; Margaria-Steffen, Tiziana; Kittler, Josef; Krüger, Ingolf
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

20. Semantic Web Services Challenge

Auteur:: Jain, Ramesh; Petrie, Charles; Sheth, Amit; Lausen, Holger; Margaria, Tiziana; Zaremba, Michal
Uitgever:: Springer US 2009
Type:: e-book