Ãëàâíàÿ    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 Äîï.
11778 Computer (September 2004) 2004••
179207 Allen P. Computer Active 20 January – 2 February 2011 n/a••
82838 Leondes C.T. Computer aided and integrated manufacturing systems 2004••
155570 Leondes C.T. Computer Aided and Integrated Manufacturing Systems, Vol. 3: Optimization Methods 2002••
175522 Leondes C. Computer Aided and Integrated Manufacturing Systems: Volume 2 Intelligent Systems Technologies 2003••
135901 Brown A. Computer Aided Architectural Design Futures 2005 2005••
126685 Chen W.-K. Computer Aided Design and Design Automation 2009 •••
149545 Patil R. Computer Aided Engineering Graphics: (as Per the New Syllabus, B. Tech. I Year of U.P. Technical University) 2009••
156560 Coderre D. Computer Aided Fraud Prevention and Detection: A Step by Step Guide 2009••
162906 Coderre D. Computer Aided Fraud Prevention and Detection: A Step by Step Guide 2009••
53685 Farin G.E., Prautzsch H. Computer Aided Geometric Design (1985-2) 1985••
144158 Barnhill R. Computer Aided Geometric Design: Proc. University of Utah 1974••
193777 Sanchez A., Castro I. Computer Aided Learning and Instruction in Science and Engineering: Third International Conference, CALISCE'96, San Sebastian, Spain, July 29 - 31, ... 1996••
144206 Hill F.J., Peterson G.R. Computer Aided Logical Design with Emphasis on VLSI 1993 •••
137287 Bogle I. D. L., Zilinskas J. Computer Aided Methods in Optimal Design and Operations 2006••
50266 Achenie L., Gani R., Venkatasubramanian V. Computer Aided Molecular Design 2002••
148268 Achenie L., Venkatasubramanian V., Gani R. Computer Aided Molecular Design: Theory and Practice, Volume 12 (Computer Aided Chemical Engineering) 2003••
171297 Diaz R., Pichler F., Arencibia A. Computer Aided Systems Theory EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 2005••
195372 Oren T.I. (Ed.), Klir G.J. (Ed.) Computer Aided Systems Theory - CAST '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers: CAST '94 - International ... Papers 4th 1996 •••
163884 Pichler F., Diaz R. Computer Aided Systems Theory - EUROCAST '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, ... 2nd 1992••
196407 F. Pichler, R.M.Diaz Computer Aided Systems Theory - EUROCAST '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las ... 3rd 1994••
130482 Pichler F., Moreno-Diaz R., Albrecht R. Computer Aided Systems Theory - EUROCAST '95: A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory 1996••
152515 Pichler F., Moreno-Diaz R. Computer Aided Systems Theory - EUROCAST '97: A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas ... 1997, Proceedings 1997••
78929 Moreno-Diaz R., Buchberger B. Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 Revised Papers 2001••
175307 Diaz R., Pichler F. Computer Aided Systems Theory - EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February ... Papers 2003••
78979 Díaz R.M., Pichler F., Arencibia A.Q. Computer Aided Systems Theory - EUROCAST 2007: 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, SpainFebruary 12-16, 2007 Revised Selected Papers 2007••
172728 Moreno-Diaz R., Pichler F., Quesada-Arencibia A. Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, ... Computer Science and General Issues) 2009••
195746 F. Pichler, R. Moreno-Diaz, P. Kopacek Computer Aided Systems Theory - EUROCAST'99: A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna 2000 •••
127154 Damm W., Hermanns H. Computer Aided Verification 2007••
130151 Clarke E.M., Kurshan R.P. Computer Aided Verification 1991••
138777 Hu A.J., Vardi M.Y. Computer Aided Verification, 10 conf., CAV '98 1998••
127167 Nicolas Halbwachs, Doron Peled Computer Aided Verification, 11 conf., CAV '99 1999 •••
169227 Berry G., Comon H., Finkel A. Computer Aided Verification, 13 conf., CAV 2001 2001••
186522 Brinksma E., Larsen K. Computer Aided Verification, 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings 2002••
157585 Hunt W.A.Jr., Somenzi F. Computer Aided Verification, 15 conf., CAV 2003 2003••
182847 Alur R., Peled D. Computer Aided Verification, 16 conf., CAV 2004 2005••
128651 Etessami K., Rajamani S. Computer Aided Verification, 17 conf., CAV 2005 2005 •••
78330 Gupta A., Malik S. Computer Aided Verification, 20 conf., CAV 2008 2008••
171510 Larsen K., Skou A. Computer Aided Verification, 3 conf., CAV '91 1992••
183859 Courcoubetis C. Computer Aided Verification, 5 conf., CAV '93 1993••
146455 Dill D. Computer Aided Verification, 6 conf., CAV '94 1994••
161875 Wolper P. Computer Aided Verification, 7 conf., CAV '95 1995 •••
188428 Alur R., Henzinger T. Computer Aided Verification, 8 conf., CAV '96 1996••
159131 Grumberg O. Computer Aided Verification, 9 conf., CAV '97 1997 •••
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••
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 •••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå