Hoppa till sidans huvudinnehåll

Catuscia Palamidessi - Böcker

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

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, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

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

Inbunden, Engelska, 2020

839 kr

Skickas inom 10-15 vardagar

Logic Programming

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

Av Catuscia Palamidessi

Häftad, Engelska, 2003

1 729 kr

Skickas inom 10-15 vardagar

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, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar

CONCUR 2000 - Concurrency Theory

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

Av Catuscia Palamidessi

Häftad, Engelska, 2000

1 439 kr

Skickas inom 10-15 vardagar

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, Engelska, 2009

1 439 kr

Skickas inom 10-15 vardagar

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, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar

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, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar