Livros sobre o tema "Symbolic models"

Herdt, Vladimir. Complete Symbolic Simulation of SystemC Models. Wiesbaden: Springer Fachmedien Wiesbaden, 2016. http://dx.doi.org/10.1007/978-3-658-12680-3.

Edwin, Kreuzer, ed. Computerized symbolic manipulation in mechanics. Wien: Springer-Verlag, 1994.

Wolf, Holger C. Anti-tax revolutions and symbolic prosecutions. Cambridge, MA: National Bureau of Economic Research, 1993.

Wolf, Holger. Anti-tax revolutions and symbolic prosecutions. Cambridge, Mass: National Bureau of EconomicResearch, 1993.

Turner, Raymond. Computable models. London: Springer, 2009.

Kossak, Roman. The structure of models of Peano arithmetic. Oxford: Clarendon, 2006.

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

Hees, Martin van. Rights and decisions: Formal models of law and liberalism. Dordrecht: Kluwer Academic, 1995.

Krynicki, Michał. Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht: Springer Netherlands, 1995.

Clote, Peter. Boolean Functions and Computation Models. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002.

B, Mahr, e Bab Sebastian, eds. Models and human reasoning: Bernd Mahr zum 60. Geburtstag. Berlin: Wissenschaft und Technik, 2005.

B, Mahr, e Bab Sebastian, eds. Models and human reasoning: Bernd Mahr zum 60. Geburtstag. Berlin: Wissenschaft und Technik, 2005.

B, Mahr, e Bab Sebastian, eds. Models and human reasoning: Bernd Mahr zum 60. Geburtstag. Berlin: Wissenschaft und Technik, 2005.

1934-, Jacobson-Widding Anita, ed. Body and space: Symbolic models of unity and division in African cosmology and experience. Uppsala: Upsaliensis Academiae, 1991.

Ershov, I͡Uriĭ Leonidovich. Constructive models. New York: Consultants Bureau, 2000.

Yan, Zhenya. Advances in nonlinear waves and symbolic computation. Hauppauge, N.Y: Nova Science Publishers, 2009.

1949-, Marcus Brian, Rosenthal Joachim 1961- e IMA Workshop on Codes, Systems, and Graphical Models (1999 : Minneapolis, Minn.), eds. Codes, systems, and graphical models. New York: Springer, 2001.

Latin-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.

The birth of model theory: Löwenheim's theorem in the frame of the theory of relatives. Princeton: Princeton University Press, 2004.

1980-, Wagoner Brady, ed. Symbolic transformation: The mind in movement through culture and society. Hove, East Sussex: Routledge, 2010.

Wagoner, Brady. Symbolic transformation: The mind in movement through culture and society. Hove, East Sussex: Routledge, 2010.

Al-Naima, Fawzi M. Element stamp algorithm for matrix formulation of symbolic circuits. New York: Nova Science Publishers, 2010.

M, Arnold Steven, e United States. National Aeronautics and Space Administration., eds. Explicit robust schemes for implementation of principal value-based constitutive models: Symbolic and numeric implementation. [Washington, DC]: National Aeronautics and Space Administration, 1993.

Fülöp, Zoltán. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.

M, Arnold Steven, e United States. National Aeronautics and Space Administration., eds. 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.

Symbolic transformation: The mind in movement through culture and society. London: Routledge, 2010.

Lobovikov, V. O. "Iskusstvennyĭ intellekt," formalʹnai͡a︡ ėtika i moralʹno-pravovoĭ vybor. Sverdlovsk: Izd-vo Uralʹskogo universiteta, 1988.

1946-, Riggins Stephen Harold, ed. The socialness of things: Essays on the socio-semiotics of objects. Berlin: Mouton de Gruyter, 1994.

Diagramme: Dissonante Resonanzen : Kunstsemiotik als Kulturtheorie. Weilerswist: Velbrück, 2009.

B, Cooper S., Truss J. K e Association for Symbolic Logic, eds. 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.

M, Arnold S., e United States. National Aeronautics and Space Administration., eds. 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.

1981-, Demaine Erik D., ed. Games, puzzles, and computation. Wellesley, Mass: A K Peters, 2009.

Hui-Qian, Tan, Dong X e United States. National Aeronautics and Space Administration., eds. Application of symbolic computations to the constitutive modeling of structural materials. [Washington, D.C.]: NASA, 1990.

Wagner-Döbler, Roland. Mathematische Logik von 1847 bis zur Gegenwart: Eine bibliometrische Untersuchung. Berlin: W. de Gruyter, 1993.

Benthem, Johan van. Essays in logical semantics. Dordrecht: Reidel, 1986.

Benedikt, Löwe, Malzkorn Wolfgang e Räsch Thoralf, eds. 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.

Boldur-Lățescu, Gheorghe. Logica decizională și conducerea sistemelor. București: Editura Academiei Române, 1992.

1968-, Lawry Jonathan, Shanahan James G e Ralescu Anca L. 1949-, eds. Modelling with words: Learning, fusion, and reasoning within a formal linguistic representation framework. Berlin: Springer, 2003.

Multiactivity in social interaction: Beyond multitasking. Amsterdam: John Benjamins Publishing Company, 2014.

Rand, Omri. Analytical methods in anisotropic elasticity: With symbolic computational tools. Boston: Birkhäuser, 2005.

McMillan, Kenneth L. Symbolic model checking. Boston: Kluwer Academic, 1993.

McMillan, Kenneth L. Symbolic Model Checking. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4615-3190-6.

McMillan, Kenneth L. Symbolic Model Checking. Boston, MA: Springer US, 1993.

Crestani, Fabio. Information Retrieval: Uncertainty and Logics: Advanced Models for the Representation and Retrieval of Information. Boston, MA: Springer US, 1998.

Jeroslow, Robert G. Logic-based decision support: Mixed integer model formulation. Amsterdam: North-Holland, 1989.

Awange, Joseph L., Béla Paláncz, Robert H. Lewis e Lajos Völgyesi. Mathematical Geosciences: Hybrid Symbolic-Numeric Methods. Springer, 2019.

Awange, Joseph L., Béla Paláncz, Robert H. Lewis e Lajos Völgyesi. Mathematical Geosciences: Hybrid Symbolic-Numeric Methods. Springer, 2018.

Palancz, Bela, Joseph L. Awange, Robert H. Lewis e Lajos Völgyesi. Mathematical Geosciences: Hybrid Symbolic-Numeric Methods. Springer International Publishing AG, 2022.

Mathematics, Models, and Modality. Cambridge University Press, 2008.

Kreuzer, Edwin. Computerized Symbolic Manipulation in Mechanics. Springer London, Limited, 2014.