Zoeken

U zocht naar: Onderwerp Technology Filter Onderwerp: Technology weghalen
| 3,321 - 3,330 van 5,147 |
Aantal zoekresultaten per pagina

Zoekresultaten

3321. Formal Aspects in Security and Trust
thumbnail
Full text!
Auteur:
Degano, Pierpaolo; Guttman, Joshua D.; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
3322. Formal Aspects in Security and Trust
thumbnail
Full text!
Auteur:
Dimitrakos, Theo; Kanade, Takeo; Martinelli, Fabio; Ryan, Peter Y. A.; Schneider, Steve; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book
3323. 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
3324. 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
3325. 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
3326. 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
3327. 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
3328. 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
3329. 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
3330. 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