Filtre: Paperback

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ț: 457^.86 lei

6-8 săpt.

Intelligent Computer Mathematics

Lecture Notes in Artificial Intelligence

Editat de Herman Geuvers et al.

29 iun 2017

Preț: 326^.07 lei 407^.59 lei

6-8 săpt.

-20%

Probabilistic Analysis using Theorem Proving

Autor Osman Hasan

25 oct 2013

Preț: 396^.79 lei 431^.29 lei

6-8 săpt.

-8%

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ț: 325^.65 lei 407^.06 lei

38-45 zile

-20%