√лавна€    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 ƒоп.
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 ХХХ
179600 Abrial J., Borger E., Langmaack H. Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995 1996ХХ
195675 S. Leue, P. Merino Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers 2008 ХХХ
180850 Cofer D., Fantechi A. Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers ... Programming and Software Engineering) 2009ХХ
145585 Alpuente M., Cook B., Joubert C. Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering) 2009ХХ
154495 Kowalewski S., Roveri M. Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture ... Programming and Software Engineering) 2010ХХ
183274 Pecheur C., Dierkes M. Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings 2013ХХ
81636 Bernardo M. (Editor), Bogliolo A. (Editor) Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005 2008 ХХХ


blank
HR
@Mail.ru
© Ёлектронна€ библиотека попечительского совета мехмата ћ√”, 2004-2021
Ёлектронна€ библиотека мехмата ћ√” | Valid HTML 4.01!| Valid CSS! ќ проекте