Libros sobre el tema "Finite model theory"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores mejores libros para su investigación sobre el tema "Finite model theory".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Ebbinghaus, Heinz-Dieter. Finite model theory. 2a ed. Berlin: Springer, 1999.
Buscar texto completoEbbinghaus, Heinz-Dieter. Finite model theory. Berlin: Springer, 1995.
Buscar texto completoEbbinghaus, Heinz-Dieter y Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-662-03182-7.
Texto completoEbbinghaus, Heinz-Dieter y Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-28788-4.
Texto completoEsparza, Javier. Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Buscar texto completoLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Buscar texto completoFinite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Buscar texto completoEsparza, Javier, Christian Michaux y Charles Steinhorn, eds. Finite and Algorithmic Model Theory. Cambridge: Cambridge University Press, 2009. http://dx.doi.org/10.1017/cbo9780511974960.
Texto completoLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1.
Texto completoBorovik, Alexandre. Groups of finite Morley rank. Oxford: Clarendon Press, 1994.
Buscar texto completoAlexandre, Borovik y Cherlin Gregory L. 1948-, eds. Simple groups of finite Morley rank. Providence, R.I: American Mathematical Society, 2008.
Buscar texto completoOtto, Martin. Bounded variable logics and counting: A study in finite models. Berlin: Springer, 1997.
Buscar texto completoOtto, Martin. Bounded variable logics and counting: A study in finite models. Berlin: Springer, 1996.
Buscar texto completo1953-, Immerman Neil, Kolaitis Phokion y DIMACS Workshop on Descriptive Complexity and Finite Models (1996 : Princeton University), eds. Descriptive complexity and finite models: Proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University. Providence, R.I: American Mathematical Society, 1997.
Buscar texto completoReiss, K. Endliche Strukturen. Heidelberg: Springer, 2011.
Buscar texto completoModel theoretic methods in finite combinatorics: AMS-ASL special session, January 5-8, 2009 Washington, DC. Providence, R.I: American Mathematical Society, 2011.
Buscar texto completoFinite elements: Theory, fast solvers, and applications in elasticity theory. 3a ed. Cambridge, UK: Cambridge University Press, 2007.
Buscar texto completoHübner, Frank. Discrete-time performance analysis of finite-capacity queueing models for ATM multiplexers. Aachen: Verlag Shaker, 1994.
Buscar texto completoP, Neittaanmäki, ed. Finite element approximation for optimal shape design: Theory and applications. Chichester: Wiley, 1988.
Buscar texto completoWoodruff, David J. Estimation of item response models using the EM algorithm for finite mixtures. Iowa City, Iowa: American College Testing Program, 1996.
Buscar texto completoFinite elements: Theory, fast solvers, and applications in solid mechanics. Cambridge, U.K: Cambridge University Press, 1997.
Buscar texto completoNassehi, Vahid. Finite element modeling of multiscale transport phenomena. London: Imperial College Press, 2011.
Buscar texto completoWoodruff, David. Estimation of item response models using the EM algorithm for finite mixtures. Iowa City, Iowa: American College Testing Program, 1996.
Buscar texto completoRaj, Mittra, ed. FDTD modeling of metamaterials: Theory and applications. Norwood, MA: Artech House, 2009.
Buscar texto completoKaneko, Mamoru. The core of a game with a continuum of players and finite coalitions: Nonemptiness with bounded sizes of coalitions. Toronto: University of Toronto, 1985.
Buscar texto completoLoeser, Martin. Theory and design of broadband active optoelectronic devices. Konstanz: Hartung-Gorre, 2009.
Buscar texto completoWarming, Robert F. An eigenvalue analysis of finite-difference approximations for hyperbolic IBVPs. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1989.
Buscar texto completoEsparza, Javier, Charles Steinhorn y Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Buscar texto completoEsparza, Javier, Charles Steinhorn y Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Buscar texto completoEsparza, Javier, Charles Steinhorn y Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Buscar texto completoFlum, Jörg y Heinz-Dieter Ebbinghaus. Finite Model Theory: Second Edition. Springer London, Limited, 2005.
Buscar texto completoFlum, Jörg y Heinz-Dieter Ebbinghaus. Finite Model Theory: First Edition. Springer London, Limited, 2013.
Buscar texto completoEsparza, Javier, Charles Steinhorn y Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Buscar texto completoFinite Model Theory and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/3-540-68804-8.
Texto completoSpencer, Joel H. Finite Model Theory and Its Applications. Springer, 2014.
Buscar texto completoEbbinghaus, Heinz-Dieter y Jörg Flum. Finite Model Theory (Perspectives in Mathematical Logic). 2a ed. Springer, 2004.
Buscar texto completoFinite Model Theory (Springer Monographs in Mathematics). 2a ed. Springer, 2005.
Buscar texto completoFinite Structures with Few Types. (AM-152) (Annals of Mathematics Studies). Princeton University Press, 2002.
Buscar texto completoA probabilistic approach to model update. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 2001.
Buscar texto completoOtto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. University of Cambridge ESOL Examinations, 2017.
Buscar texto completoOtto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. Cambridge University Press, 2017.
Buscar texto completoOtto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. Cambridge University Press, 2016.
Buscar texto completoLibkin, Leonid. Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2004.
Buscar texto completoHandbook Of Finite State Based Models And Applications. CRC Press, 2012.
Buscar texto completoL, Miller Timothy, Lu Huei-Iin y George C. Marshall Space Flight Center., eds. GEOSIM: A numerical model for geophysical fluid flow simulation. [Marshall Space Flight Center, Ala.]: National Aeronautics and Space Administration, George C. Marshall Space Flight Center, 1991.
Buscar texto completoL, Miller Timothy, Lu Huei-Iin y George C. Marshall Space Flight Center., eds. GEOSIM: A numerical model for geophysical fluid flow simulation. [Marshall Space Flight Center, Ala.]: National Aeronautics and Space Administration, George C. Marshall Space Flight Center, 1991.
Buscar texto completoSpencer, Joel H. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2007.
Buscar texto completoSpencer, Joel H. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2007.
Buscar texto completoMarwala, Tshilidzi, Sondipon Adhikari y Ilyes Boulkaibet. Probabilistic Finite Element Model Updating Using Bayesian Statistics: Applications to Aeronautical and Mechanical Engineering. Wiley & Sons, Limited, John, 2016.
Buscar texto completoMarwala, Tshilidzi, Sondipon Adhikari y Ilyes Boulkaibet. Probabilistic Finite Element Model Updating Using Bayesian Statistics: Applications to Aeronautical and Mechanical Engineering. Wiley & Sons, Incorporated, John, 2016.
Buscar texto completo