Ãëàâíàÿ    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 Äîï.
157520 Keisler H. Model Theory for Infinitary Logic (Studies in Logic and the Foundations of Mathematics, Volume 62) 1971••
132814 Jerome Keisler H. Model theory for infinitary logic 1971••
36377 Lawvere F.W., Maurer C., Wraith G.C. Model Theory and Topoi: A Collection of Lectures by Various Authors 1975••
43281 Lawvere F.W. Model Theory And Topoi 1975••
157145 Prest M. Model Theory and Modules 1988••
193164 Prest M. Model Theory and Modules 1988••
61252 Berline C., McAloon K., Ressayre J.-P. Model Theory and Arithmetic: Comptes Rendus D'Une Action Thematique Programmee Du C.N.R.S. Sur La Theorie Des Modeles Et L'Arithmetique, Paris, Fra 1981 •••
54147 Bouscaren E. Model Theory and Algebraic Geometry 1998••
37477 Saracino D.H. (Ed), Weispfenning V. B. (Ed) Model Theory and Algebra: A Memorial Tribute to Abraham Robinson 1975••
171357 Saracino D., Weispfennig V. Model Theory and Algebra 1975••
146346 Chang C., Keisler H. Model Theory (Studies in Logic and the Foundations of Mathematics) 1990••
65767 Chang C.C., Keisler H.J., Troelstra A.S. Model Theory 1990 •••
127562 Hodges W. Model theory 1993••
199242 Cherlin G. Model Theoretic Algebra. Selected Topics 1976••
91780 Jensen C.U., Lenzing H. Model Theoretic Algebra with particular emphasis on Fields, Rings, Modules 1989••
43280 Cherlin G. Model Theoretic Algebra 1976••
136243 Burnham K.P., Anderson D. Model Selection and Multimodel Inference: A Practical Information-theoretic Approach 2002 •••
193720 Claeskens G., Hjort N. Model Selection and Model Averaging 2008••
212939 Linhart H. Model selection 1986••
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••
212657 Gerken C. Model Immigrants and Undesirable Aliens 2013••
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••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå