bib.howest.be Zoekresultaten

U zocht naar: Auteur IFIP Working Group 6.1.

1 - 6 van 6

1. Distributed Applications and Interoperable Systems

Auteur:: Indulska, Jadwiga; IFIP Working Group 6.1.; Kanade, Takeo; Raymond, Kerry; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

2. Formal Methods for Open Object-Based Distributed Systems

Auteur:: IFIP Working Group 6.1.; Kanade, Takeo; Steffen, Martin; Zavattaro, Gianluigi; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

3. Formal Techniques for Networked and Distributed Systems – FORTE 2007

Auteur:: Derrick, John; IFIP Working Group 6.1.; Kanade, Takeo; Vain, Jüri; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

4. Formal Methods for Open Object-Based Distributed Systems

Auteur:: Bonsangue, Marcello M.; IFIP Working Group 6.1.; Hutchison, David; Johnsen, Einar Broch; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

5. Formal Methods for Open Object-Based Distributed Systems

Auteur:: Barthe, Gilles; IFIP Working Group 6.1.; Boer, Frank S.; Boer, Frank S. de; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

6. Formal Techniques for Networked and Distributed Systems - FORTE 2006

Auteur:: Najm, Elie; IFIP Working Group 6.1.; Donzeau-Gouge, Vaeronique; Donzeau-Gouge, Véronique Viguié; Kanade, Takeo; Pradat-Peyre, Jean-Franecois; Pradat-Peyre, Jean-François
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book