bib.howest.be Zoekresultaten

U zocht naar: Auteur Reiner

« Vorige | 41 - 50 van 75 | Volgende »

41. Systems, Software and Services Process Improvement : 28th European Conference, EuroSPI 2021, Krems, Austria, September 1-3, 2021, Proceedings

Auteur:: Yilmaz, Murat; Clarke, Paul; Messnarz, Richard; Reiner, Michael
Uitgever:: Springer International Publishing 2021
Type:: e-book

42. Best Practices in Software Measurement

Auteur:: Bundschuh, Manfred; Dumke, Reiner; Ebert, Christof; Schmietendorf, Andreas; Dumke, Rainer; Ebert, Christof; Dumke, Reiner; Schmietendorf, Andreas; Bundschuh, Manfred
Uitgever:: Dordrecht Springer Berlin Heidelberg 2005
Type:: e-book

43. Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Auteur:: Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Uitgever:: Springer International Publishing 2020
Type:: e-book

44. Formal Methods for Executable Software Models

Auteur:: Marco Bernardo, Ferruccio Damiani, Reiner HÃ¤hnle, Einar Broch Johnsen, Ina Schaefer; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina
Uitgever:: Springer International Publishing 2014
Type:: e-book

45. Important Figures of Analytical Chemistry from Germany in Brief Biographies

Auteur:: Burns, D. Thorburn; Müller, R. Klaus; Salzer, Reiner; Werner, Gerhard
Uitgever:: Springer International Publishing 2014
Type:: e-book

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

47. Nationale Identität und transnationale Einflüsse. Amerikanisierung, Europäisierung und Globalisierung in Frankreich nach dem Zweiten Weltkrieg

Auteur:: Marcowitz, Reiner; Deutsches Historisches Institut Paris; Deutsches Historisches Institut Paris
Uitgever:: De Gruyter Oldenbourg 2007
Type:: e-book

48. Ambient Intelligence

Auteur:: Augusto, Juan Carlos; Wichert, Reiner; Collier, Rem; Tan, Ah-Hwee; Collier, Rem; Keyson, David; Salah, Albert A.; Tan, Ah-Hwee; Wichert, Reiner
Uitgever:: Springer International Publishing 2013
Type:: e-book

49. Tropical Forest Genetics

Auteur:: Finkeldey, Reiner; Hattemer Hans H.; Hattemer, H. H.; Hattemer, Hans Heinrich
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

50. Ultra-Wideband Radio Technologies for Communications, Localization and Sensor Applications

Auteur:: Reiner Thomä; Reinhard H. Knöchel; Jürgen Sachs; Ingolf Willms; Thomas Zwick
Uitgever:: IntechOpen 2013
Type:: e-book