bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information Technology Computer Science (Hardware & Networks)

« Vorige | 441 - 450 van 1,891 | Volgende »

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

442. Formal Aspects of Security and Trust

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

443. Formal Aspects of Security and Trust

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

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

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

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

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

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

449. Formal Techniques for Distributed Systems

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

450. Formal Techniques for Distributed Systems

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