bib.howest.be Zoekresultaten

U zocht naar: Auteur Margaria

« Vorige | 31 - 37 van 37 | Volgende »

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

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

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

34. SOFSEM 2015: Theory and Practice of Computer Science

Auteur:: Italiano; Margaria-Steffen, Tiziana; Pokorný, Jaroslav; Quisquater, Jean-Jacques; Wattenhofer, Roger
Uitgever:: Springer Berlin Heidelberg 2015
Type:: e-book

35. Semantic Web Services Challenge

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

36. Software Process Improvement

Auteur:: Abrahamsson, Pekka; Baddoo, Nathan; Kanade, Takeo; Margaria, Tiziana; Messnarz, Richard; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

37. SOFSEM 2017: Theory and Practice of Computer Science

Auteur:: Steffen; Baier, Christel; Eder, Johann; Hinchey, Mike; Margaria, Tiziana; van den Brand, Mark
Uitgever:: Springer International Publishing 2017
Type:: e-book