√лавна€    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 ƒоп.
139286 Larsen K.G., Skyum S., Winskel G. Automata, Languages and Programming, 25 conf., ICALP'98 1998ХХ
179007 Wiedermann J., Boas P., Nielsen M. Automata, Languages and Programming, 26 conf., ICALP'99 1999ХХ
136495 Montanari U., Rolim J., Welzl E. Automata, Languages and Programming, 27 conf., ICALP 2000 2000ХХ
152892 Spirakis P., Orejas F., Leeuwen J. Automata, Languages and Programming, 28 conf., ICALP 2001 2001ХХ
185973 Baeten J., Lenstra J., Parrow J. Automata, Languages and Programming, 30 conf., ICALP 2003 2003ХХ
155306 Caires L., Italiano G., Monteiro L. Automata, Languages and Programming, 32 conf., ICALP 2005 2005ХХ
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 ХХХ
138697 Salomaa A., Steinby M. Automata, Languages and Programming, 4 conf 1977ХХ
176993 Ausiello G., Bohm C. Automata, Languages and Programming, 5 conf 1978ХХ
128770 Maurer H. A. Automata, Languages and Programming, 6 conf 1979 ХХХ
164537 Even S., Kariv O. Automata, Languages and Programming, 8 conf 1981ХХ
153303 Nielsen M., Schmidt E. Automata, Languages and Programming, 9 conf 1982ХХ
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ХХ
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ХХ
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ХХ
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ХХ
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ХХ
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ХХ


blank
HR
@Mail.ru
© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2017
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте