bib.howest.be Zoekresultaten

U zocht naar: Auteur Steffen

« Vorige | 131 - 140 van 185 | Volgende »

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

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

133. Logics in Artificial Intelligence

Auteur:: Hölldobler, Steffen; Lutz, Carsten; Siekmann, Jörg; Wansing, Heinrich
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

134. Managing Knowledge in a World of Networks

Auteur:: Staab, Steffen; Kanade, Takeo; Kittler, Josef; Svatek, Vojtech
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

135. Operations Research Proceedings 2022 : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Karlsruhe, Germany, September 6-9 2022

Auteur:: Grothe, Oliver.; Nickel, Stefan; Rebennack, Steffen; Stein, Oliver
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

136. Socio-Environmental Dynamics along the Historical Silk Road

Auteur:: Yang; Bork, Hans-Rudolf; Fang, Xiuqi; Mischke, Steffen
Uitgever:: Springer International Publishing 2019
Type:: e-book

137. Sustainable Design and Manufacturing : Proceedings of the 9th International Conference on Sustainable Design and Manufacturing (SDM 2022)

Auteur:: Scholz, Steffen G.; Howlett, Robert J.; Setchi, Rossi
Uitgever:: Singapore Springer 2023
Type:: e-book

138. Digital Twin of Humans : An Interdisciplinary Concept of Digital Working Environments in Industry 4. 0

Auteur:: Gräßler, Iris.; Maier, Günter W.; Roesmann, Daniel; Steffen, Eckhard
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book

139. Experimental Algorithms

Auteur:: Pardalos, Panos M.; Kanade, Takeo; Rebennack, Steffen; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

140. Fundamentals of Computation Theory

Auteur:: Owe, Olaf; Kanade, Takeo; Steffen, Martin; Telle, Jan Arne
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book