Книги з теми "Finite model theory"

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

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

Ebbinghaus, Heinz-Dieter, and 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, and 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, and 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, and 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, and 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. 3rd 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, and Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.

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

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

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

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

Esparza, Javier, Charles Steinhorn, and 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, and Jörg Flum. Finite Model Theory (Perspectives in Mathematical Logic). 2nd ed. Springer, 2004.

Finite Model Theory (Springer Monographs in Mathematics). 2nd 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, and 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, and 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, and 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, and Ilyes Boulkaibet. Probabilistic Finite Element Model Updating Using Bayesian Statistics: Applications to Aeronautical and Mechanical Engineering. Wiley & Sons, Incorporated, John, 2016.