Osman Hasan – författare
Visar alla böcker från författaren Osman Hasan.
4 produkter
Formalized Probability Theory and Applications Using Theorem Proving
Inbunden, 2015
3229 kr
Lägg i varukorg
Formal Techniques for Safety-Critical Systems
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Av Osman Hasan, Frédéric Mallet
Häftad, 2020
739 kr
Lägg i varukorg
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Av Asad Q Ahmed, Osman Hasan m. fl.
Häftad, 2021
929 kr
Lägg i varukorg
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Av Herman Geuvers, Matthew England m. fl.
Häftad, 2017
739 kr
Lägg i varukorg