bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software

« Vorige | 211 - 220 van 666 | Volgende »

211. Formal Methods for Computational Systems Biology

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

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

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

214. Formal Methods for Hardware Verification

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

215. Formal Methods for Industrial Critical Systems

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

216. Formal Methods for Industrial Critical Systems

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

217. Formal Methods for Industrial Critical Systems

Auteur:: Salaün, Gwen; Kanade, Takeo; Schätz, Bernhard
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

218. Formal Methods for Industrial Critical Systems

Auteur:: Kowalewski, Stefan; Kanade, Takeo; Roveri, Marco; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

219. Formal Methods for Industrial Critical Systems

Auteur:: Hutchison, David; Kanade, Takeo; Pinger, Ralf; Stoelinga, Mariëlle
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

220. Formal Methods for Industrial Critical Systems

Auteur:: Leue, Stefan; Merino, Pedro
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book