Zoeken

U zocht naar: Onderwerp Computer Filter Onderwerp: Computer weghalen
| 591 - 600 van 2,121 |
Aantal zoekresultaten per pagina

Zoekresultaten

591. Formal Aspects of Security and Trust
thumbnail
Full text!
Auteur:
Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua; Kanade, Takeo
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
592. Formal Aspects of Security and Trust
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Datta, Anupam; Etalle, Sandro
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
593. Formal Methods and Software Engineering
thumbnail
Full text!
Auteur:
Butler, Michael; Hinchey, Michael G.; Hinchey, Michael Gerard; Kanade, Takeo; Larrondo-Petrie, María M.; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
594. 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
595. 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
596. 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
597. 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
598. 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
599. 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
600. 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