bib.howest.be Zoekresultaten

U zocht naar: Auteur Steffen

« Vorige | 121 - 130 van 185 | Volgende »

121. Model Checking, Synthesis, and Learning

Auteur:: Ernst-Rüdiger Olderog; Steffen, Bernhard; Yi, Wang
Uitgever:: Springer International Publishing 2021
Type:: e-book

122. Non-commutative Gelfand Theories

Auteur:: Roch, Steffen; Santos, Pedro A.; Silbermann, Bernd
Uitgever:: Springer London 2011
Type:: e-book

123. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Beyer; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Uitgever:: Springer International Publishing 2019
Type:: e-book

124. Capitalism and Its Legitimacy in Times of Crisis

Auteur:: Schneider, Steffen; Gronau, Jennifer; Haunss, Sebastian; Schmidtke, Henning
Uitgever:: Springer International Publishing 2017
Type:: e-book

125. Composing Model-Based Analysis Tools

Auteur:: Robert Heinrich; Durán, Francisco; Talcott, Carolyn; Zschaler, Steffen
Uitgever:: Springer International Publishing 2021
Type:: e-book

126. Concurrency, Compositionality, and Correctness

Auteur:: Dams, Dennis; Hannemann, Ulrich; Kanade, Takeo; Steffen, Martin
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

127. Fractal Geometry and Stochastics VI

Auteur:: Uta Freiberg; Hambly, Ben; Hinz, Michael; Winter, Steffen
Uitgever:: Springer International Publishing 2021
Type:: e-book

128. Handbook on Corporate Foundation: Corporate and Civil Society Perspectives

Auteur:: Roza; Bethmann, Steffen; Meijs, Lucas; von Schnurbein, Georg
Uitgever:: Springer International Publishing 2020
Type:: e-book

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

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