Ãëàâíàÿ    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 Äîï.
11216 Fant K.M. Logically Determined Design 2005
10126 Thomason R.H. Logicism: Exact Philosophy, Linguistics and Artificial Intelligence 1995
187823 Singh A. Logics for Computer Science 2003
198253 Moller F., Birtwistle G. Logics for Concurrency - Structure versus Automata, 8 conf 1996
169278 Moller F., Birtwistle G. Logics for Concurrency: Structure versus Automata (Lecture Notes in Computer Science) 1996
182353 Eijck J. Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings 1991
190091 Pearce D., Wagner G. Logics in AI: European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings 1992
155576 Flesca S., Ianni G. Logics in Artificial Intelligence 2002
194885 Alferes J., Pereira L., Orlowska E. Logics in Artificial Intelligence 1996
89072 Ojeda-Aciego M., Guzman I.P., Brewka G. Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga 2000
131515 Dix J., Del Cerro F.L., Furbach U. Logics in Artificial Intelligence, JELIA '98: European Workshop, Jelia'98, Dagstuhl, Germany, October 12-15, 1998: Proceedings 1998
159174 Fisher M., Hoek W., Konev B. Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings 2006
168951 Janhunen T., Niemela I. Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings (Lecture Notes in ... Lecture Notes in Artificial Intelligence) 2010
29404 Jose J.A. (ed.), Leite J. (ed.) Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings 2004
172362 Alferes J., Leite J. Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings 2004
135678 Jose Julio Alferes, Joao Leite Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) 2004
139044 Alferes J., Leite J. Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) 2005
173577 MacNish C., Pearce D., Pereira L. Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings 1994
187261 Mogavero F. Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics Atlantis Studies in Computing Volume 3 2013
169999 Engeler E. Logics of Programs 1979 1981
140718 Kozen D. Logics of Programs 1981 1982
179603 Parikh R. Logics of Programs 1985 1985
130389 Salwicki A. Logics of Programs and Their Applications 1983
145979 Goldblatt R. Logics of time and computation 1992
188357 Goldblatt R. Logics of time and computation 1992
106198 Tarski A. Logics, Semantics, Mathematics 1956
138073 Atzeni P. LOGIDATA+: Deductive Databases with Complex Objects 1993
152420 Atzeni P. LOGIDATA+: Deductive Databases with Complex Objects (Lecture Notes in Computer Science) 1993
77789 Schoning U. Logik fur Informatiker 2000
108064 Setzer A. Logik MN2 1997
20240 Meinel C. Logikminimierung 1995
22723 Smolka G., Schulte C. Logische Programmierung 1993
20242 Thiele H. Logische Systeme der Informatik n/a
149124 David G. Kleinbaum, Mitchel Klein Logistic Regression: A Self-learning Text 2002
67930 Christopher M. Logistics & Supply Chain Management: creating value-adding networks 2005
23415 Fernie J., Sparks L. Logistics and Retail Management 2004
64747 G. Don Taylor (editor) Logistics Engineering Handbook 2007
198735 Daganzo C.F. Logistics Systems Analysis 1996
22135 Waters D. Logistics: An Introduction to Supply Chain Management 2003
160695 Kreczmar A., Salwicki A., Warpechowski M. LOGLAN '88 - Report on the Programming Language 1990
64736 Gardner B., Fishel C. LogoLounge 2. 2,000 International Identities by Leading Designers 2005
212354 Erich Gräßer Logos Festschrift für Luise Abramowski 1993
212152 Carl Andresen Logos und Nomos die polemik des kelsos wider das christentum 1955
174513 Sandru I. Loi de translation des reperes sur les courbes integrales d'un champ vectoriel et connexions 1992
36094 Gabriel P., Ulmer F. Lokal prasentierbare Kategorien 1971
106477 Bostelmann H. Lokale Algebren und Operatorprodukte am Punkt 2000
30232 Cassis Y., Bussiere E. London and Paris as International Finance Centres, 1890-2000 2005
77799 Olson D. London For Dummies 2008
200197 Theodora Bynon London Oriental and African Language Library 2011
44250 Genta G. Lonely Minds in the Universe: The Search for Extraterrestrial Intelligence 2007


blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå