| 72101. |
Kitagawa M. Windsor B. |
MoCap for Artists: Workflow and Techniques for Motion Capture | 2008 |
 |
| 72102. |
Mula R. |
Mochine Learning with Python | 2020 |
|
| 72103. |
Chagrov A. Zakharyaschev M. |
Modal logic | 1997 |
|
| 72104. |
Ponse A. de Rijke M. |
Modal logic and process algebra: a bisimulation perspective | 1995 |
|
| 72105. |
Ponse A. Rijke M. Venema Y. |
Modal logic and process algebra: A bisimulation perspective | 1995 |
|
| 72106. |
Chellas B.F. |
Modal Logic: An Introduction | 1980 |
|
| 72107. |
Fine K. |
Modality and Tense: Philosophical Papers | 2005 |
|
| 72108. |
Hale B. Hoffmann A. |
Modality: Metaphysics, Logic, and Epistemology | 2010 |
|
| 72109. |
Collins P. |
Modals and quasi-modals in English | 2009 |
|
| 72110. |
Boccara N. |
Mode Complex Systems | 2004 |
|
| 72111. |
Dufty J.W. Rodriguez R. |
Mode Coupling from Linear and Nonlinear Kinetic Equations | 1983 |
|
| 72112. |
Datye V. Mathur R. Langer J. S. |
Mode Selection in a Caricature of Eutectic Solidification | 1981 |
|
| 72113. |
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 |
|
| 72114. |
Beijeren H. |
Mode-Coupling Theory for Purely Diffusive Systems | 1984 |
|
| 72115. |
Mellodge P. Kachroo P. |
Model Abstraction in Dynamical Systems: Application to Mobile Robot Control | 2008 |
|
| 72116. |
Ashey M. |
Model Aircraft Tips and Techniques: An Illustrated Guide | 1997 |
|
| 72117. |
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 |
|
| 72118. |
Gaveau B. Schulman L.S. |
Model Apparatus for Quantum Measurements | 1990 |
|
| 72119. |
Heinz Teutsch |
Model Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition | 2007 |
|
| 72120. |
Hiemer M. |
Model based detection and reconstruction of road traffic accidents | 2005 |
|
| 72121. |
Hovey M. |
Model categories | 1999 |
|
| 72122. |
Hovey M. |
Model categories | 1998 |
|
| 72123. |
Hovey M. |
Model Categories, Vol. 63 | 1998 |
|
| 72124. |
Clarke E.M. Grumberg O. Peled D.A. |
Model checking | 2000 |
|
| 72125. |
Clarke E. M. |
Model Checking (2 edition) | 2018 |
|
| 72126. |
Edelkamp S.(ed.) Lomuscio A.(ed.) |
Model Checking and Artificial Intelligence, 4 conf | 2007 |
|
| 72127. |
Graf S. Mounier L. |
Model Checking Software | 2004 |
|
| 72128. |
Godefroid P. |
Model Checking Software, 12 conf. | 2005 |
|
| 72129. |
Thomas Ball Sriram K. Rajamani |
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (1 edition) | 2003 |
|
| 72130. |
Valmari A. |
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings | 2006 |
|
| 72131. |
Bosnacki D. Edelkamp S. |
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings | 2007 |
|
| 72132. |
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 (1 edition) | 2008 |
|
| 72133. |
Pasareanu C.S. |
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings | 2009 |
|
| 72134. |
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 |
|
| 72135. |
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 |
|
| 72136. |
Dwyer M. |
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings | 2001 |
|
| 72137. |
Bosnacki D. (Editor) Leue S. (Editor) |
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (1 edition) | 2002 |
|
| 72138. |
Карпов Ю.Г. |
Model Checking. Верификация параллельных и распределенных программных систем | 2010 |
|
| 72139. |
Hartman A. Kreische D. |
Model Driven Architecture - Foundations and Applications | 2005 |
|
| 72140. |
Schieferdecker I. Hartman A. |
Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings | 2008 |
|
| 72141. |
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 |
|
| 72142. |
Gasevic D. Djuric D. Devedzic V. |
Model Driven Architecture and Ontology Development | 2006 |
|
| 72143. |
Favre L. |
Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution | 2010 |
|
| 72144. |
Frankel D. Guttman M. |
Model Driven Architecture: Applying MDA to Enterprise Computing | 2002 |
|
| 72145. |
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 |
|
| 72146. |
Gasevic D. Djuric D. Devedzic V. |
Model driven engineering and ontology development (2nd edition) | 2009 |
|
| 72147. |
Schurr A. Selic B.V. |
Model Driven Engineering Languages and Systems | 2009 |
|
| 72148. |
Engels G. Opdyke B. Weil F. |
Model Driven Engineering Languages and Systems, 10 conf., MoDELS 2007 | 2007 |
|
| 72149. |
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 |
|
| 72150. |
Briand L. Williams C. |
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings | 2005 |
|
| 72151. |
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 |
|
| 72152. |
Um P.N. Simon L. |
Model for Calculating Interconnection Costs in Telecommunications | 2003 |
|
| 72153. |
Percus J.K. |
Model for density variation at a fluid surface | 1976 |
|
| 72154. |
Konrad K. |
Model Generation for Natural Language Interpretation and Analysis | 2004 |
|
| 72155. |
Konrad K. |
Model Generation for Natural Language Interpretation and Analysis | 2004 |
|
| 72156. |
Gerken C. |
Model Immigrants and Undesirable Aliens | 2013 |
|
| 72157. |
Figotin A. |
Model of a Nonhomogeneous Medium Conducting Light | 1992 |
|
| 72158. |
Vladimir Privman |
Model of Cluster Growth and Phase Separation: Exact Results in One Dimension | 1992 |
|
| 72159. |
Castle W.E. |
Model of the Linkage System of Eleven Second Chromosomegenes of Drosophila | 1919 |
|
| 72160. |
McCall S. |
Model of the Universe: Space-Time, Probability, and Decision (1st edition) | 1996 |
|
| 72161. |
Schilders W. Vorst H. Rommes J. |
Model order reduction: theory, research aspects and applications | 2008 |
|
| 72162. |
Schilders W. Vorst H. Rommes J. |
Model Order Reduction: Theory, Research Aspects and Applications (Mathematics in Industry The European Consortium for Mathematics in Industry) | 2008 |
|
| 72163. |
Card J. Benner T. |
Model Programs for Adolescent Sexual Health: Evidence-Based HIV, STI, and Pregnancy Prevention Interventions | 2008 |
|
| 72164. |
Gorban A.N. |
Model reduction and coarse-graining approaches for multiscale phenomena (1 edition) | 2006 |
|
| 72165. |
Linhart H. |
Model selection | 1986 |
|
| 72166. |
Claeskens G. Hjort N. |
Model Selection and Model Averaging | 2008 |
|
| 72167. |
Burnham K.P. Anderson D. |
Model Selection and Multimodel Inference: A Practical Information-theoretic Approach (2-nd edition) | 2002 |
|
| 72168. |
Cherlin G. |
Model Theoretic Algebra | 1976 |
|
| 72169. |
Jensen C.U. Lenzing H. |
Model Theoretic Algebra with particular emphasis on Fields, Rings, Modules | 1989 |
|
| 72170. |
Cherlin G. |
Model Theoretic Algebra. Selected Topics | 1976 |
|
| 72171. |
Chang C.C. Keisler H.J. Troelstra A.S. |
Model Theory (3 edition) | 1990 |
|
| 72172. |
Hodges W. |
Model theory | 1993 |
|
| 72173. |
Chang C. Keisler H. |
Model Theory (Studies in Logic and the Foundations of Mathematics) | 1990 |
|
| 72174. |
Saracino D. Weispfennig V. |
Model Theory and Algebra | 1975 |
|
| 72175. |
Saracino D.H. (Ed) Weispfenning V. B. (Ed) |
Model Theory and Algebra: A Memorial Tribute to Abraham Robinson | 1975 |
|
| 72176. |
Bouscaren E. |
Model Theory and Algebraic Geometry | 1998 |
|
| 72177. |
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 (1 edition) | 1981 |
|
| 72178. |
Prest M. |
Model Theory and Modules | 1988 |
|
| 72179. |
Prest M. |
Model Theory and Modules | 1988 |
|
| 72180. |
Lawvere F.W. |
Model Theory And Topoi | 1975 |
|
| 72181. |
Lawvere F.W. Maurer C. Wraith G.C. |
Model Theory and Topoi: A Collection of Lectures by Various Authors | 1975 |
|
| 72182. |
Jerome Keisler H. |
Model theory for infinitary logic | 1971 |
|
| 72183. |
Keisler H. |
Model Theory for Infinitary Logic (Studies in Logic and the Foundations of Mathematics, Volume 62) | 1971 |
|
| 72184. |
Keisler H.J. |
Model Theory for Infinitary Logic: Logic with Countable Conjuctions and Finite Quantifiers | 1971 |
|
| 72185. |
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 (1st edition) | 1980 |
|
| 72186. |
Nesin A. |
Model Theory of Groups (Notre Dame Mathematical Lectures) | 1989 |
|
| 72187. |
Evans D. |
Model Theory of Groups and Automorphism Groups (London Mathematical Society Lecture Note Series) | 1997 |
|
| 72188. |
Chatzidakis Z. |
Model theory with applications to algebra and analysis, | 2008 |
|
| 72189. |
Haskell D. Pillay A. Steinhorn C. |
Model Theory, Algebra, and Geometry | 2000 |
|
| 72190. |
Marker D. |
Model theory: An introduction | 2002 |
|
| 72191. |
Marker D. |
Model Theory: An Introduction | 2002 |
|
| 72192. |
Bousquet M. |
Model, Rig, Animate with 3ds max 7 | 2005 |
|
| 72193. |
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 |
|
| 72194. |
S.X. Ding |
Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools | 2008 |
|
| 72195. |
Magnani L. |
Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues | 2014 |
|
| 72196. |
Magnani L. Li P. |
Model-Based Reasoning in Science, Technology, and Medicine (1st edition) | 2007 |
|
| 72197. |
Magnani L. Li P. |
Model-Based Reasoning in Science, Technology, and Medicine | 2007 |
|
| 72198. |
Candy J.V. |
Model-Based Signal Processing | 2006 |
|
| 72199. |
Kutsche R. Milanovic N. |
Model-Based Software and Data Integration (Communications in Computer and Information Science, 8) | 2008 |
|
| 72200. |
Kutsche R.-D. Milanovic N. |
Model-Based Software and Data Integration. First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008, Proceedings | 2008 |
|
|
|
О проекте