Zoeken

U zocht naar: Onderwerp Science Filter Onderwerp: Science weghalen
| 661 - 670 van 3,635 |
Aantal zoekresultaten per pagina

Zoekresultaten

661. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Auteur:
IFIP Working Group 6.1.; Kanade, Takeo; Steffen, Martin; Zavattaro, Gianluigi; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book
662. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
Auteur:
Gorrieri, Roberto; Kanade, Takeo; Wehrheim, Heike; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2006
Type:
e-book
663. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
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
664. Formal Methods for Open Object-Based Distributed Systems
thumbnail
Full text!
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
665. Formal Techniques for Distributed Systems
thumbnail
Full text!
Auteur:
Lee, David; Kanade, Takeo; Lopes, Antónia; Poetzsch-Heffter, Arnd
Uitgever:
Springer Berlin Heidelberg 2009
Type:
e-book
666. Formal Techniques for Distributed Systems
thumbnail
Full text!
Auteur:
Hatcliff, John; Kanade, Takeo; Zucca, Elena; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
667. Formal Techniques for Distributed Systems
thumbnail
Full text!
Auteur:
Bruni, Roberto; Dingel, Juergen; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
668. Formal Techniques for Distributed Systems
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Rosu, Grigore
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
669. Formal Techniques for Networked and Distributed Systems - FORTE 2005
thumbnail
Full text!
Auteur:
Kanade, Takeo; Wang, Farn; Kittler, Josef
Uitgever:
Springer Berlin / Heidelberg 2005
Type:
e-book
670. Formal Techniques for Networked and Distributed Systems - FORTE 2006
thumbnail
Full text!
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