Osman Hasan - Böcker

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

4 produkter

Kategorier

4 produkter

Formalized Probability Theory and Applications Using Theorem Proving

Av Osman Hasan, Sofiène Tahar

Inbunden, Engelska, 2015

3 139 kr

Skickas inom 7-10 vardagar

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

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Av Asad Q Ahmed, Osman Hasan m. fl

Häftad, Engelska, 2021

919 kr

Skickas inom 10-15 vardagar

Intelligent Computer Mathematics

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

Av Herman Geuvers, Matthew England m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar