Ãëàâíàÿ    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 Äîï.
106776 Kuo B. Automatic Control Systems Solutions 2002
114826 Golnaraghi F., Kuo B.C. Automatic Control Systems - Solutions Manual 2009
9309 Phelan R.M. Automatic Control Systems 1977
117083 Kuo B.C., Golnaradhi F. Automatic Control Systems n/a
57100 Blakelock J.H. Automatic Control of Aircraft and Missiles 2001
138069 Sinclair A. M. Automatic continuity of linear operators 1976
77876 Broersen P.M.T. Automatic Autocorrelation and Spectral Analysis 2006
150136 Alexander Franz Automatic Ambiguity Resolution in Natural Language Processing: An Empirical Approach 1996
27281 Metzger R., Wen Z. Automatic Algorithm Recognition and Replacement: A New Approach to Program Optimization 2000
104858 Automatentheorie und Logik 001 2004
105997 Ecker J. Automatentheorie und Kryptologie 2004
20034 Beyer R. Automatentheorie und Formale Sprachen I 1992
20035 Voller R. Automatentheorie und Formale Sprachen 1998
20057 Meinel C. Automatentheorie und Formale Sprachen 2000
20037 Aachen M. Automatentheorie 1996
107256 Kindler E., Manthey S. Automaten, Formale Sprachen und Berechenbarkeit I 2002
105447 Dietzfelbinger M. Automaten und Formale Sprachen 2005
197984 Venkataraman K. Automated Versus Floor Trading: An Analysis Of Execution Costs On The Paris And New York Exchanges n/a
170280 Tsay Y.-K., Peled D.A. Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings 2005
136965 Bouajjani A., Chin Wei-Ngan Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings 2010
78776 Namjoshi K.(ed.), Yoneda T.(ed.), Higashino T.(ed.) Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings 2007
132873 Susanne Graf, Wenhui Zhang Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings 2006
186189 Leroux J., Hung D., Ogawa M. Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings 2013
179846 Cha S., Choi J., Kim M. Automated Technology for Verification and Analysis, 6 conf., ATVA 2008 2008
75794 Farn W. Automated Technology for Verification and Analysis 2004
134756 Furbach U., Shankar N. Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006
192653 Basin D., Rusinowitch M. Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) 2005
192743 Basin D., Rusinowitch M. Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings 2005
132501 Gore R., Leitsch A., Nipkow T. Automated Reasoning: First International Joint Conference 2001
80750 Armando A. (ed.), Baumgartner P. (ed.), Dowek G. (ed.) Automated reasoning. Lecture notes in artificial intelligence 5195 2008
186322 Galmiche D., Larchey-Wendling D. Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings 2013
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
78598 Olivetti N. (ed.) Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence 4548 2007
199884 Beckert B. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005 2005
200311 Dyckhoff R. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000 2000
200001 Murray N.V. Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '99 1999
198019 Didier Galmiche Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX '97 1997
198079 Mayer M.C., Pirri F. Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2003, Rome, Italy, September 2003 2003
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
114314 Wong L.C.W. Automated reasoning about classical mechanics 1994
29253 Basin D. (Ed), Rusinowitch M. (Ed) Automated Reasoning 2004
200225 Nicolas Bruno Automated Physical Database Design and tuning 2011
78065 P. Pandurang Nayak Automated Modeling of Physical Systems 1995
175132 Christel M. Automated Metadata in Multimedia Information Systems: Creation, Refinement, Use in Surrogates, and Evaluation (Synthesis Lectures on Information Concepts, Retrieval & Services) 2009
39662 Young D., Ma J. Automated identification of Fos expression 2001
193582 Leacock C., Chodorow M., Gamon M. Automated Grammatical Error Detection for Language Learners 2010
11559 Komarinski P. Automated fingerprint identification systems 2005
156174 Kim D., Sung J. Automated Face Analysis: Emerging Technologies and Research (Premier Reference Source) 2009
134723 Roodyn D.B. Automated Enzyme Assays 1970
138680 Roodyn D. Automated Enzyme Assays 1970


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