√лавна€    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 ƒоп.
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ХХ
74696 Pasareanu C.S. Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings 2009ХХ
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 ХХХ
163432 Bosnacki D., Edelkamp S. Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings 2007ХХ
179049 Valmari A. Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 2006ХХ
152197 Thomas Ball, Sriram K. Rajamani Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings 2003 ХХХ
171703 Godefroid P. Model Checking Software, 12 conf. 2005ХХ
167487 Graf S., Mounier L. Model Checking Software 2004ХХ
80537 Edelkamp S.(ed.), Lomuscio A.(ed.) Model Checking and Artificial Intelligence, 4 conf 2007ХХ
9629 Clarke E.M., Grumberg O., Peled D.A. Model checking 2000ХХ
34378 Hovey M. Model Categories, Vol. 63 1998ХХ
2424 Hovey M. Model categories 1999ХХ
127709 Hovey M. Model categories 1998ХХ
41280 Hiemer M. Model based detection and reconstruction of road traffic accidents 2005ХХ
48627 Heinz Teutsch Model Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition 2007ХХ
123781 Gaveau B., Schulman L.S. Model Apparatus for Quantum Measurements 1990ХХ
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ХХ
80136 Ashey M. Model Aircraft Tips and Techniques: An Illustrated Guide 1997ХХ
182268 Mellodge P., Kachroo P. Model Abstraction in Dynamical Systems: Application to Mobile Robot Control 2008ХХ
124157 Beijeren H. Mode-Coupling Theory for Purely Diffusive Systems 1984ХХ
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ХХ
123011 Datye V., Mathur R., Langer J. S. Mode Selection in a Caricature of Eutectic Solidification 1981ХХ
121346 Dufty J.W., Rodriguez R. Mode Coupling from Linear and Nonlinear Kinetic Equations 1983ХХ
186258 Boccara N. Mode Complex Systems 2004ХХ
129437 Collins P. Modals and quasi-modals in English 2009ХХ
148037 Hale B., Hoffmann A. Modality: Metaphysics, Logic, and Epistemology 2010ХХ
79539 Fine K. Modality and Tense: Philosophical Papers 2005ХХ
79603 Chellas B.F. Modal Logic: An Introduction 1980ХХ
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ХХ
3580 Chagrov A., Zakharyaschev M. Modal logic 1997ХХ
191265 Kitagawa M., Windsor B. MoCap for Artists: Workflow and Techniques for Motion Capture 2008ХХ
34092 Pickover C.A. Mobius Strip: Dr. August Mobius's Marvelous Band in Mathematics, Games, Literature, Art, Technology, and Cosmology 2006ХХ
141380 Nanxian C. Mobius Inversion in Physics (Tsinghua Report and Review in Physics) 2010ХХ
178206 Nanxian C. Mobius Inversion in Physics (Tsinghua Report and Review in Physics) 2010ХХ
36013 Dur A. Mobius Functions, Incidence Algebras and Power Series Representations 1986ХХ
180102 Dur A. Mobius Functions, Incidence Algebras and Power Series Representations 1986ХХ
123348 Arrowsmith D.K., Essam J.W. Mobius Function for the Set of Acyclic Directed Backbone Graphs 1990ХХ
145649 Fauvel J., Wilson R., Flood R. Mobius and his Band: Mathematics and Astronomy in Nineteenth-Century Germany 1993ХХ
16053 Mobimag (April 2006) 2006ХХ
57011 Noel M., Brzeski W.J. Mobilizing Private Finance for Local Infrastructure in Europe and Central Asia: An Alternative Public Private Partnership Framework 2005ХХ
145242 Rigby B., Rock the Vote Mobilizing Generation 2.0: A Practical Guide to Using Web2.0 Technologies to Recruit, Organize and Engage Youth 2008ХХ
143417 Yamamoto G. Mobilized Marketing and the Consumer: Technological Developments and Challenges (Premier Reference Source) 2010ХХ
169356 Rosenberg L. Mobilize Yourself! the Microsoft Guide to Mobile Technology 2009 ХХХ
27132 Brans P. Mobilize Your Enterprise: Achieving Competitive Advantage Through Wireless Technology 2002ХХ


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