Ãëàâíàÿ    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 Äîï.
10525 Gupta A. Formal Hardware Verification Methods: A Survey 1992••
153496 Hazewinkel M. Formal groups and applications MAtg 1978••
158877 Hazewinkel M. Formal groups and applications 1978••
32809 Fröhlich A. Formal Groups 1968••
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••
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••
130117 Hubmann H. Formal Foundations for Software Engineering Methods 1997 •••
80529 Hußmann H. Formal Foundations for Software Engineeing Methods 1997 •••
162420 Lewerentz C., Lindner T. Formal Development of Reactive Systems: Case Study Production Cell 1995••
29926 Bella G. Formal Correctness of Security Protocols 2007••
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••
168933 Missaoui R., Schmid J. Formal Concept Analysis: 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings 2006••
161870 Medina R, Obiedkov S. Formal Concept Analysis. 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings 2008••
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••
200308 Ferre S., Rudolph S. Formal Concept Analysis, 7 conf., ICFCA 2009 2009 •••
9735 Savitch W.J., Marsh W., Bach M. (eds.) Formal Complexity of Natural Language 1987••
13726 Gray J.W. Formal Category Theory: Adjointness for 2-Categories 1974••
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••
191821 Storer T., Winter D. Formal Aspects of Cognitive Processes: Proceedings, Interdisciplinary Conference, Ann Arbor, March 1972 (Lecture Notes in Computer Science) 1975••
78481 Storer T., Winter D. Formal Aspects of Cognitive Processes 1975 •••
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••
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••
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••
78415 Dimitrakos T., Martinelli F., Ryan P.Y.A. Formal Aspects in Security and Trust, 4 conf., FAST 2006 2007••
133938 Degano P., Guttman J. Formal Aspects in Security and Trust 2010••
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••
161650 Grieskamp W., Weise C. Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers 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••
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••
212126 B. Elan Dresher, Nila Friedberg Formal Approaches to Poetry Recent Developments in Metrics 2006••
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••
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••
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••
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 •••
131828 Brauer W., Ehrig H. Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg 2002••
51351 Banabic D., Pohlandt K., Bunge H.-J. Formability of Metallic Materials: Plastic Anisotropy, Formability Testing, Forming Limits 2000••
211477 Celso Furtado Formação Econômica do Brasil 2017••
212311 Furtado C. Formação Econômica Do Brasil 2003••
157552 Rodgers S. Form, Program, and Metaphor in the Music of Berlioz 2009••
44072 Miller G.A. Form of the Number of the Subgroups of a Prime Power Group 1923••
41330 Miller G.A. Form of the Number of the Prime Power Subgroups of an Abelian Group 1926••
147815 Webster G., Goodwin B. Form and Transformation: Generative and Relational Principles in Biology 1996••
16117 Miner R. Form And Pattern As A Trading Tool 1991••
177496 Laubichler M., Maienschein J. Form and Function in Developmental Evolution 2009••
77349 Summers R.S. Form and Function in a Legal System: A General Study 2005••
216784 James McElvenny Form and formalism in linguistics n/a••
214444 Harrison B. FORM AND CONTENT 1973••
140173 Maiese K. Forkhead Transcription Factors: Vital Elements in Biology and Medicine 2009••
190308 Frias M. Fork Algebras in Algebra, Logic and Computer Science (Advances in Logic, 2) 2002••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2025
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå