10 Ebooks by Catuscia Palamidessi
Franck van Breugel & Elham Kashefi: Horizons of the Mind. A Tribute to Prakash Panangaden
This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden …
PDF
English
DRM
€56.09
Luis Caires & Guiseppe F. Italiano: Automata, Languages and Programming
The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedings contain all contributed papers …
PDF
English
DRM
€111.56
Catuscia Palamidessi: CONCUR 2000 – Concurrency Theory
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the …
PDF
English
DRM
€111.67
Veronica Dahl & Ulrich Furbach: Computational Logic – CL 2000
These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference …
PDF
English
DRM
€56.14
Antonin Kucera & Peter Bro Miltersen: SOFSEM 2009: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlyn, Czech Republic, in January …
PDF
English
DRM
€112.13
Sebastian Moedersheim & Catuscia Palamidessi: Theory of Security and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrucken, …
PDF
English
DRM
€56.18
Catuscia Palamidessi & Mark D. Ryan: Trustworthy Global Computing
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September …
PDF
English
DRM
€49.76
Erika Abraham & Catuscia Palamidessi: Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in …
PDF
English
DRM
€55.96
Mario S. Alvim & Konstantinos Chatzikokolakis: Science of Quantitative Information Flow
This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that …
PDF
English
DRM
€68.57
