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ț: 611.22 lei 764.02 lei
3-5 săpt.
-20%
Cărți de Deepak Kapur
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ț: 316.37 lei 395.45 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ț: 318.02 lei 397.53 lei
6-8 săpt.
-20%
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Editat de Stéphane Demri et al.
4 aug 2014
Paperback
Preț: 327.13 lei 408.91 lei
6-8 săpt.
-20%
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ț: 635.61 lei 794.50 lei
6-8 săpt.
-20%