bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Software engineering

« Vorige | 201 - 210 van 636 | Volgende »

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

202. Formal Methods, Foundations and Applications

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

203. Formal Methods: Foundations and Applications

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

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

205. Formal Modeling: Actors, Open Systems, Biological Systems

Auteur:: Agha, Gul; Danvy, Olivier; Kanade, Takeo; Meseguer, José
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

206. Formal Techniques for Computer Systems and Business Processes

Auteur:: Bravetti, Mario; Kanade, Takeo; Kloul, Leïla; Zavattaro, Gianluigi
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

207. Formal Verification of Object-Oriented Software

Auteur:: Beckert, Bernhard; Kanade, Takeo; Marché, Claude
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

208. Formal Verification of Object-Oriented Software

Auteur:: Hutchison, David; Kanade, Takeo; Damiani, Ferruccio; Gurov, Dilian
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

209. Form-Oriented Analysis

Auteur:: Draheim, Dirk; Weber, Gerald
Uitgever:: Dordrecht Springer Berlin Heidelberg 2005
Type:: e-book

210. Foundational and Practical Aspects of Resource Analysis

Auteur:: Eekelen, Marko; Kanade, Takeo; Shkaravska, Olha; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book