Treffer 1 – 5 von 5 für Suche 'Hasan, Osman', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

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

    Veröffentlicht 2022

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Formalized probability theory and applications using theorem proving

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

    Veröffentlicht 2015
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Formalized probability theory and applications using theorem proving

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

    Veröffentlicht 2015
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2020
    Weitere Verfasser: “… Hasan, Osman …”

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


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

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

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: