21 results
Type of media (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
21 results

Your search for Gilles Barthe

  1. Cover: Foundations of Probabilistic Programming - Cambridge University Press
    Gilles Barthe | Joost-Pieter Katoen | Alexandra Silva
    Foundations of Probabilistic Programming
    11/2020
    Cambridge University Press
    9781108805742 (ISBN)
    E-Book
    PDF
    Other editions
    €52.49
    Available for download
  2. Cover: Security and Trust Management - Springer
    Gilles Barthe | Evangelos Markatos | Pierangela Samarati
    Security and Trust Management
    12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
    09/2016
    Springer
    9783319465982 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Security and Trust Management - Springer
    Jorge Cuellar | Javier Lopez | Gilles Barthe
    Security and Trust Management
    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
    10/2011
    Springer
    9783642224447 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Software Engineering and Formal Methods - Springer
    Gilles Barthe | Alberto Pardo | Gerardo Schneider
    Software Engineering and Formal Methods
    9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
    10/2011
    Springer
    9783642246906 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Engineering Secure Software and Systems - Springer
    Gilles Barthe | Ben Livshits | Riccardo Scandariato
    Engineering Secure Software and Systems
    4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
    02/2012
    Springer
    9783642281662 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Programming Languages and Systems - Springer
    Gilles Barthe
    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
    03/2011
    Springer
    9783642197185 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Formal Aspects of Security and Trust - Springer
    Gilles Barthe | Anupam Datta | Sandro Etalle
    Formal Aspects of Security and Trust
    8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
    06/2012
    Springer
    9783642294204 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Programming Languages and Systems - Springer
    Gilles Barthe
    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
    03/2011
    1st EDN1st Edition
    Springer
    9783642197178 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  9. Cover: Security and Trust Management - Springer
    Jorge Cuellar | Javier Lopez | Gilles Barthe
    Security and Trust Management
    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
    09/2011
    Springer
    9783642224430 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Software Engineering and Formal Methods - Springer
    Gilles Barthe | Alberto Pardo | Gerardo Schneider
    Software Engineering and Formal Methods
    9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
    10/2011
    Springer
    9783642246890 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  11. Cover: Engineering Secure Software and Systems - Springer
    Gilles Barthe | Ben Livshits | Riccardo Scandariato
    Engineering Secure Software and Systems
    4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
    01/2012
    1st EDN1st Edition
    Springer
    9783642281655 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Formal Aspects of Security and Trust - Springer
    Gilles Barthe | Anupam Datta | Sandro Etalle
    Formal Aspects of Security and Trust
    8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
    05/2012
    1st EDN1st Edition
    Springer
    9783642294198 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  13. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Gilles Barthe | Manuel Hermenegildo
    Verification, Model Checking, and Abstract Interpretation
    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    01/2010
    Springer
    9783642113185 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  14. Cover: Foundations of Security Analysis and Design V - Springer
    Alessandro Aldini | Gilles Barthe | Roberto Gorrieri
    Foundations of Security Analysis and Design V
    FOSAD 2008/2009 Tutorial Lectures
    08/2009
    Springer
    9783642038280 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.17
    Shipment within 5-7 days
  15. Cover: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Springer
    Gilles Barthe | Benjamin Gregoire | Marieke Huisman
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
    04/2006
    Springer
    9783540336891 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  16. Cover: Foundations of Probabilistic Programming - Cambridge University Press
    Gilles Barthe | Joost-Pieter Katoen | Alexandra Silva
    Foundations of Probabilistic Programming
    12/2020
    Cambridge University Press
    9781108488518 (ISBN)
    Book
    Hardback
    Other editions
    €74.50
    Shipment within 15-20 days
  17. Cover: Security and Trust Management - Springer
    Gilles Barthe | Evangelos Markatos | Pierangela Samarati
    Security and Trust Management
    12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
    09/2016
    Springer
    9783319465975 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  18. Cover: Trustworthy Global Computing - Springer
    Gilles Barthe | Cédric Fournet
    Trustworthy Global Computing
    Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
    03/2008
    Springer
    9783540786627 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. Cover: Formal Methods for Open Object-Based Distributed Systems - Springer
    Gilles Barthe
    Formal Methods for Open Object-Based Distributed Systems
    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    05/2008
    Springer
    9783540688624 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  20. Cover: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Springer
    Gilles Barthe | Lilian Burdy | Marieke Huisman
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
    01/2005
    Springer
    9783540242871 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
    2. of 2