Catuscia Palamidessi

Catuscia Palamidessi

4 ספרים במאגר

ספרים

Trustworthy Global ComputingCatuscia Palamidessi

Trustworthy Global Computing

Catuscia Palamidessi · 2013

Logic ProgrammingCatuscia Palamidessi

Logic Programming

Catuscia Palamidessi · 2004

CONCUR 2000 - Concurrency TheoryCatuscia Palamidessi

CONCUR 2000 - Concurrency Theory

Catuscia Palamidessi · 2000

Theory Of Security And Applications Joint Workshop Tosca 2011 Saarbrcken Germany March 31 April 1 2011 Revised Selected PapersCatuscia Palamidessi

Theory Of Security And Applications Joint Workshop Tosca 2011 Saarbrcken Germany March 31 April 1 2011 Revised Selected Papers

Catuscia Palamidessi · 2012

ספרים משותפים ואוספים

ספרים שבהם Catuscia Palamidessi מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Techniques for Distributed Objects, Components, and SystemsErika Ábrahám

Formal Techniques for Distributed Objects, Components, and Systems

Erika Ábrahám · 2014

Horizons of the Mind. A Tribute to Prakash PanangadenFranck van Breugel

Horizons of the Mind. A Tribute to Prakash Panangaden

Franck van Breugel · 2014

Automata, Languages and Programming (vol. # 3580)Luís Caires

Automata, Languages and Programming (vol. # 3580)

Luís Caires · 2005

Methods for Location PrivacyKostantinos Chatzikokolakis

Methods for Location Privacy

Kostantinos Chatzikokolakis · 2018

Theory of Security and ApplicationsSebastian Moedersheim

Theory of Security and Applications

Sebastian Moedersheim · 2012

Automata, Languages and ProgrammingLuis Caires

Automata, Languages and Programming

Luis Caires · 2005