bib.howest.be Zoekresultaten

U zocht naar: Auteur Bernhard Steffen

« Vorige | 31 - 38 van 38 | 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. 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

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

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

34. Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

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

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

37. Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia

Auteur:: Dittrich; Gerdes, Axel; Hagemann, Steffen; Pfänder, Jörg; Schulz, Bernhard; Seifert, Thomas
Uitgever:: Springer International Publishing 2019
Type:: e-book

38. Essential Neuropsychology

Auteur:: DeRight, Jonathan.; Gerdes, Axel; Hagemann, Steffen; Pfänder, Jörg; Schulz, Bernhard; Seifert, Thomas
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book