√лавна€    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 ƒоп.
168528 Marker D. Model Theory: An Introduction 2002ХХ
148504 Haskell D., Pillay A., Steinhorn C. Model Theory, Algebra, and Geometry 2000ХХ
159560 Chatzidakis Z. Model theory with applications to algebra and analysis, 2008ХХ
153626 Evans D. Model Theory of Groups and Automorphism Groups (London Mathematical Society Lecture Note Series) 1997ХХ
172244 Nesin A. Model Theory of Groups (Notre Dame Mathematical Lectures) 1989ХХ
36871 Pacholski L. (Ed), Wilkie A.J. (Ed) Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz 1980 ХХХ
145715 Keisler H.J. Model Theory for Infinitary Logic: Logic with Countable Conjuctions and Finite Quantifiers 1971ХХ
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ХХ
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ХХ
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ХХ


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