| 72801. |
Hiemer M. |
Model based detection and reconstruction of road traffic accidents | 2005 |
 |
| 72802. |
Hovey M. |
Model categories | 1999 |
|
| 72803. |
Hovey M. |
Model categories | 1998 |
|
| 72804. |
Hovey M. |
Model Categories, Vol. 63 | 1998 |
|
| 72805. |
Clarke E.M. Grumberg O. Peled D.A. |
Model checking | 2000 |
|
| 72806. |
Clarke E. M. |
Model Checking (2 edition) | 2018 |
|
| 72807. |
Edelkamp S.(ed.) Lomuscio A.(ed.) |
Model Checking and Artificial Intelligence, 4 conf | 2007 |
|
| 72808. |
Graf S. Mounier L. |
Model Checking Software | 2004 |
|
| 72809. |
Godefroid P. |
Model Checking Software, 12 conf. | 2005 |
|
| 72810. |
Thomas Ball Sriram K. Rajamani |
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (1 edition) | 2003 |
|
| 72811. |
Valmari A. |
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings | 2006 |
|
| 72812. |
Bosnacki D. Edelkamp S. |
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings | 2007 |
|
| 72813. |
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 |
|
| 72814. |
Pasareanu C.S. |
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings | 2009 |
|
| 72815. |
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 |
|
| 72816. |
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 |
|
| 72817. |
Dwyer M. |
Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings | 2001 |
|
| 72818. |
Bosnacki D. (Editor) Leue S. (Editor) |
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (1 edition) | 2002 |
|
| 72819. |
Карпов Ю.Г. |
Model Checking. Верификация параллельных и распределенных программных систем | 2010 |
|
| 72820. |
Hartman A. Kreische D. |
Model Driven Architecture - Foundations and Applications | 2005 |
|
| 72821. |
Schieferdecker I. Hartman A. |
Model Driven Architecture - Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings | 2008 |
|
| 72822. |
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 |
|
| 72823. |
Gasevic D. Djuric D. Devedzic V. |
Model Driven Architecture and Ontology Development | 2006 |
|
| 72824. |
Favre L. |
Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution | 2010 |
|
| 72825. |
Frankel D. Guttman M. |
Model Driven Architecture: Applying MDA to Enterprise Computing | 2002 |
|
| 72826. |
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 |
|
| 72827. |
Gasevic D. Djuric D. Devedzic V. |
Model driven engineering and ontology development (2nd edition) | 2009 |
|
| 72828. |
Schurr A. Selic B.V. |
Model Driven Engineering Languages and Systems | 2009 |
|
| 72829. |
Engels G. Opdyke B. Weil F. |
Model Driven Engineering Languages and Systems, 10 conf., MoDELS 2007 | 2007 |
|
| 72830. |
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 |
|
| 72831. |
Briand L. Williams C. |
Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings | 2005 |
|
| 72832. |
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 |
|
| 72833. |
Um P.N. Simon L. |
Model for Calculating Interconnection Costs in Telecommunications | 2003 |
|
| 72834. |
Percus J.K. |
Model for density variation at a fluid surface | 1976 |
|
| 72835. |
Konrad K. |
Model Generation for Natural Language Interpretation and Analysis | 2004 |
|
| 72836. |
Konrad K. |
Model Generation for Natural Language Interpretation and Analysis | 2004 |
|
| 72837. |
Gerken C. |
Model Immigrants and Undesirable Aliens | 2013 |
|
| 72838. |
Figotin A. |
Model of a Nonhomogeneous Medium Conducting Light | 1992 |
|
| 72839. |
Vladimir Privman |
Model of Cluster Growth and Phase Separation: Exact Results in One Dimension | 1992 |
|
| 72840. |
Castle W.E. |
Model of the Linkage System of Eleven Second Chromosomegenes of Drosophila | 1919 |
|
| 72841. |
McCall S. |
Model of the Universe: Space-Time, Probability, and Decision (1st edition) | 1996 |
|
| 72842. |
Schilders W. Vorst H. Rommes J. |
Model order reduction: theory, research aspects and applications | 2008 |
|
| 72843. |
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 |
|
| 72844. |
Card J. Benner T. |
Model Programs for Adolescent Sexual Health: Evidence-Based HIV, STI, and Pregnancy Prevention Interventions | 2008 |
|
| 72845. |
Gorban A.N. |
Model reduction and coarse-graining approaches for multiscale phenomena (1 edition) | 2006 |
|
| 72846. |
Linhart H. |
Model selection | 1986 |
|
| 72847. |
Claeskens G. Hjort N. |
Model Selection and Model Averaging | 2008 |
|
| 72848. |
Burnham K.P. Anderson D. |
Model Selection and Multimodel Inference: A Practical Information-theoretic Approach (2-nd edition) | 2002 |
|
| 72849. |
Cherlin G. |
Model Theoretic Algebra | 1976 |
|
| 72850. |
Jensen C.U. Lenzing H. |
Model Theoretic Algebra with particular emphasis on Fields, Rings, Modules | 1989 |
|
| 72851. |
Cherlin G. |
Model Theoretic Algebra. Selected Topics | 1976 |
|
| 72852. |
Chang C.C. Keisler H.J. Troelstra A.S. |
Model Theory (3 edition) | 1990 |
|
| 72853. |
Hodges W. |
Model theory | 1993 |
|
| 72854. |
Chang C. Keisler H. |
Model Theory (Studies in Logic and the Foundations of Mathematics) | 1990 |
|
| 72855. |
Saracino D. Weispfennig V. |
Model Theory and Algebra | 1975 |
|
| 72856. |
Saracino D.H. (Ed) Weispfenning V. B. (Ed) |
Model Theory and Algebra: A Memorial Tribute to Abraham Robinson | 1975 |
|
| 72857. |
Bouscaren E. |
Model Theory and Algebraic Geometry | 1998 |
|
| 72858. |
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 |
|
| 72859. |
Prest M. |
Model Theory and Modules | 1988 |
|
| 72860. |
Prest M. |
Model Theory and Modules | 1988 |
|
| 72861. |
Lawvere F.W. |
Model Theory And Topoi | 1975 |
|
| 72862. |
Lawvere F.W. Maurer C. Wraith G.C. |
Model Theory and Topoi: A Collection of Lectures by Various Authors | 1975 |
|
| 72863. |
Jerome Keisler H. |
Model theory for infinitary logic | 1971 |
|
| 72864. |
Keisler H. |
Model Theory for Infinitary Logic (Studies in Logic and the Foundations of Mathematics, Volume 62) | 1971 |
|
| 72865. |
Keisler H.J. |
Model Theory for Infinitary Logic: Logic with Countable Conjuctions and Finite Quantifiers | 1971 |
|
| 72866. |
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 |
|
| 72867. |
Nesin A. |
Model Theory of Groups (Notre Dame Mathematical Lectures) | 1989 |
|
| 72868. |
Evans D. |
Model Theory of Groups and Automorphism Groups (London Mathematical Society Lecture Note Series) | 1997 |
|
| 72869. |
Chatzidakis Z. |
Model theory with applications to algebra and analysis, | 2008 |
|
| 72870. |
Haskell D. Pillay A. Steinhorn C. |
Model Theory, Algebra, and Geometry | 2000 |
|
| 72871. |
Marker D. |
Model theory: An introduction | 2002 |
|
| 72872. |
Marker D. |
Model Theory: An Introduction | 2002 |
|
| 72873. |
Bousquet M. |
Model, Rig, Animate with 3ds max 7 | 2005 |
|
| 72874. |
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 |
|
| 72875. |
S.X. Ding |
Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools | 2008 |
|
| 72876. |
Magnani L. |
Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues | 2014 |
|
| 72877. |
Magnani L. Li P. |
Model-Based Reasoning in Science, Technology, and Medicine (1st edition) | 2007 |
|
| 72878. |
Magnani L. Li P. |
Model-Based Reasoning in Science, Technology, and Medicine | 2007 |
|
| 72879. |
Candy J.V. |
Model-Based Signal Processing | 2006 |
|
| 72880. |
Kutsche R. Milanovic N. |
Model-Based Software and Data Integration (Communications in Computer and Information Science, 8) | 2008 |
|
| 72881. |
Kutsche R.-D. Milanovic N. |
Model-Based Software and Data Integration. First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008, Proceedings | 2008 |
|
| 72882. |
Broy M.(ed.) Jonsson B.(ed.) Katoen J.- P.(ed.) |
Model-Based Testing of Reactive Systems, Advanced Lectures 2004 (1 edition) | 2005 |
|
| 72883. |
Broy M. Jonsson B. Katoen J. |
Model-Based Testing of Reactive Systems: Advanced Lectures | 2005 |
|
| 72884. |
Jarzebowska E. |
Model-based tracking control of nonlinear systems | 2012 |
|
| 72885. |
Quintarelli E. |
Model-Checking Based Data Retrieval. An Application to Semistructured and Temporal Data | 2004 |
|
| 72886. |
Arend Rensink Jos Warmer |
Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings (1 edition) | 2006 |
|
| 72887. |
Rensink A. Warmer J. |
Model-Driven Architecture - Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings | 2006 |
|
| 72888. |
Pastor O. Molina J.C. |
Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling | 2007 |
|
| 72889. |
Hruby P. Kiehn J. Scheller Ch.V. |
Model-Driven Design Using Business Patterns (1st edition) | 2006 |
|
| 72890. |
Broy M. Kruger I. Meisinger M. |
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised | 2008 |
|
| 72891. |
Milicev D. |
Model-Driven Development with Executable UML (Wrox Programmer to Programmer) | 2009 |
|
| 72892. |
Whittle J. Hutchinson J. Rouncefield M. |
Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings | 2013 |
|
| 72893. |
Beydeda S. Book M. Gruhn V. (eds.) |
Model-Driven Software Development | 2005 |
|
| 72894. |
Baker P. Haugen O. Schieferdecker I. |
Model-Driven Testing: Using the Uml Testing Profile | 2007 |
|
| 72895. |
Baker P. Dai, Z.R. Grabowski J., Haugen O. |
Model-Driven Testing: Using the UML Testing Profile | 2008 |
|
| 72896. |
Barwise J. Feferman S. |
Model-theoretic logics | 1985 |
|
| 72897. |
Zeigler B. Hammonds P. |
Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange | 2007 |
|
| 72898. |
Steed P. |
Modeling a Character in 3ds max (second edition) | 2005 |
|
| 72899. |
Steed P. |
Modeling a Character in 3DS Max | 2001 |
|
| 72900. |
Villani E. Miyagi E. Valette R. |
Modeling and analysis of hybrid supervisory systems. A petri net approach | 2007 |
|
|
|
О проекте