Bücher zum Thema „Symbolic models“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Bücher für die Forschung zum Thema "Symbolic models" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Herdt, Vladimir. Complete Symbolic Simulation of SystemC Models. Wiesbaden: Springer Fachmedien Wiesbaden, 2016. http://dx.doi.org/10.1007/978-3-658-12680-3.
Der volle Inhalt der QuelleEdwin, Kreuzer, Hrsg. Computerized symbolic manipulation in mechanics. Wien: Springer-Verlag, 1994.
Den vollen Inhalt der Quelle findenWolf, Holger C. Anti-tax revolutions and symbolic prosecutions. Cambridge, MA: National Bureau of Economic Research, 1993.
Den vollen Inhalt der Quelle findenWolf, Holger. Anti-tax revolutions and symbolic prosecutions. Cambridge, Mass: National Bureau of EconomicResearch, 1993.
Den vollen Inhalt der Quelle findenTurner, Raymond. Computable models. London: Springer, 2009.
Den vollen Inhalt der Quelle findenKossak, Roman. The structure of models of Peano arithmetic. Oxford: Clarendon, 2006.
Den vollen Inhalt der Quelle findenHeckel, 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.
Den vollen Inhalt der Quelle findenHees, Martin van. Rights and decisions: Formal models of law and liberalism. Dordrecht: Kluwer Academic, 1995.
Den vollen Inhalt der Quelle findenKrynicki, Michał. Quantifiers: Logics, Models and Computation: Volume Two: Contributions. Dordrecht: Springer Netherlands, 1995.
Den vollen Inhalt der Quelle findenClote, Peter. Boolean Functions and Computation Models. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002.
Den vollen Inhalt der Quelle findenB, Mahr, und Bab Sebastian, Hrsg. Models and human reasoning: Bernd Mahr zum 60. Geburtstag. Berlin: Wissenschaft und Technik, 2005.
Den vollen Inhalt der Quelle findenB, Mahr, und Bab Sebastian, Hrsg. Models and human reasoning: Bernd Mahr zum 60. Geburtstag. Berlin: Wissenschaft und Technik, 2005.
Den vollen Inhalt der Quelle findenB, Mahr, und Bab Sebastian, Hrsg. Models and human reasoning: Bernd Mahr zum 60. Geburtstag. Berlin: Wissenschaft und Technik, 2005.
Den vollen Inhalt der Quelle finden1934-, Jacobson-Widding Anita, Hrsg. Body and space: Symbolic models of unity and division in African cosmology and experience. Uppsala: Upsaliensis Academiae, 1991.
Den vollen Inhalt der Quelle findenErshov, I͡Uriĭ Leonidovich. Constructive models. New York: Consultants Bureau, 2000.
Den vollen Inhalt der Quelle findenYan, Zhenya. Advances in nonlinear waves and symbolic computation. Hauppauge, N.Y: Nova Science Publishers, 2009.
Den vollen Inhalt der Quelle finden1949-, Marcus Brian, Rosenthal Joachim 1961- und IMA Workshop on Codes, Systems, and Graphical Models (1999 : Minneapolis, Minn.), Hrsg. Codes, systems, and graphical models. New York: Springer, 2001.
Den vollen Inhalt der Quelle findenLatin-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.
Den vollen Inhalt der Quelle findenThe birth of model theory: Löwenheim's theorem in the frame of the theory of relatives. Princeton: Princeton University Press, 2004.
Den vollen Inhalt der Quelle finden1980-, Wagoner Brady, Hrsg. Symbolic transformation: The mind in movement through culture and society. Hove, East Sussex: Routledge, 2010.
Den vollen Inhalt der Quelle findenWagoner, Brady. Symbolic transformation: The mind in movement through culture and society. Hove, East Sussex: Routledge, 2010.
Den vollen Inhalt der Quelle findenAl-Naima, Fawzi M. Element stamp algorithm for matrix formulation of symbolic circuits. New York: Nova Science Publishers, 2010.
Den vollen Inhalt der Quelle findenM, Arnold Steven, und United States. National Aeronautics and Space Administration., Hrsg. Explicit robust schemes for implementation of principal value-based constitutive models: Symbolic and numeric implementation. [Washington, DC]: National Aeronautics and Space Administration, 1993.
Den vollen Inhalt der Quelle findenFülöp, Zoltán. Syntax-Directed Semantics: Formal Models Based on Tree Transducers. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.
Den vollen Inhalt der Quelle findenM, Arnold Steven, und United States. National Aeronautics and Space Administration., Hrsg. 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.
Den vollen Inhalt der Quelle findenSymbolic transformation: The mind in movement through culture and society. London: Routledge, 2010.
Den vollen Inhalt der Quelle findenLobovikov, V. O. "Iskusstvennyĭ intellekt," formalʹnai͡a︡ ėtika i moralʹno-pravovoĭ vybor. Sverdlovsk: Izd-vo Uralʹskogo universiteta, 1988.
Den vollen Inhalt der Quelle finden1946-, Riggins Stephen Harold, Hrsg. The socialness of things: Essays on the socio-semiotics of objects. Berlin: Mouton de Gruyter, 1994.
Den vollen Inhalt der Quelle findenDiagramme: Dissonante Resonanzen : Kunstsemiotik als Kulturtheorie. Weilerswist: Velbrück, 2009.
Den vollen Inhalt der Quelle findenB, Cooper S., Truss J. K und Association for Symbolic Logic, Hrsg. 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.
Den vollen Inhalt der Quelle findenM, Arnold S., und United States. National Aeronautics and Space Administration., Hrsg. 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.
Den vollen Inhalt der Quelle finden1981-, Demaine Erik D., Hrsg. Games, puzzles, and computation. Wellesley, Mass: A K Peters, 2009.
Den vollen Inhalt der Quelle findenHui-Qian, Tan, Dong X und United States. National Aeronautics and Space Administration., Hrsg. Application of symbolic computations to the constitutive modeling of structural materials. [Washington, D.C.]: NASA, 1990.
Den vollen Inhalt der Quelle findenWagner-Döbler, Roland. Mathematische Logik von 1847 bis zur Gegenwart: Eine bibliometrische Untersuchung. Berlin: W. de Gruyter, 1993.
Den vollen Inhalt der Quelle findenBenthem, Johan van. Essays in logical semantics. Dordrecht: Reidel, 1986.
Den vollen Inhalt der Quelle findenBenedikt, Löwe, Malzkorn Wolfgang und Räsch Thoralf, Hrsg. 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.
Den vollen Inhalt der Quelle findenBoldur-Lățescu, Gheorghe. Logica decizională și conducerea sistemelor. București: Editura Academiei Române, 1992.
Den vollen Inhalt der Quelle finden1968-, Lawry Jonathan, Shanahan James G und Ralescu Anca L. 1949-, Hrsg. Modelling with words: Learning, fusion, and reasoning within a formal linguistic representation framework. Berlin: Springer, 2003.
Den vollen Inhalt der Quelle findenMultiactivity in social interaction: Beyond multitasking. Amsterdam: John Benjamins Publishing Company, 2014.
Den vollen Inhalt der Quelle findenRand, Omri. Analytical methods in anisotropic elasticity: With symbolic computational tools. Boston: Birkhäuser, 2005.
Den vollen Inhalt der Quelle findenMcMillan, Kenneth L. Symbolic model checking. Boston: Kluwer Academic, 1993.
Den vollen Inhalt der Quelle findenMcMillan, Kenneth L. Symbolic Model Checking. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4615-3190-6.
Der volle Inhalt der QuelleMcMillan, Kenneth L. Symbolic Model Checking. Boston, MA: Springer US, 1993.
Den vollen Inhalt der Quelle findenCrestani, Fabio. Information Retrieval: Uncertainty and Logics: Advanced Models for the Representation and Retrieval of Information. Boston, MA: Springer US, 1998.
Den vollen Inhalt der Quelle findenJeroslow, Robert G. Logic-based decision support: Mixed integer model formulation. Amsterdam: North-Holland, 1989.
Den vollen Inhalt der Quelle findenAwange, Joseph L., Béla Paláncz, Robert H. Lewis und Lajos Völgyesi. Mathematical Geosciences: Hybrid Symbolic-Numeric Methods. Springer, 2019.
Den vollen Inhalt der Quelle findenAwange, Joseph L., Béla Paláncz, Robert H. Lewis und Lajos Völgyesi. Mathematical Geosciences: Hybrid Symbolic-Numeric Methods. Springer, 2018.
Den vollen Inhalt der Quelle findenPalancz, Bela, Joseph L. Awange, Robert H. Lewis und Lajos Völgyesi. Mathematical Geosciences: Hybrid Symbolic-Numeric Methods. Springer International Publishing AG, 2022.
Den vollen Inhalt der Quelle findenMathematics, Models, and Modality. Cambridge University Press, 2008.
Den vollen Inhalt der Quelle findenKreuzer, Edwin. Computerized Symbolic Manipulation in Mechanics. Springer London, Limited, 2014.
Den vollen Inhalt der Quelle finden