Hoppa till sidans huvudinnehåll

Catuscia Palamidessi – författare

Visar alla böcker från författaren .
9 produkter
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten - Horizons of the Mind. A Tribute to Prakash Panangaden, Häftad
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

709 kr

Skickas inom 10-15 vardagar

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith - Science of Quantitative Information Flow, Inbunden

Science of Quantitative Information Flow

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

Inbunden, Engelska, 2020

849 kr

Skickas inom 10-15 vardagar

Catuscia Palamidessi - Logic Programming, Häftad

Logic Programming

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

AvCatuscia Palamidessi

Häftad, Engelska, 2003

1 739 kr

Skickas inom 10-15 vardagar

Catuscia Palamidessi, Hugh Glaser, Karl Meinke - Principles of Declarative Programming, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Catuscia Palamidessi - CONCUR 2000 - Concurrency Theory, Häftad

CONCUR 2000 - Concurrency Theory

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

AvCatuscia Palamidessi

Häftad, Engelska, 2000

1 449 kr

Skickas inom 10-15 vardagar

Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia - SOFSEM 2009: Theory and Practice of Computer Science, Häftad

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 449 kr

Skickas inom 10-15 vardagar

Sebastian Moedersheim, Catuscia Palamidessi - Theory of Security and Applications, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Catuscia Palamidessi, Mark D. Ryan - Trustworthy Global Computing, Häftad

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

669 kr

Skickas inom 10-15 vardagar

Erika Ábrahám, Catuscia Palamidessi - Formal Techniques for Distributed Objects, Components, and Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar