Ãëàâíàÿ    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 Äîï.
44072 Miller G.A. Form of the Number of the Subgroups of a Prime Power Group 1923••
157552 Rodgers S. Form, Program, and Metaphor in the Music of Berlioz 2009••
211477 Celso Furtado Formação Econômica do Brasil 2017••
212311 Furtado C. Formação Econômica Do Brasil 2003••
51351 Banabic D., Pohlandt K., Bunge H.-J. Formability of Metallic Materials: Plastic Anisotropy, Formability Testing, Forming Limits 2000••
131828 Brauer W., Ehrig H. Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg 2002••
80463 Hinchey M.G.(ed.), Rash J.L.(ed.), Truszkowski W.F.(ed.) Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004 Greenbelt, MD, USA, April 26-27, 2004 Revised Selected Papers 2005 •••
139851 Rash J., Rouff C., Truszkowski W. Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers 2001••
192443 Hinchey M., Rash J., Truszkowski W. Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers 2003••
78030 Hinchey M.G. Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers 2005••
212126 B. Elan Dresher, Nila Friedberg Formal Approaches to Poetry Recent Developments in Metrics 2006••
165671 Havelund K., Nunez M., Rosu G. Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 2006••
153365 Grabowski J., Nielsen B. Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers 2005••
161650 Grieskamp W., Weise C. Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers 2006••
78940 Petrenko A., Ulrich A. Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada October 6th, 2003 Revised Papers 2004••
133938 Degano P., Guttman J. Formal Aspects in Security and Trust 2010••
78415 Dimitrakos T., Martinelli F., Ryan P.Y.A. Formal Aspects in Security and Trust, 4 conf., FAST 2006 2007••
157485 Degano P., Guttman J. Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers ... Computer Science Security and Cryptology) 2010••
135726 Theo Dimitrakos, Fabio Martinelli, Peter Y A Ryan Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers 2007 •••
139100 Dimitrakos T., Martinelli F., Ryan P. Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers 2007••
191582 Dimitrakos T., Martinelli F., Ryan R. Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers 2006••
78481 Storer T., Winter D. Formal Aspects of Cognitive Processes 1975 •••
191821 Storer T., Winter D. Formal Aspects of Cognitive Processes: Proceedings, Interdisciplinary Conference, Ann Arbor, March 1972 (Lecture Notes in Computer Science) 1975••
145473 Abdallah A.E., Ryan P., Schneider S. Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003••
13726 Gray J.W. Formal Category Theory: Adjointness for 2-Categories 1974••
9735 Savitch W.J., Marsh W., Bach M. (eds.) Formal Complexity of Natural Language 1987••
200308 Ferre S., Rudolph S. Formal Concept Analysis, 7 conf., ICFCA 2009 2009 •••
79171 Kuznetsov S.O. (ed.), Schmidt S. (ed.) Formal Concept Analysis. 5th International Conference, ICFCA 2007 Clermont-Ferrand, France, February 12-16, 2007 Proceedings 2007••
161870 Medina R, Obiedkov S. Formal Concept Analysis. 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings 2008••
168933 Missaoui R., Schmid J. Formal Concept Analysis: 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings 2006••
171281 Kwuida L., Sertkaya B. Formal Concept Analysis: 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings (Lecture Notes in Computer Science) 2010••
29926 Bella G. Formal Correctness of Security Protocols 2007••
162420 Lewerentz C., Lindner T. Formal Development of Reactive Systems: Case Study Production Cell 1995••
80529 Hußmann H. Formal Foundations for Software Engineeing Methods 1997 •••
130117 Hubmann H. Formal Foundations for Software Engineering Methods 1997 •••
170284 Edwards S.H., Kulczycki G. Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September ... Programming and Software Engineering) 2009••
186853 Morrill G., Nederhof M. Formal Grammar: 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, D?sseldorf, Germany, August 2013. Proceedings 2013••
32809 Fröhlich A. Formal Groups 1968••
158877 Hazewinkel M. Formal groups and applications 1978••
153496 Hazewinkel M. Formal groups and applications MAtg 1978••
10525 Gupta A. Formal Hardware Verification Methods: A Survey 1992••
151271 Maxwell III J., Kaplan R., Dalrymple M. Formal Issues in Lexical-Functional Grammar 1995••
126383 Louis H. Kauffman Formal knot theory 1983 •••
151363 Kauffman L. Formal Knot Theory 1983••
190967 Kauffman L. Formal Knot Theory (Mathematical Notes, No. 30) 1983••
131527 Salomaa A. Formal Languages 1973••
167896 Salomaa A. Formal languages 1973••
188397 Salomaa A. Formal languages 1973••
152188 Stefano Crespi Reghizzi Formal Languages and Compilation (Texts in Computer Science) 2009 •••
147547 Douglas C.A. Formal Mentoring Programs in Organizations: An Annotated Bibliography 1997••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå