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

Your search for Mário S. Alvim

  1. Cover: The Science of Quantitative Information Flow - Springer
    Mário S. Alvim | Konstantinos Chatzikokolakis | Annabelle McIver
    The Science of Quantitative Information Flow
    09/2020
    Springer
    9783319961316 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  2. Cover: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Springer
    Mário S. Alvim | Kostas Chatzikokolakis | Carlos Olarte
    The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
    Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
    11/2019
    Springer
    9783030311759 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Springer
    Mário S. Alvim | Kostas Chatzikokolakis | Carlos Olarte
    The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
    Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
    09/2019
    Springer
    9783030311742 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  4. Cover: The Science of Quantitative Information Flow - Springer
    Mário S. Alvim | Konstantinos Chatzikokolakis | Annabelle McIver
    The Science of Quantitative Information Flow
    09/2020
    Springer
    9783319961293 (ISBN)
    Book
    Hardback
    Other editions
    €64.19
    Shipment within 10-15 days