bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Computer science

« Vorige | 451 - 460 van 1,923 | Volgende »

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

452. Formal Aspects of Security and Trust

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

453. Formal Aspects of Security and Trust

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

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

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

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

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

458. Formal Methods for Open Object-Based Distributed Systems

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

459. Formal Techniques for Distributed Systems

Auteur:: Lee, David; Kanade, Takeo; Lopes, Antónia; Poetzsch-Heffter, Arnd
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

460. Formal Techniques for Distributed Systems

Auteur:: Hatcliff, John; Kanade, Takeo; Zucca, Elena; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book