√лавна€    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 ƒоп.
178348 Claeskens G., Hjort N. Model selection and model averaging 2008ХХ
193720 Claeskens G., Hjort N. Model Selection and Model Averaging 2008ХХ
83901 Gorban A.N. Model reduction and coarse-graining approaches for multiscale phenomena 2006 ХХХ
142442 Card J., Benner T. Model Programs for Adolescent Sexual Health: Evidence-Based HIV, STI, and Pregnancy Prevention Interventions 2008ХХ
179927 Schilders W., Vorst H., Rommes J. Model Order Reduction: Theory, Research Aspects and Applications (Mathematics in Industry The European Consortium for Mathematics in Industry) 2008ХХ
154758 Schilders W., Vorst H., Rommes J. Model order reduction: theory, research aspects and applications 2008ХХ
43052 McCall S. Model of the Universe: Space-Time, Probability, and Decision 1996 ХХХ
40684 Castle W.E. Model of the Linkage System of Eleven Second Chromosomegenes of Drosophila 1919ХХ
121381 Vladimir Privman Model of Cluster Growth and Phase Separation: Exact Results in One Dimension 1992ХХ
123147 Figotin A. Model of a Nonhomogeneous Medium Conducting Light 1992ХХ
29415 Konrad K. Model Generation for Natural Language Interpretation and Analysis 2004ХХ
170146 Konrad K. Model Generation for Natural Language Interpretation and Analysis 2004ХХ
96358 Percus J.K. Model for density variation at a fluid surface 1976ХХ
26969 Um P.N., Simon L. Model for Calculating Interconnection Costs in Telecommunications 2003ХХ
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ХХ
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ХХ
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ХХ
85052 Engels G., Opdyke B., Weil F. Model Driven Engineering Languages and Systems, 10 conf., MoDELS 2007 2007ХХ
141963 Schurr A., Selic B.V. Model Driven Engineering Languages and Systems 2009ХХ
83609 Gasevic D., Djuric D., Devedzic V. Model driven engineering and ontology development 2009 ХХХ
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ХХ
24719 Frankel D., Guttman M. Model Driven Architecture: Applying MDA to Enterprise Computing 2002ХХ
134792 Favre L. Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution 2010ХХ
28251 Gasevic D., Djuric D., Devedzic V. Model Driven Architecture and Ontology Development 2006ХХ
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ХХ
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ХХ
133739 Hartman A., Kreische D. Model Driven Architecture - Foundations and Applications 2005ХХ
119021  арпов ё.√. Model Checking. ¬ерификаци€ параллельных и распределенных программных систем 2010ХХ
81702 Bosnacki D. (Editor), Leue S. (Editor) Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings 2002 ХХХ
165869 Dwyer M. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings 2001ХХ
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ХХ
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ХХ
74696 Pasareanu C.S. Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings 2009ХХ
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 ХХХ
163432 Bosnacki D., Edelkamp S. Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings 2007ХХ
179049 Valmari A. Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 2006ХХ
152197 Thomas Ball, Sriram K. Rajamani Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings 2003 ХХХ
171703 Godefroid P. Model Checking Software, 12 conf. 2005ХХ
167487 Graf S., Mounier L. Model Checking Software 2004ХХ
80537 Edelkamp S.(ed.), Lomuscio A.(ed.) Model Checking and Artificial Intelligence, 4 conf 2007ХХ
9629 Clarke E.M., Grumberg O., Peled D.A. Model checking 2000ХХ
34378 Hovey M. Model Categories, Vol. 63 1998ХХ
2424 Hovey M. Model categories 1999ХХ
127709 Hovey M. Model categories 1998ХХ
41280 Hiemer M. Model based detection and reconstruction of road traffic accidents 2005ХХ
48627 Heinz Teutsch Model Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition 2007ХХ
123781 Gaveau B., Schulman L.S. Model Apparatus for Quantum Measurements 1990ХХ
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ХХ
80136 Ashey M. Model Aircraft Tips and Techniques: An Illustrated Guide 1997ХХ
182268 Mellodge P., Kachroo P. Model Abstraction in Dynamical Systems: Application to Mobile Robot Control 2008ХХ


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