√лавна€    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 ƒоп.
3580 Chagrov A., Zakharyaschev M. Modal logic 1997ХХ
74225 Ponse A., de Rijke M. Modal logic and process algebra: a bisimulation perspective 1995ХХ
188008 Ponse A., Rijke M., Venema Y. Modal logic and process algebra: A bisimulation perspective 1995ХХ
79603 Chellas B.F. Modal Logic: An Introduction 1980ХХ
79539 Fine K. Modality and Tense: Philosophical Papers 2005ХХ
148037 Hale B., Hoffmann A. Modality: Metaphysics, Logic, and Epistemology 2010ХХ
129437 Collins P. Modals and quasi-modals in English 2009ХХ
186258 Boccara N. Mode Complex Systems 2004ХХ
121346 Dufty J.W., Rodriguez R. Mode Coupling from Linear and Nonlinear Kinetic Equations 1983ХХ
123011 Datye V., Mathur R., Langer J. S. Mode Selection in a Caricature of Eutectic Solidification 1981ХХ
126226 de Schepper I. M., van Loef J. J., Haffmans A. F. E. M. Mode-Coupling Effects in the Density Dependence of the Shear Viscosities of Dense Argon and Methane 1989ХХ
124157 Beijeren H. Mode-Coupling Theory for Purely Diffusive Systems 1984ХХ
182268 Mellodge P., Kachroo P. Model Abstraction in Dynamical Systems: Application to Mobile Robot Control 2008ХХ
80136 Ashey M. Model Aircraft Tips and Techniques: An Illustrated Guide 1997ХХ
188652 Aguilera-Mendoza L., Llorente-Quesada M., Cuzzocrea A. Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings 2013ХХ
123781 Gaveau B., Schulman L.S. Model Apparatus for Quantum Measurements 1990ХХ
48627 Heinz Teutsch Model Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition 2007ХХ
41280 Hiemer M. Model based detection and reconstruction of road traffic accidents 2005ХХ
2424 Hovey M. Model categories 1999ХХ
127709 Hovey M. Model categories 1998ХХ
34378 Hovey M. Model Categories, Vol. 63 1998ХХ
9629 Clarke E.M., Grumberg O., Peled D.A. Model checking 2000ХХ
80537 Edelkamp S.(ed.), Lomuscio A.(ed.) Model Checking and Artificial Intelligence, 4 conf 2007ХХ
167487 Graf S., Mounier L. Model Checking Software 2004ХХ
171703 Godefroid P. Model Checking Software, 12 conf. 2005ХХ
152197 Thomas Ball, Sriram K. Rajamani Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings 2003 ХХХ
179049 Valmari A. Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 2006ХХ
163432 Bosnacki D., Edelkamp S. Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings 2007ХХ
80782 Havelund K. (Editor), Rupak Majumdar (Editor), Palsberg J. (Editor) Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings 2008 ХХХ
74696 Pasareanu C.S. Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings 2009ХХ
166583 Pasareanu C. Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues) 2009ХХ
144076 Pol J., Weber M. Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) 2010ХХ
165869 Dwyer M. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings 2001ХХ
81702 Bosnacki D. (Editor), Leue S. (Editor) Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings 2002 ХХХ
119021  арпов ё.√. Model Checking. ¬ерификаци€ параллельных и распределенных программных систем 2010ХХ
133739 Hartman A., Kreische D. Model Driven Architecture - Foundations and Applications 2005ХХ
160625 Schieferdecker I., Hartman A. Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings 2008ХХ
192310 Akehurst D., Vogel R., Paige R. Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings 2007ХХ
28251 Gasevic D., Djuric D., Devedzic V. Model Driven Architecture and Ontology Development 2006ХХ
134792 Favre L. Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution 2010ХХ
24719 Frankel D., Guttman M. Model Driven Architecture: Applying MDA to Enterprise Computing 2002ХХ
197002 U. Amann, M. Aksit, A. Rensink Model Driven Architecture: European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, 2005ХХ
83609 Gasevic D., Djuric D., Devedzic V. Model driven engineering and ontology development 2009 ХХХ
141963 Schurr A., Selic B.V. Model Driven Engineering Languages and Systems 2009ХХ
85052 Engels G., Opdyke B., Weil F. Model Driven Engineering Languages and Systems, 10 conf., MoDELS 2007 2007ХХ
167103 Petriu D., Rouquette N., Haugen O. Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I ... Programming and Software Engineering) 2010ХХ
160686 Briand L., Williams C. Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings 2005ХХ
133860 Nierstrasz O., Whittle J., Harel D. Model Driven Engineering Languages and Systems: 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings 2006ХХ
26969 Um P.N., Simon L. Model for Calculating Interconnection Costs in Telecommunications 2003ХХ
96358 Percus J.K. Model for density variation at a fluid surface 1976ХХ


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