bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information Technology Software Engineering

« Vorige | 181 - 190 van 634 | Volgende »

181. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

182. 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
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

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

184. Formal Methods for Components and Objects

Auteur:: Hutchison, David; Kanade, Takeo; Bonsangue, Marcello M.; Damiani, Ferruccio; de Boer, Frank S.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

185. Formal Methods for Computational Systems Biology

Auteur:: Bernardo, Marco; Degano, Pierpaolo; Kanade, Takeo; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

186. Formal Methods for Dynamical Systems

Auteur:: Bernardo, Marco; Vink, Erik de; Pierro, Alessandra Di; Wiklicky, Herbert; de Vink, Erik; Di Pierro, Alessandra; Wiklicky, Herbert
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

187. Formal Methods for Eternal Networked Software Systems

Auteur:: Bernardo, Marco; Issarny, Valérie; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

188. Formal Methods for Hardware Verification

Auteur:: Bernardo, Marco; Cimatti, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

189. Formal Methods for Industrial Critical Systems

Auteur:: Cofer, Darren; Fantechi, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

190. Formal Methods for Industrial Critical Systems

Auteur:: Alpuente, María; Cook, Byron; Joubert, Christophe; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book