Hoppa till sidans huvudinnehåll

Catuscia Palamidessi - Böcker

Visar alla böcker från författaren Catuscia Palamidessi.
9 produkter
Del 8464 - Lecture Notes in Computer Science

Horizons of the Mind. A Tribute to Prakash Panangaden

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

AvFranck van Breugel,Elham Kashefim. fl.

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar

Science of Quantitative Information Flow

AvMário S. Alvim,Konstantinos Chatzikokolakism. fl.

Inbunden, Engelska, 2020

829 kr

Skickas inom 10-15 vardagar

Logic Programming

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

AvCatuscia Palamidessi

Häftad, Engelska, 2003

1 709 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

AvCatuscia Palamidessi,Hugh Glaserm. fl.

Häftad, Engelska, 1998

719 kr

Skickas inom 10-15 vardagar

CONCUR 2000 - Concurrency Theory

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

AvCatuscia Palamidessi

Häftad, Engelska, 2000

1 429 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

AvMogens Nielsen,Antonin Kuceram. fl.

Häftad, Engelska, 2009

1 429 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

AvSebastian Moedersheim,Catuscia Palamidessi

Häftad, Engelska, 2012

719 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

AvCatuscia Palamidessi,Mark D. Ryan

Häftad, Engelska, 2013

659 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

AvErika Ábrahám,Catuscia Palamidessi

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar