14 results
Type of media (2)
Availability (2)
Language (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
14 results

Your search for Alexandra Silva

  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: Language, Logic, and Computation - Springer
    Alexandra Silva | Sam Staton | Peter Sutton
    Language, Logic, and Computation
    12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
    07/2019
    Springer
    9783662595657 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Logic, Language, Information, and Computation - Springer
    Alexandra Silva | Renata Wassermann | Ruy de Queiroz
    Logic, Language, Information, and Computation
    27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
    10/2021
    Springer
    9783030888534 (ISBN)
    E-Book
    PDF
    Other editions
    €78.10
    Available for download
  4. Cover: Formal Techniques for Distributed Objects, Components, and Systems - Springer
    Ahmed Bouajjani | Alexandra Silva
    Formal Techniques for Distributed Objects, Components, and Systems
    37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
    06/2017
    Springer
    9783319602257 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Logic and Program Semantics - Springer
    Robert L. Constable | Alexandra Silva
    Logic and Program Semantics
    Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
    04/2012
    Springer
    9783642294853 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Logic and Program Semantics - Springer
    Robert L. Constable | Alexandra Silva
    Logic and Program Semantics
    Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
    04/2012
    1st EDN1st Edition
    Springer
    9783642294846 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Computer Aided Verification - Springer
    Alexandra Silva | K. Rustan M. Leino
    Computer Aided Verification
    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
    07/2021
    Springer
    9783030816872 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  8. Cover: Computer Aided Verification - Springer
    Alexandra Silva | K. Rustan M. Leino
    Computer Aided Verification
    33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
    07/2021
    Springer
    9783030816841 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  9. Cover: Language, Logic, and Computation - Springer
    Alexandra Silva | Sam Staton | Peter Sutton
    Language, Logic, and Computation
    12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
    07/2019
    Springer
    9783662595640 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Logic, Language, Information, and Computation - Springer
    Alexandra Silva | Renata Wassermann | Ruy de Queiroz
    Logic, Language, Information, and Computation
    27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
    10/2021
    Springer
    9783030888527 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €79.17
    Shipment within 7-9 days
  11. 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
  12. Cover: Formal Techniques for Distributed Objects, Components, and Systems - Springer
    Ahmed Bouajjani | Alexandra Silva
    Formal Techniques for Distributed Objects, Components, and Systems
    37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
    05/2017
    Springer
    9783319602240 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  13. Cover: Savage Duke - tolino media
    Alexandra Silva
    Savage Duke
    Blutiges Verlangen
    05/2026
    tolino media
    9783695635047 (ISBN)
    Book
    Paperback/Softback
    €17.99
    Shipment within 15-20 days
  14. Cover: New Trends Towards Mediterranean Tourism Sustainability - Nova Science Publishers Inc
    Luis Miguel Rosalino | Alexandra Silva | Antonio Abreu
    New Trends Towards Mediterranean Tourism Sustainability
    07/2013
    Nova Science Publishers Inc
    9781622576272 (ISBN)
    Book
    Hardback
    Other editions
    €297.11
    Exhausted; check different version