Suchergebnisse - Hasan, Osman

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

    Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
    von Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil

    Veröffentlicht 2022
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Formalized probability theory and applications using theorem proving
    von Hasan, Osman, Tahar, Sofiène 1966-

    Veröffentlicht 2015
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Formalized probability theory and applications using theorem proving
    von Hasan, Osman 1975-

    Veröffentlicht 2015
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Intelligent computer mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Hasan, Osman …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Hasan, Osman …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: