| 137822 |
|
Ball T., Jones R. |
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
2006 | •• |
| 140007 |
|
Gupta A., Malik S. |
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings |
2008 | •• |
| 80809 |
|
Bouajjani A. (Editor), Maler O. (Editor) |
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings |
2009 • | •• |
| 197197 |
|
T.Touili, B. Cook, P. Jackson |
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues) |
2010 | •• |
| 147438 |
|
Buchberger B., Collins G., Loos R. |
Computer Algebra |
1983 • | •• |
| 161850 |
|
van Hulzen J.A. |
Computer algebra |
1983 | •• |
| 170595 |
|
Calmet J. |
Computer algebra |
1982 | •• |
| 174038 |
|
Kotsireas I., Zima E. |
Computer Algebra 2006. Latest advances in symbolic algorithms. Proc. Waterloo Workshop |
2007 | •• |
| 79142 |
|
Kotsireas I., Zima E. |
Computer Algebra 2006: Latest Advances in Symbolic Algorithms: Proceedings of the Waterloo Workshop in Computer Algebra 2006, Ontario, Canada, 10-12 April 2006 |
2007 | •• |
| 106551 |
|
Bronstein M. |
Computer algebra algorithms for linear ODE and difference equs. (ECM) |
n/a | •• |
| 263 |
|
Tournier E. |
Computer Algebra and differential equations |
1994 | •• |
| 157883 |
|
Tournier E. |
Computer algebra and differential equations |
1994 | •• |
| 159016 |
|
M. Singer |
Computer algebra and differential equations |
1991 | •• |
| 181964 |
|
Singer M. |
Computer algebra and differential equations |
1991 | •• |
| 182803 |
|
Tournier E. |
Computer algebra and differential equations |
1994 | •• |
| 183942 |
|
Tournier E., Whiteman J., Davenport J. |
Computer algebra and differential equations |
1990 | •• |
| 186576 |
|
Tournier E., Whiteman J., Davenport J. |
Computer algebra and differential equations |
1990 | •• |
| 105246 |
|
Seiler W.M. |
Computer algebra and differential equations: an overview |
1997 | •• |
| 166963 |
|
Li H., Olver P., Sommer G. |
Computer Algebra and Geometric Algebra with Applications: 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International |
2005 | •• |
| 193597 |
|
Zippel R. |
Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 9-11, 1990. Proceedings |
1992 | •• |
| 7131 |
|
Cohen J.S. |
Computer algebra and symbolic computation |
2003 | •• |
| 53558 |
|
Cohen J.S. |
Computer Algebra and Symbolic Computation: Elementary Algorithms |
2002 | •• |
| 53711 |
|
Cohen J.S. |
Computer Algebra and Symbolic Computation: Elementary Algorithms |
2002 | •• |
| 58478 |
|
Cohen J.S. |
Computer Algebra and Symbolic Computation: Elementary Algorithms |
2002 | •• |
| 159514 |
|
Cohen J. |
Computer Algebra and Symbolic Computation: Elementary Algorithms |
2002 | •• |
| 131439 |
|
Joel S. Cohen |
Computer algebra and symbolic computation: mathematical methods |
2003 | •• |
| 191881 |
|
Cohen J. |
Computer Algebra and Symbolic Computation: Mathematical Methods |
2003 | •• |
| 67359 |
|
Ballarin C. |
Computer Algebra and Theorem Proving |
1999 | •• |
| 141701 |
|
Rand R. |
Computer Algebra in Applied Mathematics: Introduction to Macsyma (Research Notes Inmathematics Series) |
1983 | •• |
| 129348 |
|
Ganzha V., Mayr E. |
Computer algebra in scientific computing (CASC1999) TOC |
1999 | •• |
| 89080 |
|
Ganzha V.G., Mayr E.W., Vorozhtsov E.V. |
Computer Algebra in Scientific Computing, 10 conf., CASC 2007 |
2007 | •• |
| 155286 |
|
Gerdt V., Koepf W., Mayr E. |
Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings (Lecture ... Computer Science and General Issues) |
2010 | •• |
| 187507 |
|
Mayr E., Koepf W., Gerdt V. |
Computer Algebra in Scientific Computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings |
2013 | •• |
| 150130 |
|
Ganzha V., Mayr E., Vorozhtsov E. |
Computer Algebra in Scientific Computing: 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings |
2006 | •• |
| 54132 |
|
Gatermann K. |
Computer Algebra Methods for Equivariant Dynamical Systems |
2000 | •• |
| 53768 |
|
Enns R.H. |
Computer Algebra Recipes for Mathematical Physics |
2005 | •• |
| 148664 |
|
Enns R. |
Computer Algebra Recipes for Mathematical Physics |
2005 | •• |
| 150200 |
|
Enns R. |
Computer Algebra Recipes for Mathematical Physics |
2005 | •• |
| 129497 |
|
Richard H. Enns, George C. McGuire |
Computer algebra recipes. An introductory guide to the mathematical models of science |
2006 • | •• |
| 127969 |
|
Richard H. Enns, George C. McGuire |
Computer Algebra Recipes: An Advanced Guide to Scientific Modeling |
2007 • | •• |
| 128666 |
|
Enns R., McGuire G. |
Computer Algebra Recipes: An Advanced Guide to Scientific Modeling |
2007 • | •• |
| 126390 |
|
Michael J. Wester |
Computer algebra systems |
1999 | •• |
| 155997 |
|
Wester M.J. |
Computer Algebra Systems: A Practical Guide |
1999 | •• |
| 186137 |
|
Hulzen J. |
Computer Algebra, EUROCAL '83 |
1983 | •• |
| 186465 |
|
Calmet J. |
Computer Algebra, EUROCAM '82 |
1982 | •• |
| 160617 |
|
Davenport J., Siret Y., Tournier E. |
Computer Algebra: Systems and Algorithms for Algebraic Computation |
1993 • | •• |
| 106070 |
|
Buchberger B. |
Computer algebra: the end of mathematics? |
2002 | •• |
| 151391 |
|
Horowitz E., Rajasekaran S., Sahui S. |
Computer Algorithms |
1998 | •• |
| 137591 |
|
Petkov N., Westenberg M. A. |
Computer Analysis of Images and Patterns: 10th International Conference, CAIP 2003, Groningen, The Netherlands, August 25-27, 2003, Proceedings |
2003 | •• |
| 147465 |
|
Gagalowicz A., Philips W. |
Computer Analysis of Images and Patterns: 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings |
2005 | •• |
|
|
Î ïðîåêòå