Filtrera

Ämne
  • (26)
  • (3)
  • (2)
  • (6)
Format
  • (1)
  • (12)
  • (13)
Leveranstid
  • (12)

Gilles Barthe - Böcker

Visar alla böcker av Gilles Barthe. Handla med fri frakt och snabb leverans!

Sortering:

  1. Foundations of Probabilistic Programming

    av Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva, Joost-Pieter Katoen, Alexandra Silva

    Inbunden, Engelska, 2020-12-03
    781
    Köp
    Skickas från oss inom 7-10 vardagar.
    Foundations of Probabilistic Programming

    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 underpinni...

    Läs mer »

  2. Foundations of Probabilistic Programming E-bok

    av Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

    E-bok (PDF, LCP), Engelska, 2020-12-03
    910
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Foundations of Probabilistic Programming

    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 underpinni...

    Läs mer »

  3. Lecture Notes in Computer Science:

    Security and Trust Management

    av Gilles Barthe, Evangelos Markatos, Pierangela Samarati

    Häftad, Engelska, 2016-09-17
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Security and Trust Management

    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...

    Läs mer »

  4. Security and Trust Management E-bok

    av Gilles Barthe, Evangelos Markatos, Pierangela Samarati

    E-bok (PDF, LCP), Engelska, 2016-09-16
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Security and Trust Management

    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 i...

    Läs mer »

  5. Security and Cryptology:

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

    av Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

    Häftad, Engelska, 2005-01-21
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    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-...

    Läs mer »

  6. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices E-bok

    av Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

    E-bok (PDF, LCP), Engelska, 2005-01-28
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
  7. Security and Cryptology:

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

    av Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

    Häftad, Engelska, 2006-04-18
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    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...

    Läs mer »

  8. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices E-bok

    av Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

    E-bok (PDF, LCP), Engelska, 2006-04-28
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    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...

    Läs mer »

  9. Lecture Notes in Computer Science:

    Applied Semantics

    av Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva

    Häftad, Engelska, 2002-08-21
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Applied Semantics

    This book presents revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal in September. The nine lectures included present recent developments in programming lang...

    Läs mer »

  10. Applied Semantics E-bok

    av Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

    E-bok (PDF, LCP), Engelska, 2003-08-02
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Applied Semantics

    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...

    Läs mer »

  11. Programming and Software Engineering:

    Formal Methods for Open Object-Based Distributed Systems

    av Gilles Barthe

    Häftad, Engelska, 2008-05-29
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Formal Methods for Open Object-Based Distributed Systems

    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 toge...

    Läs mer »

  12. Formal Methods for Open Object-Based Distributed Systems E-bok

    av Gilles Barthe

    E-bok (PDF, LCP), Engelska, 2008-06-03
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Methods for Open Object-Based Distributed Systems

    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 toge...

    Läs mer »

  13. Theoretical Computer Science and General Issues:

    Trustworthy Global Computing

    av Gilles Barthe, Cédric Fournet

    Häftad, Engelska, 2008-03-18
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Trustworthy Global Computing

    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 ...

    Läs mer »

  14. Security and Cryptology:

    Foundations of Security Analysis and Design V

    av Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

    Häftad, Engelska, 2009-08-17
    519
    Köp
    Skickas från oss inom 10-15 vardagar.
    Foundations of Security Analysis and Design V

    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, ...

    Läs mer »

  15. Foundations of Security Analysis and Design V E-bok

    av Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

    E-bok (PDF, LCP), Engelska, 2009-08-10
    628
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Foundations of Security Analysis and Design V

    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, ...

    Läs mer »

  16. Theoretical Computer Science and General Issues:

    Verification, Model Checking, and Abstract Interpretation

    av Gilles Barthe, Manuel Hermenegildo

    Häftad, Engelska, 2010-01-08
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Verification, Model Checking, and Abstract Interpretation

    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. Previo...

    Läs mer »

  17. Verification, Model Checking, and Abstract Interpretation E-bok

    av Gilles Barthe, Manuel Hermenegildo

    E-bok (PDF, LCP), Engelska, 2010-01-06
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Verification, Model Checking, and Abstract Interpretation

    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. Previo...

    Läs mer »

  18. Theoretical Computer Science and General Issues:

    Programming Languages and Systems

    av Gilles Barthe

    Häftad, Engelska, 2011-03-22
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Programming Languages and Systems

    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...

    Läs mer »

  19. Programming Languages and Systems E-bok

    av Gilles Barthe

    E-bok (PDF, LCP), Engelska, 2011-03-14
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Programming Languages and Systems

    This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrucken, Germany, March 30-April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software...

    Läs mer »

  20. Security and Cryptology:

    Security and Trust Management

    av Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner

    Häftad, Engelska, 2011-09-23
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Security and Trust Management

    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 ...

    Läs mer »

  21. Security and Trust Management E-bok

    av Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner

    E-bok (PDF, LCP), Engelska, 2011-10-07
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Security and Trust Management

    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 ...

    Läs mer »

  22. Programming and Software Engineering:

    Software Engineering and Formal Methods

    av Gilles Barthe, Alberto Pardo, Gerardo Schneider

    Häftad, Engelska, 2011-10-21
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Software Engineering and Formal Methods

    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 ...

    Läs mer »

  23. Software Engineering and Formal Methods E-bok

    av Gilles Barthe, Alberto Pardo, Gerardo Schneider

    E-bok (PDF, LCP), Engelska, 2011-10-26
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Software Engineering and Formal Methods

    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 ...

    Läs mer »

  24. Security and Cryptology:

    Engineering Secure Software and Systems

    av Gilles Barthe, Ben Livshits, Riccardo Scandariato

    Häftad, Engelska, 2012-01-30
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Engineering Secure Software and Systems

    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 ide...

    Läs mer »

  25. Security and Cryptology:

    Formal Aspects of Security and Trust

    av Gilles Barthe, Anupam Datta, Sandro Etalle

    Häftad, Engelska, 2012-05-04
    564
    Köp
    Skickas från oss inom 10-15 vardagar.
    Formal Aspects of Security and Trust

    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, ...

    Läs mer »

  26. Formal Aspects of Security and Trust E-bok

    av Gilles Barthe, Anupam Datta, Sandro Etalle

    E-bok (PDF, LCP), Engelska, 2012-06-25
    706
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Formal Aspects of Security and Trust

    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, ...

    Läs mer »