Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers
Editat de Deepak Kapur
29 sep 2008
Paperback
Preț: 620.33 lei 775.42 lei
3-5 săpt.
-20%
Cărți de Deepak Kapur
Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Editat de Deepak Kapur
27 mai 1992
Paperback
Preț: 645.09 lei 806.36 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Editat de Dang Van Hung et al.
17 sep 2017
Paperback
Preț: 321.17 lei 401.46 lei
6-8 săpt.
-20%
Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Editat de Martin Fränzle et al.
6 oct 2016
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%
Automated Reasoning
Editat de Stéphane Demri et al.
4 aug 2014
Paperback
Preț: 334.23 lei 417.79 lei
6-8 săpt.
-20%