Livros sobre o tema "Finite model theory"

Ebbinghaus, Heinz-Dieter. Finite model theory. 2^a ed. Berlin: Springer, 1999.

Ebbinghaus, Heinz-Dieter. Finite model theory. Berlin: Springer, 1995.

Ebbinghaus, Heinz-Dieter, e Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-662-03182-7.

Ebbinghaus, Heinz-Dieter, e Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-28788-4.

Esparza, Javier. Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.

Libkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.

Esparza, Javier, Christian Michaux e Charles Steinhorn, eds. Finite and Algorithmic Model Theory. Cambridge: Cambridge University Press, 2009. http://dx.doi.org/10.1017/cbo9780511974960.

Libkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1.

Borovik, Alexandre. Groups of finite Morley rank. Oxford: Clarendon Press, 1994.

Alexandre, Borovik, e Cherlin Gregory L. 1948-, eds. Simple groups of finite Morley rank. Providence, R.I: American Mathematical Society, 2008.

Otto, Martin. Bounded variable logics and counting: A study in finite models. Berlin: Springer, 1997.

Otto, Martin. Bounded variable logics and counting: A study in finite models. Berlin: Springer, 1996.

1953-, Immerman Neil, Kolaitis Phokion e 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.

Reiss, K. Endliche Strukturen. Heidelberg: Springer, 2011.

Model theoretic methods in finite combinatorics: AMS-ASL special session, January 5-8, 2009 Washington, DC. Providence, R.I: American Mathematical Society, 2011.

Finite elements: Theory, fast solvers, and applications in elasticity theory. 3^a ed. Cambridge, UK: Cambridge University Press, 2007.

Hübner, Frank. Discrete-time performance analysis of finite-capacity queueing models for ATM multiplexers. Aachen: Verlag Shaker, 1994.

P, Neittaanmäki, ed. Finite element approximation for optimal shape design: Theory and applications. Chichester: Wiley, 1988.

Woodruff, David J. Estimation of item response models using the EM algorithm for finite mixtures. Iowa City, Iowa: American College Testing Program, 1996.

Finite elements: Theory, fast solvers, and applications in solid mechanics. Cambridge, U.K: Cambridge University Press, 1997.

Nassehi, Vahid. Finite element modeling of multiscale transport phenomena. London: Imperial College Press, 2011.

Woodruff, David. Estimation of item response models using the EM algorithm for finite mixtures. Iowa City, Iowa: American College Testing Program, 1996.

Raj, Mittra, ed. FDTD modeling of metamaterials: Theory and applications. Norwood, MA: Artech House, 2009.

Kaneko, 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.

Loeser, Martin. Theory and design of broadband active optoelectronic devices. Konstanz: Hartung-Gorre, 2009.

Warming, Robert F. An eigenvalue analysis of finite-difference approximations for hyperbolic IBVPs. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1989.

Esparza, Javier, Charles Steinhorn e Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.

Esparza, Javier, Charles Steinhorn e Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.

Esparza, Javier, Charles Steinhorn e Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.

Flum, Jörg, e Heinz-Dieter Ebbinghaus. Finite Model Theory: Second Edition. Springer London, Limited, 2005.

Flum, Jörg, e Heinz-Dieter Ebbinghaus. Finite Model Theory: First Edition. Springer London, Limited, 2013.

Esparza, Javier, Charles Steinhorn e Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.

Finite Model Theory and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/3-540-68804-8.

Spencer, Joel H. Finite Model Theory and Its Applications. Springer, 2014.

Ebbinghaus, Heinz-Dieter, e Jörg Flum. Finite Model Theory (Perspectives in Mathematical Logic). 2^a ed. Springer, 2004.

Finite Model Theory (Springer Monographs in Mathematics). 2^a ed. Springer, 2005.

Finite Structures with Few Types. (AM-152) (Annals of Mathematics Studies). Princeton University Press, 2002.

A probabilistic approach to model update. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 2001.

Otto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. University of Cambridge ESOL Examinations, 2017.

Otto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. Cambridge University Press, 2017.

Otto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. Cambridge University Press, 2016.

Libkin, Leonid. Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2004.

Handbook Of Finite State Based Models And Applications. CRC Press, 2012.

L, Miller Timothy, Lu Huei-Iin e 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.

L, Miller Timothy, Lu Huei-Iin e 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.

Spencer, Joel H. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2007.

Spencer, Joel H. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2007.

Marwala, Tshilidzi, Sondipon Adhikari e Ilyes Boulkaibet. Probabilistic Finite Element Model Updating Using Bayesian Statistics: Applications to Aeronautical and Mechanical Engineering. Wiley & Sons, Limited, John, 2016.

Marwala, Tshilidzi, Sondipon Adhikari e Ilyes Boulkaibet. Probabilistic Finite Element Model Updating Using Bayesian Statistics: Applications to Aeronautical and Mechanical Engineering. Wiley & Sons, Incorporated, John, 2016.