|
|
Áûñòðûé ïåðåõîä |
Ïî íàçâàíèþ: 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 ¨ À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Û Ý Þ ß
|
|
Âñå ðåñóðñû |
Ñîðòèðîâêà:
178206 |
|
Nanxian C. |
Mobius Inversion in Physics (Tsinghua Report and Review in Physics) |
2010 | •• |
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 | •• |
213089 |
|
Clarke E. M. |
Model Checking |
2018 • | •• |
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 | •• |
|
|