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ț: 632.22 lei 790.27 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ț: 327.16 lei 408.95 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ț: 327.98 lei 409.97 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ț: 338.31 lei 422.89 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ț: 657.45 lei 821.81 lei
6-8 săpt.
-20%