bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software engineering

« Vorige | 171 - 180 van 636 | Volgende »

171. Formal Methods and Software Engineering

Auteur:: Qin, Shengchao; Kanade, Takeo; Qiu, Zongyan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

172. Formal Methods and Software Engineering

Auteur:: Liu, Shaoying; Araki, Keijiro; Kanade, Takeo; Maibaum, Tom; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

173. Formal Methods and Stochastic Models for Performance Evaluation

Auteur:: Horváth, András; Kanade, Takeo; Telek, Miklós
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

174. Formal Methods and Stochastic Models for Performance Evaluation

Auteur:: Wolter, Katinka; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

175. Formal Methods and Testing

Auteur:: Hierons, Robert M.; Bowen, Jonathan P.; Bowen, Jonathan Peter; Harman, Mark; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

176. Formal Methods: Applications and Technology

Auteur:: Brim, LuboÅ¡; Haverkort, Boudewijn; Haverkort, Boudewijn R.; Leucker, Martin; Pol, Jaco; Pol, J. van den; Pol, Jaco van de
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

177. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Boer, Frank S. de; Kanade, Takeo; de Boer, Frank S.; de Roever, Willem-Paul; Graf, Susanne; Bonsangue, Marcello M.
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

178. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

179. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef; Roever, Willem-Paul de
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

180. Formal Methods for Components and Objects

Auteur:: Boer, Frank S.; Bonsangue, Marcello M.; Kanade, Takeo; Madelaine, Eric; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book