Ãëàâíàÿ    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 Äîï.
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••
140452 Jones C., Liu Z., Woodcock J. Formal Methods and Hybrid Real-Time Systems 2007••
136091 Cliff B. Jones, Zhiming Liu, Jim Woodcock Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 2007 •••
139470 Jones C., Liu Z., Woodcock J. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays 2007••
175661 Breitman K., Cavalcanti A. Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering) 2009••
192774 George C., Miao H. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings 2002••
195401 Jin Song Dong, Jim Woodcock Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings 2003 •••
164066 Davies J., Schulte W., Barnett M. Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings 2004••
157519 Davies J., Schulte W., Barnett M. Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science) 2005••
150520 Lau K.-K., Banach R. Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, 2005••
147160 Liu Z., He J. Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 2006••
81694 Butler M. (Editor), Hinchey M.G. (Editor), Larrondo-Petrie M.M. (Editor) Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA 2007 •••
162100 Wolter K. Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 2007 •••
173090 Horvath A., Telek M. Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 2006••
144464 Hierons R. M., Bowen J. P., Harman M. Formal Methods and Testing: An Outcome of the FORTEST Network 2008 •••
78850 Aichernig B.K., Maibaum T. Formal Methods at the Crossroads: From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST the International Institute for Software Technology of The United Nations University Lisbon, Portugal, March 18-20, 2002 Revised Papers 2004••
131540 de Boer F.S., Bonsangue M.M. Formal Methods for Components and Objects 2011••
78339 de Boer F., Bonsangue M.M., Graf S. Formal Methods for Components and Objects, 5 conf., FMCO 2006 2007••
183594 Hahnle R., Giachino E., Boer F. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 2013••
195061 Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures 2003 •••
193153 Boer F., Bonsangue M., Graf S. Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures 2005••
134160 Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2008 •••
137829 Bernardo M., Degano P., Zavattaro G. Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2008••
155531 Marco Bernardo, Alessandro Cimatti Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2006 •••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå