Książki na temat „Finite model theory”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Finite model theory”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
Ebbinghaus, Heinz-Dieter. Finite model theory. Wyd. 2. Berlin: Springer, 1999.
Znajdź pełny tekst źródłaEbbinghaus, Heinz-Dieter. Finite model theory. Berlin: Springer, 1995.
Znajdź pełny tekst źródłaEbbinghaus, Heinz-Dieter, i Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-662-03182-7.
Pełny tekst źródłaEbbinghaus, Heinz-Dieter, i Jörg Flum. Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-28788-4.
Pełny tekst źródłaEsparza, Javier. Finite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Znajdź pełny tekst źródłaLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Znajdź pełny tekst źródłaFinite and algorithmic model theory. Cambridge: Cambridge University Press, 2011.
Znajdź pełny tekst źródłaEsparza, Javier, Christian Michaux i Charles Steinhorn, red. Finite and Algorithmic Model Theory. Cambridge: Cambridge University Press, 2009. http://dx.doi.org/10.1017/cbo9780511974960.
Pełny tekst źródłaLibkin, Leonid. Elements of Finite Model Theory. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1.
Pełny tekst źródłaBorovik, Alexandre. Groups of finite Morley rank. Oxford: Clarendon Press, 1994.
Znajdź pełny tekst źródłaAlexandre, Borovik, i Cherlin Gregory L. 1948-, red. Simple groups of finite Morley rank. Providence, R.I: American Mathematical Society, 2008.
Znajdź pełny tekst źródłaOtto, Martin. Bounded variable logics and counting: A study in finite models. Berlin: Springer, 1997.
Znajdź pełny tekst źródłaOtto, Martin. Bounded variable logics and counting: A study in finite models. Berlin: Springer, 1996.
Znajdź pełny tekst źródła1953-, Immerman Neil, Kolaitis Phokion i DIMACS Workshop on Descriptive Complexity and Finite Models (1996 : Princeton University), red. Descriptive complexity and finite models: Proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University. Providence, R.I: American Mathematical Society, 1997.
Znajdź pełny tekst źródłaReiss, K. Endliche Strukturen. Heidelberg: Springer, 2011.
Znajdź pełny tekst źródłaModel theoretic methods in finite combinatorics: AMS-ASL special session, January 5-8, 2009 Washington, DC. Providence, R.I: American Mathematical Society, 2011.
Znajdź pełny tekst źródłaFinite elements: Theory, fast solvers, and applications in elasticity theory. Wyd. 3. Cambridge, UK: Cambridge University Press, 2007.
Znajdź pełny tekst źródłaHübner, Frank. Discrete-time performance analysis of finite-capacity queueing models for ATM multiplexers. Aachen: Verlag Shaker, 1994.
Znajdź pełny tekst źródłaP, Neittaanmäki, red. Finite element approximation for optimal shape design: Theory and applications. Chichester: Wiley, 1988.
Znajdź pełny tekst źródłaWoodruff, David J. Estimation of item response models using the EM algorithm for finite mixtures. Iowa City, Iowa: American College Testing Program, 1996.
Znajdź pełny tekst źródłaFinite elements: Theory, fast solvers, and applications in solid mechanics. Cambridge, U.K: Cambridge University Press, 1997.
Znajdź pełny tekst źródłaNassehi, Vahid. Finite element modeling of multiscale transport phenomena. London: Imperial College Press, 2011.
Znajdź pełny tekst źródłaWoodruff, David. Estimation of item response models using the EM algorithm for finite mixtures. Iowa City, Iowa: American College Testing Program, 1996.
Znajdź pełny tekst źródłaRaj, Mittra, red. FDTD modeling of metamaterials: Theory and applications. Norwood, MA: Artech House, 2009.
Znajdź pełny tekst źródłaKaneko, 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.
Znajdź pełny tekst źródłaLoeser, Martin. Theory and design of broadband active optoelectronic devices. Konstanz: Hartung-Gorre, 2009.
Znajdź pełny tekst źródłaWarming, Robert F. An eigenvalue analysis of finite-difference approximations for hyperbolic IBVPs. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1989.
Znajdź pełny tekst źródłaEsparza, Javier, Charles Steinhorn i Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Znajdź pełny tekst źródłaEsparza, Javier, Charles Steinhorn i Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Znajdź pełny tekst źródłaEsparza, Javier, Charles Steinhorn i Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Znajdź pełny tekst źródłaFlum, Jörg, i Heinz-Dieter Ebbinghaus. Finite Model Theory: Second Edition. Springer London, Limited, 2005.
Znajdź pełny tekst źródłaFlum, Jörg, i Heinz-Dieter Ebbinghaus. Finite Model Theory: First Edition. Springer London, Limited, 2013.
Znajdź pełny tekst źródłaEsparza, Javier, Charles Steinhorn i Christian Michaux. Finite and Algorithmic Model Theory. Cambridge University Press, 2011.
Znajdź pełny tekst źródłaFinite Model Theory and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/3-540-68804-8.
Pełny tekst źródłaSpencer, Joel H. Finite Model Theory and Its Applications. Springer, 2014.
Znajdź pełny tekst źródłaEbbinghaus, Heinz-Dieter, i Jörg Flum. Finite Model Theory (Perspectives in Mathematical Logic). Wyd. 2. Springer, 2004.
Znajdź pełny tekst źródłaFinite Model Theory (Springer Monographs in Mathematics). Wyd. 2. Springer, 2005.
Znajdź pełny tekst źródłaFinite Structures with Few Types. (AM-152) (Annals of Mathematics Studies). Princeton University Press, 2002.
Znajdź pełny tekst źródłaA probabilistic approach to model update. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 2001.
Znajdź pełny tekst źródłaOtto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. University of Cambridge ESOL Examinations, 2017.
Znajdź pełny tekst źródłaOtto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. Cambridge University Press, 2017.
Znajdź pełny tekst źródłaOtto, Martin. Bounded Variable Logics and Counting: A Study in Finite Models. Cambridge University Press, 2016.
Znajdź pełny tekst źródłaLibkin, Leonid. Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2004.
Znajdź pełny tekst źródłaHandbook Of Finite State Based Models And Applications. CRC Press, 2012.
Znajdź pełny tekst źródłaL, Miller Timothy, Lu Huei-Iin i George C. Marshall Space Flight Center., red. 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.
Znajdź pełny tekst źródłaL, Miller Timothy, Lu Huei-Iin i George C. Marshall Space Flight Center., red. 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.
Znajdź pełny tekst źródłaSpencer, Joel H. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2007.
Znajdź pełny tekst źródłaSpencer, Joel H. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series). Springer, 2007.
Znajdź pełny tekst źródłaMarwala, Tshilidzi, Sondipon Adhikari i Ilyes Boulkaibet. Probabilistic Finite Element Model Updating Using Bayesian Statistics: Applications to Aeronautical and Mechanical Engineering. Wiley & Sons, Limited, John, 2016.
Znajdź pełny tekst źródłaMarwala, Tshilidzi, Sondipon Adhikari i Ilyes Boulkaibet. Probabilistic Finite Element Model Updating Using Bayesian Statistics: Applications to Aeronautical and Mechanical Engineering. Wiley & Sons, Incorporated, John, 2016.
Znajdź pełny tekst źródła