bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information networks

« Vorige | 481 - 490 van 1,975 | Volgende »

481. Formal Aspects in Security and Trust

Auteur:: Dimitrakos, Theo; Kanade, Takeo; Martinelli, Fabio; Ryan, Peter Y. A.; Schneider, Steve
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

482. Formal Aspects in Security and Trust

Auteur:: Degano, Pierpaolo; Guttman, Joshua; Kanade, Takeo; Martinelli, Fabio; Guttman, Joshua D.
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

483. Formal Aspects in Security and Trust

Auteur:: Degano, Pierpaolo; Guttman, Joshua D.; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

484. Formal Aspects in Security and Trust

Auteur:: Dimitrakos, Theo; Kanade, Takeo; Martinelli, Fabio; Ryan, Peter Y. A.; Schneider, Steve; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

485. Formal Aspects of Security and Trust

Auteur:: Degano, Pierpaolo; Etalle, Sandro; Guttman, Joshua; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

486. Formal Aspects of Security and Trust

Auteur:: Hutchison, David; Kanade, Takeo; Datta, Anupam; Etalle, Sandro
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

487. Formal Methods and Software Engineering

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

488. 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

489. Formal Methods for Open Object-Based Distributed Systems

Auteur:: Gorrieri, Roberto; Kanade, Takeo; Wehrheim, Heike; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

490. 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