| 72601. |
Kitagawa M. Windsor B. |
MoCap for Artists: Workflow and Techniques for Motion Capture | 2008 |
 |
| 72602. |
Mula R. |
Mochine Learning with Python | 2020 |
|
| 72603. |
Chagrov A. Zakharyaschev M. |
Modal logic | 1997 |
|
| 72604. |
Ponse A. de Rijke M. |
Modal logic and process algebra: a bisimulation perspective | 1995 |
|
| 72605. |
Ponse A. Rijke M. Venema Y. |
Modal logic and process algebra: A bisimulation perspective | 1995 |
|
| 72606. |
Chellas B.F. |
Modal Logic: An Introduction | 1980 |
|
| 72607. |
Fine K. |
Modality and Tense: Philosophical Papers | 2005 |
|
| 72608. |
Hale B. Hoffmann A. |
Modality: Metaphysics, Logic, and Epistemology | 2010 |
|
| 72609. |
Collins P. |
Modals and quasi-modals in English | 2009 |
|
| 72610. |
Boccara N. |
Mode Complex Systems | 2004 |
|
| 72611. |
Dufty J.W. Rodriguez R. |
Mode Coupling from Linear and Nonlinear Kinetic Equations | 1983 |
|
| 72612. |
Datye V. Mathur R. Langer J. S. |
Mode Selection in a Caricature of Eutectic Solidification | 1981 |
|
| 72613. |
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 |
|
| 72614. |
Beijeren H. |
Mode-Coupling Theory for Purely Diffusive Systems | 1984 |
|
| 72615. |
Mellodge P. Kachroo P. |
Model Abstraction in Dynamical Systems: Application to Mobile Robot Control | 2008 |
|
| 72616. |
Ashey M. |
Model Aircraft Tips and Techniques: An Illustrated Guide | 1997 |
|
| 72617. |
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 |
|
| 72618. |
Gaveau B. Schulman L.S. |
Model Apparatus for Quantum Measurements | 1990 |
|
| 72619. |
Heinz Teutsch |
Model Array Signal Processing: Principles and Applications of Acoustic Wavefield Decomposition | 2007 |
|
| 72620. |
Hiemer M. |
Model based detection and reconstruction of road traffic accidents | 2005 |
|
| 72621. |
Hovey M. |
Model categories | 1999 |
|
| 72622. |
Hovey M. |
Model categories | 1998 |
|
| 72623. |
Hovey M. |
Model Categories, Vol. 63 | 1998 |
|
| 72624. |
Clarke E.M. Grumberg O. Peled D.A. |
Model checking | 2000 |
|
| 72625. |
Clarke E. M. |
Model Checking (2 edition) | 2018 |
|
| 72626. |
Edelkamp S.(ed.) Lomuscio A.(ed.) |
Model Checking and Artificial Intelligence, 4 conf | 2007 |
|
| 72627. |
Graf S. Mounier L. |
Model Checking Software | 2004 |
|
| 72628. |
Godefroid P. |
Model Checking Software, 12 conf. | 2005 |
|
| 72629. |
Thomas Ball Sriram K. Rajamani |
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (1 edition) | 2003 |
|
| 72630. |
Valmari A. |
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings | 2006 |
|
| 72631. |
Bosnacki D. Edelkamp S. |
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings | 2007 |
|
| 72632. |
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 |
|
| 72633. |
Pasareanu C.S. |
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings | 2009 |
|
| 72634. |
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 |
|
| 72635. |
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 |
|
| 72636. |
Dwyer M. |
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings | 2001 |
|
| 72637. |
Bosnacki D. (Editor) Leue S. (Editor) |
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (1 edition) | 2002 |
|
| 72638. |
Карпов Ю.Г. |
Model Checking. Верификация параллельных и распределенных программных систем | 2010 |
|
| 72639. |
Hartman A. Kreische D. |
Model Driven Architecture - Foundations and Applications | 2005 |
|
| 72640. |
Schieferdecker I. Hartman A. |
Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings | 2008 |
|
| 72641. |
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 |
|
| 72642. |
Gasevic D. Djuric D. Devedzic V. |
Model Driven Architecture and Ontology Development | 2006 |
|
| 72643. |
Favre L. |
Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution | 2010 |
|
| 72644. |
Frankel D. Guttman M. |
Model Driven Architecture: Applying MDA to Enterprise Computing | 2002 |
|
| 72645. |
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 |
|
| 72646. |
Gasevic D. Djuric D. Devedzic V. |
Model driven engineering and ontology development (2nd edition) | 2009 |
|
| 72647. |
Schurr A. Selic B.V. |
Model Driven Engineering Languages and Systems | 2009 |
|
| 72648. |
Engels G. Opdyke B. Weil F. |
Model Driven Engineering Languages and Systems, 10 conf., MoDELS 2007 | 2007 |
|
| 72649. |
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 |
|
| 72650. |
Briand L. Williams C. |
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings | 2005 |
|
| 72651. |
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 |
|
| 72652. |
Um P.N. Simon L. |
Model for Calculating Interconnection Costs in Telecommunications | 2003 |
|
| 72653. |
Percus J.K. |
Model for density variation at a fluid surface | 1976 |
|
| 72654. |
Konrad K. |
Model Generation for Natural Language Interpretation and Analysis | 2004 |
|
| 72655. |
Konrad K. |
Model Generation for Natural Language Interpretation and Analysis | 2004 |
|
| 72656. |
Gerken C. |
Model Immigrants and Undesirable Aliens | 2013 |
|
| 72657. |
Figotin A. |
Model of a Nonhomogeneous Medium Conducting Light | 1992 |
|
| 72658. |
Vladimir Privman |
Model of Cluster Growth and Phase Separation: Exact Results in One Dimension | 1992 |
|
| 72659. |
Castle W.E. |
Model of the Linkage System of Eleven Second Chromosomegenes of Drosophila | 1919 |
|
| 72660. |
McCall S. |
Model of the Universe: Space-Time, Probability, and Decision (1st edition) | 1996 |
|
| 72661. |
Schilders W. Vorst H. Rommes J. |
Model order reduction: theory, research aspects and applications | 2008 |
|
| 72662. |
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 |
|
| 72663. |
Card J. Benner T. |
Model Programs for Adolescent Sexual Health: Evidence-Based HIV, STI, and Pregnancy Prevention Interventions | 2008 |
|
| 72664. |
Gorban A.N. |
Model reduction and coarse-graining approaches for multiscale phenomena (1 edition) | 2006 |
|
| 72665. |
Linhart H. |
Model selection | 1986 |
|
| 72666. |
Claeskens G. Hjort N. |
Model Selection and Model Averaging | 2008 |
|
| 72667. |
Burnham K.P. Anderson D. |
Model Selection and Multimodel Inference: A Practical Information-theoretic Approach (2-nd edition) | 2002 |
|
| 72668. |
Cherlin G. |
Model Theoretic Algebra | 1976 |
|
| 72669. |
Jensen C.U. Lenzing H. |
Model Theoretic Algebra with particular emphasis on Fields, Rings, Modules | 1989 |
|
| 72670. |
Cherlin G. |
Model Theoretic Algebra. Selected Topics | 1976 |
|
| 72671. |
Chang C.C. Keisler H.J. Troelstra A.S. |
Model Theory (3 edition) | 1990 |
|
| 72672. |
Hodges W. |
Model theory | 1993 |
|
| 72673. |
Chang C. Keisler H. |
Model Theory (Studies in Logic and the Foundations of Mathematics) | 1990 |
|
| 72674. |
Saracino D. Weispfennig V. |
Model Theory and Algebra | 1975 |
|
| 72675. |
Saracino D.H. (Ed) Weispfenning V. B. (Ed) |
Model Theory and Algebra: A Memorial Tribute to Abraham Robinson | 1975 |
|
| 72676. |
Bouscaren E. |
Model Theory and Algebraic Geometry | 1998 |
|
| 72677. |
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 |
|
| 72678. |
Prest M. |
Model Theory and Modules | 1988 |
|
| 72679. |
Prest M. |
Model Theory and Modules | 1988 |
|
| 72680. |
Lawvere F.W. |
Model Theory And Topoi | 1975 |
|
| 72681. |
Lawvere F.W. Maurer C. Wraith G.C. |
Model Theory and Topoi: A Collection of Lectures by Various Authors | 1975 |
|
| 72682. |
Jerome Keisler H. |
Model theory for infinitary logic | 1971 |
|
| 72683. |
Keisler H. |
Model Theory for Infinitary Logic (Studies in Logic and the Foundations of Mathematics, Volume 62) | 1971 |
|
| 72684. |
Keisler H.J. |
Model Theory for Infinitary Logic: Logic with Countable Conjuctions and Finite Quantifiers | 1971 |
|
| 72685. |
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 |
|
| 72686. |
Nesin A. |
Model Theory of Groups (Notre Dame Mathematical Lectures) | 1989 |
|
| 72687. |
Evans D. |
Model Theory of Groups and Automorphism Groups (London Mathematical Society Lecture Note Series) | 1997 |
|
| 72688. |
Chatzidakis Z. |
Model theory with applications to algebra and analysis, | 2008 |
|
| 72689. |
Haskell D. Pillay A. Steinhorn C. |
Model Theory, Algebra, and Geometry | 2000 |
|
| 72690. |
Marker D. |
Model theory: An introduction | 2002 |
|
| 72691. |
Marker D. |
Model Theory: An Introduction | 2002 |
|
| 72692. |
Bousquet M. |
Model, Rig, Animate with 3ds max 7 | 2005 |
|
| 72693. |
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 |
|
| 72694. |
S.X. Ding |
Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools | 2008 |
|
| 72695. |
Magnani L. |
Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues | 2014 |
|
| 72696. |
Magnani L. Li P. |
Model-Based Reasoning in Science, Technology, and Medicine (1st edition) | 2007 |
|
| 72697. |
Magnani L. Li P. |
Model-Based Reasoning in Science, Technology, and Medicine | 2007 |
|
| 72698. |
Candy J.V. |
Model-Based Signal Processing | 2006 |
|
| 72699. |
Kutsche R. Milanovic N. |
Model-Based Software and Data Integration (Communications in Computer and Information Science, 8) | 2008 |
|
| 72700. |
Kutsche R.-D. Milanovic N. |
Model-Based Software and Data Integration. First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008, Proceedings | 2008 |
|
|
|
О проекте