Osman Hasan – författare
Visar alla böcker från författaren Osman Hasan. Handla med fri frakt och snabb leverans.
8 produkter
Formalized Probability Theory and Applications Using Theorem Proving
Inbunden, 2015
2483 kr
Lägg i varukorg
Formalized Probability Theory and Applications Using Theorem Proving
E-bok, 2015
3015 kr
Lägg i varukorg
Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems …
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
562 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the …
Formal Techniques for Safety-Critical Systems
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Av Frederic Mallet, Osman Hasan
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the …
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Av Asad Q Ahmed, Osman Hasan m. fl.
Häftad, 2021
707 kr
Lägg i varukorg
This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of …
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
Av Nabil Bastaki, Falah Awwad m. fl.
E-bok, 2021
877 kr
Lägg i varukorg
This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems. Correctness and accuracy of the financial, operational, and implementation analysis are of …
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 …
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Av Olaf Teschke, Florian Rabe m. fl.
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 …
