Catuscia Palamidessi – författare

Visar alla böcker från författaren Catuscia Palamidessi.

9 produkter

1. 

   Horizons of the Mind. A Tribute to Prakash Panangaden

   Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

   Av Franck van Breugel, Elham Kashefi m. fl.

   Häftad, 2014

   719 kr

   Lägg i varukorg

2. 

   Science of Quantitative Information Flow

   Av Mário S. Alvim, Konstantinos Chatzikokolakis m. fl.

   Inbunden, 2020

   859 kr

   Lägg i varukorg

3. 

   Logic Programming

   19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

   Av Catuscia Palamidessi

   Häftad, 2003

   1759 kr

   Lägg i varukorg

4. 

   Principles of Declarative Programming

   10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings

   Av Catuscia Palamidessi, Hugh Glaser m. fl.

   Häftad, 1998

   739 kr

   Lägg i varukorg

5. 

   CONCUR 2000 - Concurrency Theory

   11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

   Av Catuscia Palamidessi

   Häftad, 2000

   1469 kr

   Lägg i varukorg

6. 

   SOFSEM 2009: Theory and Practice of Computer Science

   35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

   Av Mogens Nielsen, Antonin Kucera m. fl.

   Häftad, 2009

   1469 kr

   Lägg i varukorg

7. 

   Theory of Security and Applications

   Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers

   Av Sebastian Moedersheim, Catuscia Palamidessi

   Häftad, 2012

   739 kr

   Lägg i varukorg

8. 

   Trustworthy Global Computing

   7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

   Av Catuscia Palamidessi, Mark D. Ryan

   Häftad, 2013

   679 kr

   Lägg i varukorg

9. 

   Formal Techniques for Distributed Objects, Components, and Systems

   34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

   Av Erika Ábrahám, Catuscia Palamidessi

   Häftad, 2014

   739 kr

   Lägg i varukorg