Filtre:

Cărți de Deepak Kapur

Automated Deduction - CADE-11

Editat de Deepak Kapur

27 mai 1992

Preț: 650^.30 lei 812^.89 lei

43-57 zile

-20%

Automated Reasoning

Lecture Notes in Computer Science, nr. 8562

Editat de Stéphane Demri et al.

4 aug 2014

Preț: 335^.26 lei 419^.08 lei

43-57 zile

-20%

Dependable Software Engineering: Theories, Tools, and Applications

Lecture Notes in Computer Science, nr. 9984

Editat de Martin Fränzle et al.

6 oct 2016

Preț: 324^.41 lei 405^.51 lei

43-57 zile

-20%