Search

You searched for: Auteur IFIP Working Group 6.1. Remove constraint Auteur: IFIP Working Group 6.1.
1 - 6 of 6
Number of results to display per page

Search Results

1. Distributed Applications and Interoperable Systems
thumbnail
Full text!
Author:
Indulska, Jadwiga; IFIP Working Group 6.1.; Kanade, Takeo; Raymond, Kerry; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
2. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Author:
IFIP Working Group 6.1.; Kanade, Takeo; Steffen, Martin; Zavattaro, Gianluigi; Kittler, Josef
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
3. Formal Techniques for Networked and Distributed Systems – FORTE 2007
thumbnail
Full text!
Author:
Derrick, John; IFIP Working Group 6.1.; Kanade, Takeo; Vain, Jüri; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
4. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Author:
Bonsangue, Marcello M.; IFIP Working Group 6.1.; Hutchison, David; Johnsen, Einar Broch; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
5. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Author:
Barthe, Gilles; IFIP Working Group 6.1.; Boer, Frank S.; Boer, Frank S. de; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
6. Formal Techniques for Networked and Distributed Systems - FORTE 2006
thumbnail
Full text!
Author:
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
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book