Cărți de Osman Hasan

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

SpringerBriefs in Applied Sciences and Technology

Autor Asad Ahmed et al.

15 aug 2021

Preț: 466^.45 lei

43-57 zile

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Communications in Computer and Information Science, nr. 1165

Editat de Osman Hasan et al.

26 apr 2020

Preț: 300^.95 lei 376^.18 lei

38-44 zile

-20%

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10383

Editat de Herman Geuvers et al.

29 iun 2017

Preț: 330^.55 lei 413^.19 lei

43-57 zile

-20%

Formalized Probability Theory and Applications Using Theorem Proving

Autor Osman Hasan et al.

25 mar 2015

Preț: 1059^.38 lei 1375^.82 lei

43-57 zile

-23%

Probabilistic Analysis using Theorem Proving

Autor Osman Hasan

25 oct 2013

Preț: 404^.23 lei 439^.38 lei

43-57 zile

-8%