√лавна€    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 ƒоп.
171357 Saracino D., Weispfennig V. Model Theory and Algebra 1975ХХ
37477 Saracino D.H. Model Theory and Algebra: A Memorial Tribute to Abraham Robinson 1975ХХ
54147 Bouscaren E. Model Theory and Algebraic Geometry 1998ХХ
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 ХХХ
157145 Prest M. Model Theory and Modules 1988ХХ
181420 Prest M. Model Theory and Modules 1988ХХ
193164 Prest M. Model Theory and Modules 1988ХХ
43281 Lawvere F.W. Model Theory And Topoi 1975ХХ
36377 Lawvere F.W., Maurer C., Wraith G.C. Model Theory and Topoi: A Collection of Lectures by Various Authors 1975ХХ
132814 Jerome Keisler H. Model theory for infinitary logic 1971ХХ
157520 Keisler H. Model Theory for Infinitary Logic (Studies in Logic and the Foundations of Mathematics, Volume 62) 1971ХХ
145715 Keisler H.J. Model Theory for Infinitary Logic: Logic with Countable Conjuctions and Finite Quantifiers 1971ХХ
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 ХХХ
172244 Nesin A. Model Theory of Groups (Notre Dame Mathematical Lectures) 1989ХХ
153626 Evans D. Model Theory of Groups and Automorphism Groups (London Mathematical Society Lecture Note Series) 1997ХХ
159560 Chatzidakis Z. Model theory with applications to algebra and analysis, 2008ХХ
148504 Haskell D., Pillay A., Steinhorn C. Model Theory, Algebra, and Geometry 2000ХХ
10231 Marker D. Model theory: An introduction 2002ХХ
168528 Marker D. Model Theory: An Introduction 2002ХХ
22490 Bousquet M. Model, Rig, Animate with 3ds max 7 2005ХХ
172259 Giese H., Karsai G., Lee E. Model-Based Engineering of Embedded Real-Time Systems: International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected ... / Programming and Software Engineering 2010ХХ
196815 S.X. Ding Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools 2008ХХ
183491 Magnani L. Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues 2014ХХ
47927 Magnani L., Li P. Model-Based Reasoning in Science, Technology, and Medicine 2007 ХХХ
161506 Magnani L., Li P. Model-Based Reasoning in Science, Technology, and Medicine 2007ХХ
12460 Candy J.V. Model-Based Signal Processing 2006ХХ
179037 Kutsche R., Milanovic N. Model-Based Software and Data Integration (Communications in Computer and Information Science, 8) 2008ХХ
131107 Kutsche R.-D., Milanovic N. Model-Based Software and Data Integration. First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008, Proceedings 2008ХХ
80531 Broy M.(ed.), Jonsson B.(ed.), Katoen J.- P.(ed.) Model-Based Testing of Reactive Systems, Advanced Lectures 2004 2005 ХХХ
178716 Broy M., Jonsson B., Katoen J. Model-Based Testing of Reactive Systems: Advanced Lectures 2005ХХ
183538 Jarzebowska E. Model-based tracking control of nonlinear systems 2012ХХ
79137 Quintarelli E. Model-Checking Based Data Retrieval. An Application to Semistructured and Temporal Data 2004ХХ
135127 Arend Rensink, Jos Warmer Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings 2006 ХХХ
138802 Rensink A., Warmer J. Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings 2006ХХ
29997 Pastor O., Molina J.C. Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling 2007ХХ
29170 Hruby P., Kiehn J., Scheller Ch.V. Model-Driven Design Using Business Patterns 2006 ХХХ
139790 Broy M., Kruger I., Meisinger M. Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised 2008ХХ
172222 Milicev D. Model-Driven Development with Executable UML (Wrox Programmer to Programmer) 2009ХХ
182750 Whittle J., Hutchinson J., Rouncefield M. Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 Ц October 4, 2013. Proceedings 2013ХХ
24125 Beydeda S., Book M., Gruhn V. (eds.) Model-Driven Software Development 2005ХХ
29998 Baker P., Haugen O., Schieferdecker I. Model-Driven Testing: Using the Uml Testing Profile 2007ХХ
77759 Baker P., Dai, Z.R., Grabowski J., Haugen O. Model-Driven Testing: Using the UML Testing Profile 2008ХХ
152089 Barwise J., Feferman S. Model-theoretic logics 1985ХХ
152176 Zeigler B., Hammonds P. Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange 2007ХХ
24126 Steed P. Modeling a Character in 3ds max 2005 ХХХ
29171 Steed P. Modeling a Character in 3DS Max 2001ХХ
80495 Villani E., Miyagi E., Valette R. Modeling and analysis of hybrid supervisory systems. A petri net approach 2007ХХ
176501 Guliato D., Rangayyan R. Modeling and Analysis of Shape: with Applications in Computer-Aided Diagnosis of Breast Cancer (Synthesis Lectures on Biomedical Engineering) 2011ХХ
25149 Hayes J.F., Ganesh Babu T.V.J. Modeling and Analysis of Telecommunications Networks 2004ХХ
132200 Yuriy K. Sirenko, Staffan Strom, Nataliya P. Yashina Modeling and Analysis of Transient Processes in Open Resonant Structures New Methods and Techniqu 2006 ХХХ


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