√лавна€    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 ƒоп.
151583 Pettersson P., Yi W. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings 2005ХХ
155593 Larsen K., Niebert P. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers 2004ХХ
195337 Chatterjee K. (Ed.), Henzinger T.A. (Ed.) Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Computer Science and General Issues) 2010 ХХХ
170257 Asarin E., Bouyer P. Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings 2006ХХ
150009 Ouaknine J., Vaandrager F. Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings 2009ХХ
78277 Raskin J., Thiagarajan P.S. Formal Modeling and Analysis of Timed Systems, 5 conf., FORMATS 2007 2007ХХ
10433 Clarke A.M., Wing J.M. Formal Methods: State of Art and Future Directions 1996ХХ
186897 Braga C., Moura L., Iyoda J. Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings 2013ХХ
158615 Marcel Vinicius Medeiros Oliveira, Jim Woodcock Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering) 2009 ХХХ
159851 Brim L., Haverkort B., Leucker M. Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th 2007ХХ
136173 Brim L. (ed.), Haverkort B. (ed.), Leucker M. (ed.) Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems 2007ХХ
193665 Fisher J. Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings 2008ХХ
126905 Hans-Jorg Kreowski, Ugo Montanari, Fernando Orejas Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday 2005 ХХХ
133541 Bjorner D., Broy M., Pottosin I.V. Formal Methods in Programming and Their Applications 1993ХХ
165366 Hunt W., Johnson S. Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings 2000ХХ
143654 Gopalakrishnan G., Windley P. Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings 1998ХХ
139866 Srivas M., Camilleri A. Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings 1996ХХ
159317 Hu A., Martin A. Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science, 3312) 2005ХХ
127074 Alan J. Hu, Andrew K. Martin Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004 2004 ХХХ
129456 Hu A., Martin A. Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004 2005 ХХХ
148423 Aagaard M., O'Leary J. Formal Methods in Computer-Aided Design 2002ХХ
9730 Ramsay A. Formal Methods in Artificial Intelligence 1988ХХ
172621 Ramsay A. Formal Methods in Artificial Intelligence 1988ХХ
141575 Bernardo M., Padovani L., Zavattaro G. Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering 2009ХХ
85719 Bernardo M., Inverardi P. Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures 2003ХХ
195332 Katoen J.-P. (Ed.) Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings: ... - Proceedings 5th 1999 ХХХ
145945 Aldini A., Bernardo M., Di Pierro A. Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering) 2010ХХ
78283 Bernardo M., Hillston J. Formal Methods for Performance Evaluation, 7 school, SFM 2007 2007ХХ
152514 Gorrieri R., Wehrheim H. Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, 2006ХХ
192261 Steffen M. Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, 2005ХХ
180493 Barthe G., Boer F. Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings 2008ХХ
79147 Bonsangue M.M. (ed.), Johnsen E.B. (ed.) Formal Methods for Open Object-Based Distributed Systems. 9th IFIP WG 6.1 International Conference FMOODS 2007 Paphos, Cyprus, June 6-8, 2007 Proceedings 2007ХХ
85055 Najm E., Nestmann U., Stevens P. Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003 2004ХХ
81636 Bernardo M. (Editor), Bogliolo A. (Editor) Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005 2008 ХХХ
183274 Pecheur C., Dierkes M. Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings 2013ХХ
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ХХ
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ХХ
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ХХ
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 ХХХ
179600 Abrial J., Borger E., Langmaack H. Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995 1996ХХ
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 ХХХ
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ХХ
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ХХ
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 ХХХ
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ХХ
78339 de Boer F., Bonsangue M.M., Graf S. Formal Methods for Components and Objects, 5 conf., FMCO 2006 2007ХХ
131540 de Boer F.S., Bonsangue M.M. Formal Methods for Components and Objects 2011ХХ
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ХХ
144464 Hierons R. M., Bowen J. P., Harman M. Formal Methods and Testing: An Outcome of the FORTEST Network 2008 ХХХ


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