Ãëàâíàÿ    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 Äîï.
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••
213089 Clarke E. M. Model Checking 2018 •••
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••
29415 Konrad K. Model Generation for Natural Language Interpretation and Analysis 2004••
170146 Konrad K. Model Generation for Natural Language Interpretation and Analysis 2004••
212657 Gerken C. Model Immigrants and Undesirable Aliens 2013••
123147 Figotin A. Model of a Nonhomogeneous Medium Conducting Light 1992••
121381 Vladimir Privman Model of Cluster Growth and Phase Separation: Exact Results in One Dimension 1992••
40684 Castle W.E. Model of the Linkage System of Eleven Second Chromosomegenes of Drosophila 1919••
43052 McCall S. Model of the Universe: Space-Time, Probability, and Decision 1996 •••
154758 Schilders W., Vorst H., Rommes J. Model order reduction: theory, research aspects and applications 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••
142442 Card J., Benner T. Model Programs for Adolescent Sexual Health: Evidence-Based HIV, STI, and Pregnancy Prevention Interventions 2008••
83901 Gorban A.N. Model reduction and coarse-graining approaches for multiscale phenomena 2006 •••
212939 Linhart H. Model selection 1986••
193720 Claeskens G., Hjort N. Model Selection and Model Averaging 2008••
136243 Burnham K.P., Anderson D. Model Selection and Multimodel Inference: A Practical Information-theoretic Approach 2002 •••
43280 Cherlin G. Model Theoretic Algebra 1976••
91780 Jensen C.U., Lenzing H. Model Theoretic Algebra with particular emphasis on Fields, Rings, Modules 1989••
199242 Cherlin G. Model Theoretic Algebra. Selected Topics 1976••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå