Bücher zum Thema „Algebraic automata theory“
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 "Algebraic automata theory" 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.
Bolesław, Mikołajczak, Hrsg. Algebraic and structural automata theory. Amsterdam: North-Holland Pub. Co., 1991.
Den vollen Inhalt der Quelle findenItÕo, Masami. Algebraic theory of automata and languages. Singapore: World Scientific, 2005.
Den vollen Inhalt der Quelle findenAlgebraic theory of automata and languages. River Edge, N.J: World Scientific, 2004.
Den vollen Inhalt der Quelle findenAlgebraic theory of automata networks: An introduction. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2005.
Den vollen Inhalt der Quelle findenJa, Greenglaz L., und Gvaramija, Hrsg. Algebraic structures in automata and databases theory. Singapore: World Scientific, 1992.
Den vollen Inhalt der Quelle findenB, Kudri︠a︡vt︠s︡ev V., Rosenberg I. G. 1939-, Goldstein Martin und NATO Public Diplomacy Division, Hrsg. Structural theory of automata, semigroups, and universal algebra. Dordrecht: Springer, 2005.
Den vollen Inhalt der Quelle findenM, Delorme, und Mazoyer J, Hrsg. Cellular automata: A parallel model. Dordrecht: Kluwer Academic Publishers, 1999.
Den vollen Inhalt der Quelle findenGraph algebras and automata. New York: Marcel Dekker, 2003.
Den vollen Inhalt der Quelle findenArgentina) Luis Santaló Winter School-CIMPA Research School Topics in Noncommutative Geometry (3rd 2010 Buenos Aires. Topics in noncommutative geometry: Third Luis Santaló Winter School-CIMPA Research School Topics in Noncommutative Geometry, Universidad de Buenos Aires, Buenos Aires, Argentina, July 26-August 6, 2010. Herausgegeben von Cortiñas, Guillermo, editor of compilation. Providence, RI: American Mathematical Society, 2012.
Den vollen Inhalt der Quelle findenJiří, Adámek. Automata and algebras in categories. Dordrecht: Kluwer Academic Publishers, 1990.
Den vollen Inhalt der Quelle findenauthor, Kohlas Jürg 1939, Hrsg. Generic Inference: A Unifying Theory for Automated Reasoning. Hoboken, New Jersey: Wiley, 2011.
Den vollen Inhalt der Quelle findenKuich, Werner. Semirings, Automata, Languages. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986.
Den vollen Inhalt der Quelle findenResolution proof systems: An algebraic theory. Dordrecht: Kluwer Academic Publishers, 1996.
Den vollen Inhalt der Quelle findenStachniak, Zbigniew. Resolution Proof Systems: An Algebraic Theory. Dordrecht: Springer Netherlands, 1996.
Den vollen Inhalt der Quelle findenSeslavin, Andrey. Theory of automatic control. Linear, continuous systems. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1014654.
Der volle Inhalt der Quelle1935-, Peetre Jaak, und Penjam Jaan 1955-, Hrsg. Semigroups and automata: Selecta, Uno Kaljulaid (1941-1999). Amsterdam: IOS, 2006.
Den vollen Inhalt der Quelle findenBüchi, J. Richard. Finite automata, their algebras and grammars: Towards a theory of formal expressions. Herausgegeben von Siefkes Dirk. New York: Springer-Verlag, 1989.
Den vollen Inhalt der Quelle findenMyasnikov, Alexei G. Non-commutative cryptography and complexity of group-theoretic problems. Providence, R.I: American Mathematical Society, 2011.
Den vollen Inhalt der Quelle findenInternational Conference on Cellular Automata for Research and Industry (4th 2000 Karlsruhe, Germany). Theory and practical issues on cellular automata: Proceedings of the Fourth International Conference on Cellular Automata for Research and Industry, Karlsruhe, 4-6 October 2000. London: Springer, 2001.
Den vollen Inhalt der Quelle findenMcCune, W. Automated deduction in equational logic and cubic curves. Berlin: Springer, 1996.
Den vollen Inhalt der Quelle findenDavid, Hutchison. Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Den vollen Inhalt der Quelle finden1956-, Kerber Manfred, und Kohlhase Michael 1964-, Hrsg. Symbolic computation and automated reasoning: The CALCULEMUS-2000 Symposium. Natick, Mass: A K Peters, 2001.
Den vollen Inhalt der Quelle findenKaiser, Łukasz. Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Den vollen Inhalt der Quelle findenMilnor, John W. Dynamical systems (1984-2012). Herausgegeben von Bonifant Araceli 1963-. Providence, Rhode Island: American Mathematical Society, 2014.
Den vollen Inhalt der Quelle findender, Veen Alle-Jan van, Hrsg. Time-varying systems and computations. Boston: Kluwer Academic Publishers, 1998.
Den vollen Inhalt der Quelle findenCommunication complexity: A new approach to circuit depth. Cambridge, Mass: MIT Press, 1989.
Den vollen Inhalt der Quelle findenWen-tsün, Wu. Mechanical theorem proving in geometries: Basic principles. Wien: Springer-Verlag, 1994.
Den vollen Inhalt der Quelle findenBibel, Wolfgang. Automated Deduction - A Basis for Applications: Volume III Applications. Dordrecht: Springer Netherlands, 1998.
Den vollen Inhalt der Quelle findenKamareddine, Fairouz D. Thirty Five Years of Automating Mathematics. Dordrecht: Springer Netherlands, 2003.
Den vollen Inhalt der Quelle findenBibel, Wolfgang. Automated Deduction - A Basis for Applications: Volume II: Systems and Implementation Techniques. Dordrecht: Springer Netherlands, 1998.
Den vollen Inhalt der Quelle findenW, Vaandrager Frits, und SpringerLink (Online service), Hrsg. Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Den vollen Inhalt der Quelle findenD'Agostino, Marcello. Handbook of Tableau Methods. Dordrecht: Springer Netherlands, 1999.
Den vollen Inhalt der Quelle findenHenri, Cohen, und Frey Gerhard 1944-, Hrsg. Handbook of elliptic and hyperelliptic curve cryptography. Boca Raton, FL: Taylor and Francis, 2005.
Den vollen Inhalt der Quelle findenDavid, Hutchison. Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Den vollen Inhalt der Quelle findenVan Landingham, Hugh F., 1935-, Hrsg. Algorithms for computer-aided design of multivariable control systems. New York: M. Dekker, 1993.
Den vollen Inhalt der Quelle findenHolcombe, M. Algebraic Automata Theory. Cambridge University Press, 2009.
Den vollen Inhalt der Quelle findenHolcombe, M. Algebraic Automata Theory. Cambridge University Press, 2011.
Den vollen Inhalt der Quelle findenGinzburg, Abraham, und Robert L. Ashenhurst. Algebraic Theory of Automata. Elsevier Science & Technology Books, 2014.
Den vollen Inhalt der Quelle findenAlgebraic and Structural Automata Theory. Elsevier, 1991. http://dx.doi.org/10.1016/s0167-5060(08)x7001-3.
Der volle Inhalt der QuelleMikolajczak, B. Algebraic and Structural Automata Theory. Elsevier Science & Technology Books, 1991.
Den vollen Inhalt der Quelle findenGreenglaz, L. Ja, und B. I. Plotkin. Algebraic Structures in Automata and Database Theory. World Scientific Publishing Company, 1993.
Den vollen Inhalt der Quelle findenHolcombe, M. Algebraic Automata Theory (Cambridge Studies in Advanced Mathematics). Cambridge University Press, 2004.
Den vollen Inhalt der Quelle findenMazoyer, J., und M. Delorme. Cellular Automata: A Parallel Model. Springer, 2013.
Den vollen Inhalt der Quelle findenCellular Automata: A Parallel Model. Springer, 2010.
Den vollen Inhalt der Quelle finden(Editor), M. Delorme, und J. Mazoyer (Editor), Hrsg. Cellular Automata: A Parallel Model (Mathematics and Its Applications). Springer, 1998.
Den vollen Inhalt der Quelle finden(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor) und Ivo G. Rosenberg (Editor), Hrsg. Structural Theory of Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July 2003 (NATO Science Series II: Mathematics, Physics and Chemistry, Vol. 207). Springer, 2005.
Den vollen Inhalt der Quelle findenDõmõsi, Pál, und Chrystopher L. Nehaniv. Algebraic Theory of Automata Networks (SIAM Monographs on Discrete Mathematics and Applications, 11) (Monographs on Discrete Mathematics and Applications). SIAM: Society for Industrial and Applied Mathematics, 2004.
Den vollen Inhalt der Quelle findenCategories as a basis for algebraic automaton theory. 1985.
Den vollen Inhalt der Quelle findenCategories as a basis for algebraic automaton theory. 1985.
Den vollen Inhalt der Quelle finden(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor) und Ivo G. Rosenberg (Editor), Hrsg. Structural Theory of Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups ... II: Mathematics, Physics and Chemistry). Springer, 2005.
Den vollen Inhalt der Quelle finden