bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software

« Vorige | 221 - 230 van 666 | Volgende »

221. Formal Methods for Mobile Computing

Auteur:: Bernardo, Marco; Bogliolo, Alessandro; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

222. Formal Methods for Model-Driven Engineering

Auteur:: Hutchison, David; Kanade, Takeo; Cortellessa, Vittorio; Pierantonio, Alfonso
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

223. Formal Methods for Performance Evaluation

Auteur:: Bernardo, Marco; Hillston, Jane; Hutchison, David; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

224. Formal Methods for Quantitative Aspects of Programming Languages

Auteur:: Aldini, Alessandro; Bernardo, Marco; Kanade, Takeo; Pierro, Alessandra; Wiklicky, Herbert; Di Pierro, Alessandra
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

225. Formal Methods for Web Services

Auteur:: Bernardo, Marco; Kanade, Takeo; Padovani, Luca; Zavattaro, Gianluigi
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

226. Formal Methods: Foundations and Applications

Auteur:: Oliveira, Marcel Vinícius Medeiros; Kanade, Takeo; Woodcock, Jim
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

227. Formal Methods: Foundations and Applications

Auteur:: Davies, Jim; Kanade, Takeo; Silva, Leila; Simao, Adenilso; Simão, Adenilso
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

228. Formal Methods, Foundations and Applications

Auteur:: Simao; Morgan, Carroll
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

229. Formal Methods: Foundations and Applications

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Naumann, David
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

230. Formal Methods: State of the Art and New Directions

Auteur:: Paul Boca; Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed
Uitgever:: Springer London 2010
Type:: e-book