Ãëàâíàÿ    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 Äîï.
34092 Pickover C.A. Mobius Strip: Dr. August Mobius's Marvelous Band in Mathematics, Games, Literature, Art, Technology, and Cosmology 2006
191265 Kitagawa M., Windsor B. MoCap for Artists: Workflow and Techniques for Motion Capture 2008
3580 Chagrov A., Zakharyaschev M. Modal logic 1997
74225 Ponse A., de Rijke M. Modal logic and process algebra: a bisimulation perspective 1995
188008 Ponse A., Rijke M., Venema Y. Modal logic and process algebra: A bisimulation perspective 1995
79603 Chellas B.F. Modal Logic: An Introduction 1980
79539 Fine K. Modality and Tense: Philosophical Papers 2005
148037 Hale B., Hoffmann A. Modality: Metaphysics, Logic, and Epistemology 2010
129437 Collins P. Modals and quasi-modals in English 2009
186258 Boccara N. Mode Complex Systems 2004
121346 Dufty J.W., Rodriguez R. Mode Coupling from Linear and Nonlinear Kinetic Equations 1983
123011 Datye V., Mathur R., Langer J. S. Mode Selection in a Caricature of Eutectic Solidification 1981
126226 de Schepper I. M., van Loef J. J., Haffmans A. F. E. M. Mode-Coupling Effects in the Density Dependence of the Shear Viscosities of Dense Argon and Methane 1989
124157 Beijeren H. Mode-Coupling Theory for Purely Diffusive Systems 1984
182268 Mellodge P., Kachroo P. Model Abstraction in Dynamical Systems: Application to Mobile Robot Control 2008
80136 Ashey M. Model Aircraft Tips and Techniques: An Illustrated Guide 1997
188652 Aguilera-Mendoza L., Llorente-Quesada M., Cuzzocrea A. Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings 2013
123781 Gaveau B., Schulman L.S. Model Apparatus for Quantum Measurements 1990
48627 Heinz Teutsch Model Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition 2007
41280 Hiemer M. Model based detection and reconstruction of road traffic accidents 2005
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
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


blank
HR
@Mail.ru
© Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01!| Valid CSS! Î ïðîåêòå