bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Technology

« Vorige | 951 - 960 van 5,147 | Volgende »

951. Formal Methods for Web Services

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

952. Formal Methods: Foundations and Applications

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

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

954. Formal Methods, Foundations and Applications

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

955. Formal Methods: Foundations and Applications

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

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

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

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

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

959. Formal Verification of Object-Oriented Software

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

960. Formal Verification of Object-Oriented Software

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