bib.howest.be Zoekresultaten

U zocht naar: Auteur Palamidessi, Catuscia

1 - 7 van 7

1. Formal Techniques for Distributed Objects, Components, and Systems

Auteur:: Erika ÃbrahÃ¡m, Catuscia Palamidessi; Palamidessi, Catuscia; Ábrahám, Erika
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book

2. Theory of Security and Applications

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Palamidessi, Catuscia
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

3. Trustworthy Global Computing

Auteur:: Palamidessi, Catuscia; Ryan, Mark D.; Ryan, Mark D.
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

4. Horizons of the Mind. A Tribute to Prakash Panangaden

Auteur:: Franck Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten; Kashefi, Elham; Palamidessi, Catuscia; Rutten, Jan
Uitgever:: Springer International Publishing 2014
Type:: e-book

5. The Science of Quantitative Information Flow

Auteur:: Alvim; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
Uitgever:: Springer International Publishing 2020
Type:: e-book

6. Automata, Languages and Programming

Auteur:: Caires, Luís; Kanade, Takeo; Italiano, Guiseppe F.; Monteiro, Luis; Palamidessi, Catuscia; Yung, Moti
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

7. SOFSEM 2009: Theory and Practice of Computer Science

Auteur:: Hutchison, David; Kanade, Takeo; Bro Miltersen, Peter; Kucera, Antonin; Palamidessi, Catuscia; Tuma, Petr; Valencia, Frank
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book