Ãëàâíàÿ    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 Äîï.
137645 Caferra R., Salzer G. Automated Deduction in Classical and Non-Classical Logics 2000••
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••
151748 Pfenning F. Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings 2007••
180407 Baader F. Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings 2003••
173470 Voronkov A. Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings 2002••
168711 McAllester D. Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings 2000••
135019 Ganzinger H. Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings 1999••
141609 Kirchner C., Kirchner H. Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings 1998••
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••
149915 Kapur D. Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings 1992••
165820 Nieuwenhuis R. Automated Deduction CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings 2005••
25355 Bissett B. Automated Data Analysis Using Excel 2007••
2617 Smith C.A. Automated Continuous Process Control 2002••
135051 Fritzson P. Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link?ping, Sweden, May 3-5, 1993. Proceedings 1993••
2619 Salomaa A., Soittola M. Automata-Theoretic Aspects of Formal Power Series 1978••
133056 Samuel Eilenberg, Bret Tilson Automata, languages, and machines. Volume B 1976••
126544 Eilenberg S. Automata, languages, and machines. Volume A 1974••
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••
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 •••
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••
79083 Aceto L.(ed.), Damgaard I.(ed.), Goldberg L.A.(ed.) Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II 2008••
171602 Aceto L., Damgaard I., Goldberg L. Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I (Lecture Notes in Computer Science) 2008••
78158 Aceto L. (ed.), Damgård I. (ed.), Goldberg L.A. (ed.) Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I 2008••
78164 Díaz J. (ed.), Karhumäki J. (ed.), Lepistö A. (ed. Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings 2005••
153303 Nielsen M., Schmidt E. Automata, Languages and Programming, 9 conf 1982••
164537 Even S., Kariv O. Automata, Languages and Programming, 8 conf 1981••
128770 Maurer H. A. Automata, Languages and Programming, 6 conf 1979 •••
176993 Ausiello G., Bohm C. Automata, Languages and Programming, 5 conf 1978••
138697 Salomaa A., Steinby M. Automata, Languages and Programming, 4 conf 1977••
126910 Michele Bugliesi, Bart Preneel, Vladimiro Sassone Automata, Languages and Programming, 33 conf., ICALP 2006 2006 •••
129473 Bugliesi M., Preneel B., Sassone V. Automata, Languages and Programming, 33 conf., ICALP 2006 2006 •••
155306 Caires L., Italiano G., Monteiro L. Automata, Languages and Programming, 32 conf., ICALP 2005 2005••
185973 Baeten J., Lenstra J., Parrow J. Automata, Languages and Programming, 30 conf., ICALP 2003 2003••
152892 Spirakis P., Orejas F., Leeuwen J. Automata, Languages and Programming, 28 conf., ICALP 2001 2001••
136495 Montanari U., Rolim J., Welzl E. Automata, Languages and Programming, 27 conf., ICALP 2000 2000••
179007 Wiedermann J., Boas P., Nielsen M. Automata, Languages and Programming, 26 conf., ICALP'99 1999••
139286 Larsen K.G., Skyum S., Winskel G. Automata, Languages and Programming, 25 conf., ICALP'98 1998••
173371 Degano P., Gorrieri R., Marchetti-Spaccamela A. Automata, Languages and Programming, 24 conf., ICALP97 1997••
165857 Heide F., Monien B. Automata, Languages and Programming, 23 conf., ICALP96 1996••
139259 Fulop Z., Gecseg F. Automata, Languages and Programming, 22 conf., ICALP95 1995••
152351 Abiteboul S., Shamir E. Automata, Languages and Programming, 21 conf., ICALP94 1994••
160904 Linga A., Karlsson R., Carlsson S. Automata, Languages and Programming, 20 conf., ICALP93 1993••
179198 Loeckx J. Automata, Languages and Programming, 2 conf 1974••
151887 Kuich W Automata, Languages and Programming, 19 conf., ICALP92 1992••
183957 Albert J., Monien B., Artalejo M. Automata, Languages and Programming, 18 conf., ICALP91 1991••
157263 Paterson M. Automata, Languages and Programming, 17 conf., ICALP90 1990••
185926 Lepisto T., Salomaa A. Automata, Languages and Programming, 15th International Colloquium Tampere, Finland, July 11-15, 1988 Proceedings 1988••
158054 Ottmann T. Automata, Languages and Programming, 14 conf., ICALP87 1987••
164563 Kott L. Automata, Languages and Programming, 13 conf 1986••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå