Leonardo De Moura

Leonardo De Moura

Intelligent Computer Mathematics

Lecture Notes in Computer Science, nr. 9791

Editat de Michael Kohlhase et al.

12 iul 2016

Preț: 289^.73 lei 362^.16 lei

38-44 zile

-20%

Automated Deduction - CADE 26

Lecture Notes in Computer Science, nr. 10395

Editat de Leonardo De Moura

11 iul 2017

Preț: 550^.56 lei 688^.20 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications

Editat de Juliano Iyoda et al.

13 sep 2013

Preț: 304^.15 lei 380^.19 lei

6-8 săpt.

-20%