Search

You searched for: Auteur Palamidessi, Catuscia Remove constraint Auteur: Palamidessi, Catuscia
1 - 7 of 7
Number of results to display per page

Search Results

1. Formal Techniques for Distributed Objects, Components, and Systems
thumbnail
Full text!
Author:
Erika Ábrahám, Catuscia Palamidessi; Palamidessi, Catuscia; Ábrahám, Erika
Publisher:
Springer Berlin Heidelberg 2014
Format:
e-book
2. Theory of Security and Applications
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Palamidessi, Catuscia
Publisher:
Springer Berlin Heidelberg 2012
Format:
e-book
3. Trustworthy Global Computing
thumbnail
Full text!
Author:
Palamidessi, Catuscia; Ryan, Mark D.; Ryan, Mark D.
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
4. Horizons of the Mind. A Tribute to Prakash Panangaden
thumbnail
Full text!
Author:
Franck Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten; Kashefi, Elham; Palamidessi, Catuscia; Rutten, Jan
Publisher:
Springer International Publishing 2014
Format:
e-book
5. The Science of Quantitative Information Flow
thumbnail
Full text!
Author:
Alvim; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey
Publisher:
Springer International Publishing 2020
Format:
e-book
6. Automata, Languages and Programming
thumbnail
Full text!
Author:
Caires, Luís; Kanade, Takeo; Italiano, Guiseppe F.; Monteiro, Luis; Palamidessi, Catuscia; Yung, Moti
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
7. SOFSEM 2009: Theory and Practice of Computer Science
thumbnail
Full text!
Author:
Hutchison, David; Kanade, Takeo; Bro Miltersen, Peter; Kucera, Antonin; Palamidessi, Catuscia; Tuma, Petr; Valencia, Frank
Publisher:
Springer Berlin Heidelberg 2009
Format:
e-book