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

Your search for Osman Hasan

  1. Cover: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - Springer
    Asad Ahmed | Osman Hasan | Falah Awwad
    Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
    08/2021
    Springer
    9783030784096 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: Intelligent Computer Mathematics - Springer
    Herman Geuvers | Matthew England | Osman Hasan
    Intelligent Computer Mathematics
    10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
    06/2017
    Springer
    9783319620756 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Techniques for Safety-Critical Systems - Springer
    Osman Hasan | Frédéric Mallet
    Formal Techniques for Safety-Critical Systems
    7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
    04/2020
    Springer
    9783030469023 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - Springer
    Asad Ahmed | Osman Hasan | Falah Awwad
    Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
    08/2021
    Springer
    9783030784089 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 7-9 days
  5. Cover: Formal Techniques for Safety-Critical Systems - Springer
    Osman Hasan | Frédéric Mallet
    Formal Techniques for Safety-Critical Systems
    7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
    04/2020
    Springer
    9783030469016 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Probabilistic Analysis using Theorem Proving - VDM Verlag Dr. Mueller E.K.
    Osman Hasan | Sofiene Tahar
    Probabilistic Analysis using Theorem Proving
    11/2008
    VDM Verlag Dr. Mueller E.K.
    9783639094725 (ISBN)
    Book
    Paperback/Softback
    €69.87
    Shipment within 5-7 days
  7. Cover: Intelligent Computer Mathematics - Springer
    Herman Geuvers | Matthew England | Osman Hasan
    Intelligent Computer Mathematics
    10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
    06/2017
    Springer
    9783319620749 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. This image is currently not available.
    Osman Hasan | Sofiene Tahar
    Formalized Probability Theory and Applications Using Theorem Proving
    03/2015
    Information Science Reference
    9781668413357 (ISBN)
    Book
    Mixed media product
    €259.42
    Shipment within 3-4 weeks
  9. Cover: Formalized Probability Theory and Applications Using Theorem Proving - Idea Group,U.S.
    Osman Hasan | Sofiene Tahar
    Formalized Probability Theory and Applications Using Theorem Proving
    03/2015
    Idea Group,U.S.
    9781466683150 (ISBN)
    Book
    Hardback
    Other editions
    €195.50
    Shipment within 15-20 days