Ãëàâíàÿ    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 Äîï.
167007 Albers S., Marchetti-Spaccamela A., Matias Y. Automata, Languages and Programming: 36 conf., ICALP 2009, 2009••
167051 Albers S., Marchetti-Spaccamela A., Matias Y. Automata, Languages and Programming: 36 conf., ICALP 2009, 2009••
136390 Albers S., Marchetti-Spaccamela A., Matias Y. Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II 2009 •••
169896 Abramsky S., Gavoille C., Kirchner C. Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I (Lecture Notes ... Computer Science and General Issues) 2010••
126544 Eilenberg S. Automata, languages, and machines. Volume A 1974••
133056 Samuel Eilenberg, Bret Tilson Automata, languages, and machines. Volume B 1976••
2619 Salomaa A., Soittola M. Automata-Theoretic Aspects of Formal Power Series 1978••
135051 Fritzson P. Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link?ping, Sweden, May 3-5, 1993. Proceedings 1993••
2617 Smith C.A. Automated Continuous Process Control 2002••
25355 Bissett B. Automated Data Analysis Using Excel 2007••
165820 Nieuwenhuis R. Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings 2005••
149915 Kapur D. Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings 1992••
145019 McCune W. Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings ... / Lecture Notes in Artificial Intelligence 1997••
141609 Kirchner C., Kirchner H. Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings 1998••
135019 Ganzinger H. Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings 1999••
168711 McAllester D. Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings 2000••
173470 Voronkov A. Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings 2002••
180407 Baader F. Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings 2003••
151748 Pfenning F. Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings 2007••
154798 McRobbie M., Slaney J. Automated Deduction CADE-13: 13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings: ... 13th 1996••
137645 Caferra R., Salzer G. Automated Deduction in Classical and Non-Classical Logics 2000••
74654 McCune W., Padmanabhan R. Automated Deduction in Equational Logic and Cubic Curves 1996••
28706 Winkler F. Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002: Revised Papers 2004••
173852 Hong H., Wang D. Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers 2006••
142039 Botana F., Recio T. Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers 2007••
188571 Beeson M., Ida T., Fleuriot J. Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers 2013••
174024 Gao X., Wang D., Yang L. Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings 1999••
177041 Richter-Gebert J., Wang D. Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers 2001••
162130 Hahnle R. Automated deduction in multiple-valued logics 1994••
134546 Alan Bundy Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings 1994 •••
138170 Bundy A. Automated Deduction, Cade-12: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings 1994••
134723 Roodyn D.B. Automated Enzyme Assays 1970••
138680 Roodyn D. Automated Enzyme Assays 1970••
156174 Kim D., Sung J. Automated Face Analysis: Emerging Technologies and Research (Premier Reference Source) 2009••
11559 Komarinski P. Automated fingerprint identification systems 2005••
193582 Leacock C., Chodorow M., Gamon M. Automated Grammatical Error Detection for Language Learners 2010••
39662 Young D., Ma J. Automated identification of Fos expression 2001••
175132 Christel M. Automated Metadata in Multimedia Information Systems: Creation, Refinement, Use in Surrogates, and Evaluation (Synthesis Lectures on Information Concepts, Retrieval & Services) 2009••
78065 P. Pandurang Nayak Automated Modeling of Physical Systems 1995 •••
200225 Nicolas Bruno Automated Physical Database Design and tuning 2011••
29253 Basin D. (Ed), Rusinowitch M. (Ed) Automated Reasoning 2004••
114314 Wong L.C.W. Automated reasoning about classical mechanics 1994••
197975 Egly U. (ed.), Fermüller C.G. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings 2002 •••
198079 Mayer M.C., Pirri F. Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Rome, Italy, September 2003 2003 •••
198019 Didier Galmiche Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '97 1997 •••
200001 Murray N.V. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '99 1999 •••
200311 Dyckhoff R. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 2000 •••
199884 Beckert B. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005 2005••
78598 Olivetti N. (ed.) Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548 2007••
140363 Giese M., Waaler A. Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 2009••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå