Gilles Barthe – författare

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

28 produkter

1. 

   Foundations of Probabilistic Programming

   Av Gilles Barthe, Joost-Pieter Katoen m. fl.

   Inbunden, 2020

   877 kr

   Lägg i varukorg

   What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their …

2. 

   Foundations of Probabilistic Programming

   Av Alexandra Silva, Joost-Pieter Katoen m. fl.

   E-bok, 2020

   1002 kr

   Lägg i varukorg

   What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their …

3. 

   Security and Trust Management

   12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

   Av Gilles Barthe, Evangelos Markatos m. fl.

   Häftad, 2016

   566 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 12th International Workshop on Security and Trust Management, STM 2016, held in Heraklion, Crete, Greece, in September 2016, in conjunction with the 21st European Symposium Research in Computer Security, ESORICS 2016.The 13 full papers together …

4. 

   Security and Trust Management

   12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

   Av Pierangela Samarati, Evangelos Markatos m. fl.

   E-bok, 2016

   739 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 12th International Workshop on Security and Trust Management, STM 2016, held in Heraklion, Crete, Greece, in September 2016, in conjunction with the 21st European Symposium Research in Computer Security, ESORICS 2016. The 13 full papers together …

5. 

   Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

   International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

   Av Gilles Barthe, Lilian Burdy m. fl.

   Häftad, 2005

   566 kr

   Lägg i varukorg

   This volume contains a selection of refereed papers from participants of the workshop "Construction and Analysis of Safe, Secure and Interoperable Smart Devices" (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: http://www-sop.inria.fr/everest/events/cassis04/ The workshop …

6. 

   Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

   International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

   Av Traian Muntean, Jean-Louis Lanet m. fl.

   E-bok, 2005

   755 kr

   Lägg i varukorg

7. 

   Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

   Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

   Av Gilles Barthe, Benjamin Gregoire m. fl.

   Häftad, 2006

   566 kr

   Lägg i varukorg

   This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about …

8. 

   Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

   Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

   Av Jean-Luis Lanet, Marieke Huisman m. fl.

   E-bok, 2006

   755 kr

   Lägg i varukorg

9. 

   Applied Semantics

   International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

   Av Gilles Barthe, Peter Dybjer m. fl.

   Häftad, 2002

   566 kr

   Lägg i varukorg

   This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of …

10. 

    Applied Semantics

    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

    Av Joao Saraiva, Luis Pinto m. fl.

    E-bok, 2003

    755 kr

    Lägg i varukorg

    This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of …

11. 

    Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

    Av Gilles Barthe

    Häftad, 2008

    566 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed …

12. 

    Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

    Av Gilles Barthe

    E-bok, 2008

    755 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed …

13. 

    Trustworthy Global Computing

    Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

    Av Gilles Barthe, Cédric Fournet

    Häftad, 2008

    568 kr

    Lägg i varukorg

    This volume contains the post-proceedings of the third edition of the Int- national Symposium on Trustworthy Global Computing (TGC 2007), held in Sophia-Antipolis,France,November 5-6,2007,andtutorialpapersofthe foll- ing Workshop on the Interplay of Programming Languages and Cryptography, held in …

14. 

    Trustworthy Global Computing

    Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

    Av Cedric Fournet, Gilles Barthe

    E-bok, 2008

    755 kr

    Lägg i varukorg

15. 

    Foundations of Security Analysis and Design V

    FOSAD 2008/2009 Tutorial Lectures

    Av Alessandro Aldini, Gilles Barthe m. fl.

    Häftad, 2009

    523 kr

    Lägg i varukorg

    FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open …

16. 

    Foundations of Security Analysis and Design V

    FOSAD 2008/2009 Tutorial Lectures

    Av Roberto Gorrieri, Gilles Barthe m. fl.

    E-bok, 2009

    657 kr

    Lägg i varukorg

    FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open …

17. 

    Verification, Model Checking, and Abstract Interpretation

    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

    Av Gilles Barthe, Manuel Hermenegildo

    Häftad, 2010

    566 kr

    Lägg i varukorg

    This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa …

18. 

    Verification, Model Checking, and Abstract Interpretation

    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

    Av Manuel Hermenegildo, Gilles Barthe

    E-bok, 2010

    739 kr

    Lägg i varukorg

    This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17–19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je?erson (1997), Pisa …

19. 

    Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

    Av Gilles Barthe

    Häftad, 2011

    566 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 24 revised full papers presented together with …

20. 

    Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

    Av Gilles Barthe

    E-bok, 2011

    739 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 24 revised full papers presented together with …

21. 

    Security and Trust Management

    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

    Av Jorge Cuellar, Javier Lopez m. fl.

    Häftad, 2011

    568 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010. The 17 revised full papers presented were carefully reviewed and selected from 40 submissions. Focusing …

22. 

    Security and Trust Management

    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

    Av Alexander Pretschner, Gilles Barthe m. fl.

    E-bok, 2011

    739 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010. The 17 revised full papers presented were carefully reviewed and selected from 40 submissions. Focusing …

23. 

    Software Engineering and Formal Methods

    9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

    Av Gilles Barthe, Alberto Pardo m. fl.

    Häftad, 2011

    566 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were …

24. 

    Software Engineering and Formal Methods

    9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

    Av Gerardo Schneider, Alberto Pardo m. fl.

    E-bok, 2011

    734 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were …

25. 

    Engineering Secure Software and Systems

    4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings

    Av Gilles Barthe, Ben Livshits m. fl.

    Häftad, 2012

    568 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from …

26. 

    Engineering Secure Software and Systems

    4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings

    Av Riccardo Scandariato, Ben Livshits m. fl.

    E-bok, 2012

    739 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 idea papers were carefully reviewed and selected from …

27. 

    Formal Aspects of Security and Trust

    8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

    Av Gilles Barthe, Anupam Datta m. fl.

    Häftad, 2012

    566 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. …

28. 

    Formal Aspects of Security and Trust

    8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

    Av Sandro Etalle, Anupam Datta m. fl.

    E-bok, 2012

    755 kr

    Lägg i varukorg

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. …