Ãëàâíàÿ    Ex Libris    Êíèãè    Æóðíàëû    Ñòàòüè    Ñåðèè    Êàòàëîã    Wanted    Çàãðóçêà    ÕóäËèò    Ñïðàâêà    Ïîèñê ïî èíäåêñàì    Ïîèñê    Ôîðóì   
Ìåõìàòÿíàì
square Ïåðâûé êóðñ

square Âòîðîé êóðñ

square Òðåòèé êóðñ

square ×åòâåðòûé êóðñ

square Ïÿòûé êóðñ
blank
Àâòîðèçàöèÿ

       
blank
Ïîèñê ïî óêàçàòåëÿì

blank
Êðàñîòà
blank
blank
Áûñòðûé ïåðåõîä
Ïî íàçâàíèþ:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z À Á Â Ã Ä Å ¨ Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
Ïî àâòîðó:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
blank
Âñå ðåñóðñû
Ñîðòèðîâêà:

ID asc desc pic Àâòîðû asc desc Íàçâàíèå asc desc Ãîä asc desc Äîï.
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••
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••
89080 Ganzha V.G., Mayr E.W., Vorozhtsov E.V. Computer Algebra in Scientific Computing, 10 conf., CASC 2007 2007••
129348 Ganzha V., Mayr E. Computer algebra in scientific computing (CASC1999) TOC 1999••
141701 Rand R. Computer Algebra in Applied Mathematics: Introduction to Macsyma (Research Notes Inmathematics Series) 1983••
67359 Ballarin C. Computer Algebra and Theorem Proving 1999••
131439 Joel S. Cohen Computer algebra and symbolic computation: mathematical methods 2003••
191881 Cohen J. Computer Algebra and Symbolic Computation: Mathematical Methods 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••
7131 Cohen J.S. Computer algebra and symbolic computation 2003••
193597 Zippel R. Computer Algebra and Parallelism: Second International Workshop, Ithaca, USA, May 9-11, 1990. Proceedings 1992••
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••
105246 Seiler W.M. Computer algebra and differential equations: an overview 1997••
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••
106551 Bronstein M. Computer algebra algorithms for linear ODE and difference equs. (ECM) n/a••
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••
174038 Kotsireas I., Zima E. Computer Algebra 2006. Latest advances in symbolic algorithms. Proc. Waterloo Workshop 2007••
147438 Buchberger B., Collins G., Loos R. Computer Algebra 1983 •••
161850 van Hulzen J.A. Computer algebra 1983••
170595 Calmet J. Computer algebra 1982••
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••
80809 Bouajjani A. (Editor), Maler O. (Editor) Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings 2009 •••
140007 Gupta A., Malik S. Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings 2008••
134155 Thomas Ball, Robert B. Jones Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006 •••
137822 Ball T., Jones R. Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006••
159131 Grumberg O. Computer Aided Verification, 9 conf., CAV '97 1997 •••
188428 Alur R., Henzinger T. Computer Aided Verification, 8 conf., CAV '96 1996••
161875 Wolper P. Computer Aided Verification, 7 conf., CAV '95 1995 •••
146455 Dill D. Computer Aided Verification, 6 conf., CAV '94 1994••
183859 Courcoubetis C. Computer Aided Verification, 5 conf., CAV '93 1993••
171510 Larsen K., Skou A. Computer Aided Verification, 3 conf., CAV '91 1992••
78330 Gupta A., Malik S. Computer Aided Verification, 20 conf., CAV 2008 2008••
128651 Etessami K., Rajamani S. Computer Aided Verification, 17 conf., CAV 2005 2005 •••
182847 Alur R., Peled D. Computer Aided Verification, 16 conf., CAV 2004 2005••
157585 Hunt W.A.Jr., Somenzi F. Computer Aided Verification, 15 conf., CAV 2003 2003••
186522 Brinksma E., Larsen K. Computer Aided Verification, 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings 2002••
169227 Berry G., Comon H., Finkel A. Computer Aided Verification, 13 conf., CAV 2001 2001••
127167 Nicolas Halbwachs, Doron Peled Computer Aided Verification, 11 conf., CAV '99 1999 •••
138777 Hu A.J., Vardi M.Y. Computer Aided Verification, 10 conf., CAV '98 1998••
127154 Damm W., Hermanns H. Computer Aided Verification 2007••
130151 Clarke E.M., Kurshan R.P. Computer Aided Verification 1991••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå