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
    Skickas från oss inom 7-10 vardagar.
  2. Foundations of Probabilistic Programming E-bok

    av Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

    E-bok (PDF, LCP), Engelska, 2020-12-03
    910
    Läs i Bokus Reader för iOS och Android.
  3. Lecture Notes in Computer Science:

    Security and Trust Management

    av Gilles Barthe, Evangelos Markatos, Pierangela Samarati

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

    av Gilles Barthe, Evangelos Markatos, Pierangela Samarati

    E-bok (PDF, LCP), Engelska, 2016-09-16
    706
    Läs i Bokus Reader för iOS och Android.
  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
    Skickas från oss inom 10-15 vardagar.
  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
    Läs i Bokus Reader för iOS och Android.
  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
    Skickas från oss inom 10-15 vardagar.
  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
    Läs i Bokus Reader för iOS och Android.
  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
    Skickas från oss inom 10-15 vardagar.
  10. Applied Semantics E-bok

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

    E-bok (PDF, LCP), Engelska, 2003-08-02
    706
    Läs i Bokus Reader för iOS och Android.
  11. Programming and Software Engineering:

    Formal Methods for Open Object-Based Distributed Systems

    av Gilles Barthe

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

    av Gilles Barthe

    E-bok (PDF, LCP), Engelska, 2008-06-03
    706
    Läs i Bokus Reader för iOS och Android.
  13. Theoretical Computer Science and General Issues:

    Trustworthy Global Computing

    av Gilles Barthe, Cédric Fournet

    Häftad, Engelska, 2008-03-18
    564
    Skickas från oss inom 10-15 vardagar.
  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
    Skickas från oss inom 10-15 vardagar.
  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
    Läs i Bokus Reader för iOS och Android.
  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
    Skickas från oss inom 10-15 vardagar.
  17. Verification, Model Checking, and Abstract Interpretation E-bok

    av Gilles Barthe, Manuel Hermenegildo

    E-bok (PDF, LCP), Engelska, 2010-01-06
    706
    Läs i Bokus Reader för iOS och Android.
  18. Theoretical Computer Science and General Issues:

    Programming Languages and Systems

    av Gilles Barthe

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

    av Gilles Barthe

    E-bok (PDF, LCP), Engelska, 2011-03-14
    706
    Läs i Bokus Reader för iOS och Android.
  20. Security and Cryptology:

    Security and Trust Management

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

    Häftad, Engelska, 2011-09-23
    564
    Skickas från oss inom 10-15 vardagar.
  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
    Läs i Bokus Reader för iOS och Android.
  22. Programming and Software Engineering:

    Software Engineering and Formal Methods

    av Gilles Barthe, Alberto Pardo, Gerardo Schneider

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

    av Gilles Barthe, Alberto Pardo, Gerardo Schneider

    E-bok (PDF, LCP), Engelska, 2011-10-26
    706
    Läs i Bokus Reader för iOS och Android.
  24. Security and Cryptology:

    Engineering Secure Software and Systems

    av Gilles Barthe, Ben Livshits, Riccardo Scandariato

    Häftad, Engelska, 2012-01-30
    564
    Skickas från oss inom 10-15 vardagar.
  25. Security and Cryptology:

    Formal Aspects of Security and Trust

    av Gilles Barthe, Anupam Datta, Sandro Etalle

    Häftad, Engelska, 2012-05-04
    564
    Skickas från oss inom 10-15 vardagar.
  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
    Läs i Bokus Reader för iOS och Android.