Catuscia Palamidessi – författare

Visar alla böcker från författaren Catuscia Palamidessi. Handla med fri frakt och snabb leverans.

21 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

   551 kr

   Lägg i varukorg

   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 has worked on a large variety of topics including probabilistic and concurrent computation, logics and …

2. 

   Horizons of the Mind. A Tribute to Prakash Panangaden

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

   Av Jan Rutten, Catuscia Palamidessi m. fl.

   E-bok, 2014

   734 kr

   Lägg i varukorg

   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 has worked on a large variety of topics including probabilistic and concurrent computation, logics and …

3. 

   Science of Quantitative Information Flow

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

   Inbunden, 2020

   659 kr

   Lägg i varukorg

   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 certain information leaks are small enough to be tolerated – and how systems can be constructed that …

4. 

   Science of Quantitative Information Flow

   Av Geoffrey Smith, Catuscia Palamidessi m. fl.

   E-bok, 2020

   903 kr

   Lägg i varukorg

   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 certain information leaks are small enough to be tolerated – and how systems can be constructed that …

5. 

   Logic Programming

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

   Av Catuscia Palamidessi

   Häftad, 2003

   1351 kr

   Lägg i varukorg

   This volume contains the proceedings of the 19th International Conference on Logic Programming, ICLP 2003, which was held at the Tata Institute of F- damental Research in Mumbai, India, during 9-13 December, 2003. ICLP 2003 was colocated with the 8th Asian Computing Science Conference, ASIAN 2003, …

6. 

   Logic Programming

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

   Av Catuscia Palamidessi

   E-bok, 2003

   1838 kr

   Lägg i varukorg

7. 

   Automata, Languages and Programming

   32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

   Av Luis Caires, Guiseppe F. Italiano m. fl.

   2005

   1329 kr

   Lägg i varukorg

   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 presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin …

8. 

   Automata, Languages and Programming

   32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

   Av Moti Yung, Catuscia Palamidessi m. fl.

   E-bok, 2005

   1416 kr

   Lägg i varukorg

   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 presented at ICALP 2005, - getherwiththepapersbytheinvitedspeakersGiuseppeCastagna(ENS),Leonid Libkin …

9. 

   CONCUR 2000 - Concurrency Theory

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

   Av Catuscia Palamidessi

   E-bok, 2003

   1470 kr

   Lägg i varukorg

   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 CONCUR conferences is to bring together researchers, developers, and students in order to advance the …

10. 

    Computational Logic - CL 2000

    First International Conference London, UK, July 24–28, 2000 Proceedings

    Av Peter J. Stuckey, Yehoshua Sagiv m. fl.

    E-bok, 2003

    739 kr

    Lägg i varukorg

    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 covered all aspects of the theory, implementation, and application of computational logic, where …

11. 

    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

    567 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 10th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP'98, held jointly with the 6th International Conference on Algebraic and Logic Programming, ALP'98, in Pisa, Italy, in September 1998.The 26 …

12. 

    Computational Logic — CL 2000

    First International Conference London, UK, July 24–28, 2000 Proceedings

    Av John Lloyd, Veronica Dahl m. fl.

    2000

    669 kr

    Lägg i varukorg

    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 covered all aspects of the theory, implementation, and application of computational logic, where …

13. 

    CONCUR 2000 - Concurrency Theory

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

    Av Catuscia Palamidessi

    Häftad, 2000

    1129 kr

    Lägg i varukorg

    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 CONCUR conferences is to bring together researchers, developers, and students in order to advance the …

14. 

    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

    1127 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009.The 49 revised full papers, presented together with 9 invited contributions, were carefully …

15. 

    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 Frank Valencia, Petr Tuma m. fl.

    E-bok, 2009

    1502 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully …

16. 

    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

    569 kr

    Lägg i varukorg

    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 Saarbrücken, Germany, in March/April 2011, in association with ETAPS 2011.The 9 revised full papers presented …

17. 

    Theory of Security and Applications

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

    Av Catuscia Palamidessi, Sebastian Moedersheim

    E-bok, 2012

    755 kr

    Lägg i varukorg

    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 Saarbrücken, Germany, in March/April 2011, in association with ETAPS 2011.The 9 revised full papers presented …

18. 

    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

    524 kr

    Lägg i varukorg

    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 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and …

19. 

    Trustworthy Global Computing

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

    Av Mark D. Ryan, Catuscia Palamidessi

    E-bok, 2013

    672 kr

    Lägg i varukorg

    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 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and …

20. 

    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

    567 kr

    Lägg i varukorg

    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 June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, …

21. 

    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 Catuscia Palamidessi, Erika Abraham

    E-bok, 2014

    755 kr

    Lägg i varukorg

    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 June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, …