Libri sul tema "Finite model theory"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-50 libri per l'attività di ricerca sul tema "Finite model theory".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi i libri di molte aree scientifiche e compila una bibliografia corretta.
Ebbinghaus, Heinz-Dieter. Finite model theory. 2nd ed. Berlin: Springer, 1999.
Cerca il testo completoEbbinghaus, 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.
Testo completoEbbinghaus, 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.
Testo completoEsparza, Javier. Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Cerca il testo completoLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Cerca il testo completoFinite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Cerca il testo completoEsparza, Javier, Christian Michaux, and Charles Steinhorn, eds. Finite and Algorithmic Model Theory. Cambridge: Cambridge University Press, 2009. http://dx.doi.org/10.1017/cbo9780511974960.
Testo completoLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1.
Testo completoBorovik, Alexandre. Groups of finite Morley rank. Oxford: Clarendon Press, 1994.
Cerca il testo completoAlexandre, Borovik, and Cherlin Gregory L. 1948-, eds. Simple groups of finite Morley rank. Providence, R.I: American Mathematical Society, 2008.
Cerca il testo completoOtto, Martin. Bounded variable logics and counting: A study in finite models. Berlin: Springer, 1997.
Cerca il testo completoOtto, Martin. Bounded variable logics and counting: A study in finite models. Berlin: Springer, 1996.
Cerca il testo completo1953-, 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.
Cerca il testo completoModel theoretic methods in finite combinatorics: AMS-ASL special session, January 5-8, 2009 Washington, DC. Providence, R.I: American Mathematical Society, 2011.
Cerca il testo completoFinite elements: Theory, fast solvers, and applications in elasticity theory. 3rd ed. Cambridge, UK: Cambridge University Press, 2007.
Cerca il testo completoHübner, Frank. Discrete-time performance analysis of finite-capacity queueing models for ATM multiplexers. Aachen: Verlag Shaker, 1994.
Cerca il testo completoP, Neittaanmäki, ed. Finite element approximation for optimal shape design: Theory and applications. Chichester: Wiley, 1988.
Cerca il testo completoWoodruff, David J. Estimation of item response models using the EM algorithm for finite mixtures. Iowa City, Iowa: American College Testing Program, 1996.
Cerca il testo completoFinite elements: Theory, fast solvers, and applications in solid mechanics. Cambridge, U.K: Cambridge University Press, 1997.
Cerca il testo completoNassehi, Vahid. Finite element modeling of multiscale transport phenomena. London: Imperial College Press, 2011.
Cerca il testo completoWoodruff, David. Estimation of item response models using the EM algorithm for finite mixtures. Iowa City, Iowa: American College Testing Program, 1996.
Cerca il testo completoRaj, Mittra, ed. FDTD modeling of metamaterials: Theory and applications. Norwood, MA: Artech House, 2009.
Cerca il testo 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.
Cerca il testo completoLoeser, Martin. Theory and design of broadband active optoelectronic devices. Konstanz: Hartung-Gorre, 2009.
Cerca il testo 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.
Cerca il testo completoEsparza, Javier, Charles Steinhorn, and Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Cerca il testo completoEsparza, Javier, Charles Steinhorn, and Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Cerca il testo completoEsparza, Javier, Charles Steinhorn, and Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Cerca il testo completoFlum, Jörg, and Heinz-Dieter Ebbinghaus. Finite Model Theory: Second Edition. Springer London, Limited, 2005.
Cerca il testo completoFlum, Jörg, and Heinz-Dieter Ebbinghaus. Finite Model Theory: First Edition. Springer London, Limited, 2013.
Cerca il testo completoEsparza, Javier, Charles Steinhorn, and Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Cerca il testo completoFinite Model Theory and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/3-540-68804-8.
Testo completoSpencer, Joel H. Finite Model Theory and Its Applications. Springer, 2014.
Cerca il testo completoEbbinghaus, Heinz-Dieter, and Jörg Flum. Finite Model Theory (Perspectives in Mathematical Logic). 2nd ed. Springer, 2004.
Cerca il testo completoFinite Model Theory (Springer Monographs in Mathematics). 2nd ed. Springer, 2005.
Cerca il testo completoFinite Structures with Few Types. (AM-152) (Annals of Mathematics Studies). Princeton University Press, 2002.
Cerca il testo completoA probabilistic approach to model update. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 2001.
Cerca il testo completoOtto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. University of Cambridge ESOL Examinations, 2017.
Cerca il testo completoOtto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. Cambridge University Press, 2017.
Cerca il testo completoOtto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. Cambridge University Press, 2016.
Cerca il testo completoLibkin, Leonid. Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2004.
Cerca il testo completoL, 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.
Cerca il testo completoL, 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.
Cerca il testo completoSpencer, Joel H. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2007.
Cerca il testo completoSpencer, Joel H. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2007.
Cerca il testo completoMarwala, 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.
Cerca il testo completoMarwala, 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.
Cerca il testo completo