Ãëàâíàÿ    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 Äîï.
65767 Chang C.C., Keisler H.J., Troelstra A.S. Model Theory 1990 •••
127562 Hodges W. Model theory 1993••
146346 Chang C., Keisler H. Model Theory (Studies in Logic and the Foundations of Mathematics) 1990••
171357 Saracino D., Weispfennig V. Model Theory and Algebra 1975••
37477 Saracino D.H. (Ed), Weispfenning V. B. (Ed) 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••
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••
blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå