Książki na temat „Symbolic models”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Symbolic models”.
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.
Herdt, Vladimir. Complete Symbolic Simulation of SystemC Models. Wiesbaden: Springer Fachmedien Wiesbaden, 2016. http://dx.doi.org/10.1007/978-3-658-12680-3.
Pełny tekst źródłaEdwin, Kreuzer, red. Computerized symbolic manipulation in mechanics. Wien: Springer-Verlag, 1994.
Znajdź pełny tekst źródłaWolf, Holger C. Anti-tax revolutions and symbolic prosecutions. Cambridge, MA: National Bureau of Economic Research, 1993.
Znajdź pełny tekst źródłaWolf, Holger. Anti-tax revolutions and symbolic prosecutions. Cambridge, Mass: National Bureau of EconomicResearch, 1993.
Znajdź pełny tekst źródłaTurner, Raymond. Computable models. London: Springer, 2009.
Znajdź pełny tekst źródłaKossak, Roman. The structure of models of Peano arithmetic. Oxford: Clarendon, 2006.
Znajdź pełny tekst źródłaHeckel, J. S. A methodology for linking symbolic and graphical models for collaborative engineering. [Champaign, IL]: US Army Corps of Engineers, Construction Engineering Research Laboratories, 1996.
Znajdź pełny tekst źródłaHees, Martin van. Rights and decisions: Formal models of law and liberalism. Dordrecht: Kluwer Academic, 1995.
Znajdź pełny tekst źródłaKrynicki, Michał. Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht: Springer Netherlands, 1995.
Znajdź pełny tekst źródłaClote, Peter. Boolean Functions and Computation Models. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002.
Znajdź pełny tekst źródłaB, Mahr, i Bab Sebastian, red. Models and human reasoning: Bernd Mahr zum 60. Geburtstag. Berlin: Wissenschaft und Technik, 2005.
Znajdź pełny tekst źródłaB, Mahr, i Bab Sebastian, red. Models and human reasoning: Bernd Mahr zum 60. Geburtstag. Berlin: Wissenschaft und Technik, 2005.
Znajdź pełny tekst źródłaB, Mahr, i Bab Sebastian, red. Models and human reasoning: Bernd Mahr zum 60. Geburtstag. Berlin: Wissenschaft und Technik, 2005.
Znajdź pełny tekst źródła1934-, Jacobson-Widding Anita, red. Body and space: Symbolic models of unity and division in African cosmology and experience. Uppsala: Upsaliensis Academiae, 1991.
Znajdź pełny tekst źródłaErshov, I͡Uriĭ Leonidovich. Constructive models. New York: Consultants Bureau, 2000.
Znajdź pełny tekst źródłaYan, Zhenya. Advances in nonlinear waves and symbolic computation. Hauppauge, N.Y: Nova Science Publishers, 2009.
Znajdź pełny tekst źródła1949-, Marcus Brian, Rosenthal Joachim 1961- i IMA Workshop on Codes, Systems, and Graphical Models (1999 : Minneapolis, Minn.), red. Codes, systems, and graphical models. New York: Springer, 2001.
Znajdź pełny tekst źródłaLatin-American Symposium on Mathematical Logic (10th 1996 Bogotá, Colombia). Models, algebras, and proofs: Selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá. New York: Marcel Dekker, 1999.
Znajdź pełny tekst źródłaThe birth of model theory: Löwenheim's theorem in the frame of the theory of relatives. Princeton: Princeton University Press, 2004.
Znajdź pełny tekst źródła1980-, Wagoner Brady, red. Symbolic transformation: The mind in movement through culture and society. Hove, East Sussex: Routledge, 2010.
Znajdź pełny tekst źródłaWagoner, Brady. Symbolic transformation: The mind in movement through culture and society. Hove, East Sussex: Routledge, 2010.
Znajdź pełny tekst źródłaAl-Naima, Fawzi M. Element stamp algorithm for matrix formulation of symbolic circuits. New York: Nova Science Publishers, 2010.
Znajdź pełny tekst źródłaM, Arnold Steven, i United States. National Aeronautics and Space Administration., red. Explicit robust schemes for implementation of principal value-based constitutive models: Symbolic and numeric implementation. [Washington, DC]: National Aeronautics and Space Administration, 1993.
Znajdź pełny tekst źródłaFülöp, Zoltán. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.
Znajdź pełny tekst źródłaM, Arnold Steven, i United States. National Aeronautics and Space Administration., red. Explicit robust schemes for implementation of general principal value-based constitutive models: Symbolic and numeric implementation. [Washington, D.C.]: National Aeronautics and Space Administration, 1993.
Znajdź pełny tekst źródłaSymbolic transformation: The mind in movement through culture and society. London: Routledge, 2010.
Znajdź pełny tekst źródłaLobovikov, V. O. "Iskusstvennyĭ intellekt," formalʹnai͡a︡ ėtika i moralʹno-pravovoĭ vybor. Sverdlovsk: Izd-vo Uralʹskogo universiteta, 1988.
Znajdź pełny tekst źródła1946-, Riggins Stephen Harold, red. The socialness of things: Essays on the socio-semiotics of objects. Berlin: Mouton de Gruyter, 1994.
Znajdź pełny tekst źródłaDiagramme: Dissonante Resonanzen : Kunstsemiotik als Kulturtheorie. Weilerswist: Velbrück, 2009.
Znajdź pełny tekst źródłaB, Cooper S., Truss J. K i Association for Symbolic Logic, red. Models and computabilty: Invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. New York: Cambridge University Press, 1999.
Znajdź pełny tekst źródłaM, Arnold S., i United States. National Aeronautics and Space Administration., red. Explicit robust schemes for implementation of a class of principal value-based constitutive models: Symbolic and numeric implementation. [Washington, DC]: National Aeronautics and Space Administration, 1993.
Znajdź pełny tekst źródła1981-, Demaine Erik D., red. Games, puzzles, and computation. Wellesley, Mass: A K Peters, 2009.
Znajdź pełny tekst źródłaHui-Qian, Tan, Dong X i United States. National Aeronautics and Space Administration., red. Application of symbolic computations to the constitutive modeling of structural materials. [Washington, D.C.]: NASA, 1990.
Znajdź pełny tekst źródłaWagner-Döbler, Roland. Mathematische Logik von 1847 bis zur Gegenwart: Eine bibliometrische Untersuchung. Berlin: W. de Gruyter, 1993.
Znajdź pełny tekst źródłaBenthem, Johan van. Essays in logical semantics. Dordrecht: Reidel, 1986.
Znajdź pełny tekst źródłaBenedikt, Löwe, Malzkorn Wolfgang i Räsch Thoralf, red. Foundations of the formal sciences II: Applications of mathematical logic in philosophy and linguistics : papers of a conference held in Bonn, November 10-13, 2000. Dordrecht: Kluwer Academic Publishers, 2003.
Znajdź pełny tekst źródłaBoldur-Lățescu, Gheorghe. Logica decizională și conducerea sistemelor. București: Editura Academiei Române, 1992.
Znajdź pełny tekst źródła1968-, Lawry Jonathan, Shanahan James G i Ralescu Anca L. 1949-, red. Modelling with words: Learning, fusion, and reasoning within a formal linguistic representation framework. Berlin: Springer, 2003.
Znajdź pełny tekst źródłaMultiactivity in social interaction: Beyond multitasking. Amsterdam: John Benjamins Publishing Company, 2014.
Znajdź pełny tekst źródłaRand, Omri. Analytical methods in anisotropic elasticity: With symbolic computational tools. Boston: Birkhäuser, 2005.
Znajdź pełny tekst źródłaMcMillan, Kenneth L. Symbolic model checking. Boston: Kluwer Academic, 1993.
Znajdź pełny tekst źródłaMcMillan, Kenneth L. Symbolic Model Checking. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4615-3190-6.
Pełny tekst źródłaMcMillan, Kenneth L. Symbolic Model Checking. Boston, MA: Springer US, 1993.
Znajdź pełny tekst źródłaCrestani, Fabio. Information Retrieval: Uncertainty and Logics: Advanced Models for the Representation and Retrieval of Information. Boston, MA: Springer US, 1998.
Znajdź pełny tekst źródłaJeroslow, Robert G. Logic-based decision support: Mixed integer model formulation. Amsterdam: North-Holland, 1989.
Znajdź pełny tekst źródłaAwange, Joseph L., Béla Paláncz, Robert H. Lewis i Lajos Völgyesi. Mathematical Geosciences: Hybrid Symbolic-Numeric Methods. Springer, 2019.
Znajdź pełny tekst źródłaAwange, Joseph L., Béla Paláncz, Robert H. Lewis i Lajos Völgyesi. Mathematical Geosciences: Hybrid Symbolic-Numeric Methods. Springer, 2018.
Znajdź pełny tekst źródłaPalancz, Bela, Joseph L. Awange, Robert H. Lewis i Lajos Völgyesi. Mathematical Geosciences: Hybrid Symbolic-Numeric Methods. Springer International Publishing AG, 2022.
Znajdź pełny tekst źródłaMathematics, Models, and Modality. Cambridge University Press, 2008.
Znajdź pełny tekst źródłaKreuzer, Edwin. Computerized Symbolic Manipulation in Mechanics. Springer London, Limited, 2014.
Znajdź pełny tekst źródła