Cărți de Deepak Kapur

Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers

Lecture Notes in Computer Science, nr. 5081

Editat de Deepak Kapur

29 sep 2008

Preț: 620^.33 lei 775^.42 lei

3-5 săpt.

-20%

Automated Deduction - CADE-11

Editat de Deepak Kapur

27 mai 1992

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

6-8 săpt.

-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

6-8 săpt.

-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

6-8 săpt.

-20%