1
Computer Algebra in Scientific Computing [E-Book] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings /
2
Computer Algebra in Scientific Computing [E-Book]: 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings /
3
Computer Algebra in Scientific Computing [E-Book] : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings /
4
Computer Science - Theory and Applications [E-Book] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
5
Computer Algebra in Scientific Computing [E-Book] : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings /
6
Computer Algebra in Scientific Computing [E-Book] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings /
7
Computer Algebra in Scientific Computing (vol. # 3718) [E-Book] / 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
8
Lectures on Proof Verification and Approximation Algorithms [E-Book] /