Hoppa till sidans huvudinnehåll

Osman Hasan - Böcker

Visar alla böcker från författaren Osman Hasan.
4 produkter

Formalized Probability Theory and Applications Using Theorem Proving

AvOsman Hasan,Sofiène Tahar

Inbunden, Engelska, 2015

3 049 kr

Skickas inom 5-8 vardagar

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 m. fl.

Häftad, Engelska, 2020

709 kr

Skickas inom 10-15 vardagar

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

AvAsad Q Ahmed,Osman Hasan m. fl.

Häftad, Engelska, 2021

899 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

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

AvHerman Geuvers,Matthew England m. fl.

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar