Hoppa till sidans huvudinnehåll

Osman Hasan – författare

Visar alla böcker från författaren Osman Hasan.
4 produkter
Osman Hasan, Sofiène Tahar - Formalized Probability Theory and Applications Using Theorem Proving, Inbunden

Formalized Probability Theory and Applications Using Theorem Proving

AvOsman Hasan,Sofiène Tahar

Inbunden, Engelska, 2015

3 229 kr

Skickas inom 5-8 vardagar

Osman Hasan, Frédéric Mallet - Formal Techniques for Safety-Critical Systems, Häftad
Del 1165 - Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

AvOsman Hasan,Frédéric Mallet

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Asad Q Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki - Formal Analysis of Future Energy Systems Using Interactive Theorem Proving, Häftad

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

AvAsad Q Ahmed,Osman Hasanm. fl.

Häftad, Engelska, 2021

919 kr

Skickas inom 10-15 vardagar

Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke - Intelligent Computer Mathematics, Häftad
Del 10383 - Lecture Notes in Computer Science

Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

AvHerman Geuvers,Matthew Englandm. fl.

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar