Filtre: Engleză Paperback

Cărți de Osman Hasan

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^.43 lei 406^.78 lei

38-45 zile

-20%

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%