Książki na temat „Algebraic automata theory”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Algebraic automata 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.
Bolesław, Mikołajczak, red. Algebraic and structural automata theory. Amsterdam: North-Holland Pub. Co., 1991.
Znajdź pełny tekst źródłaItÕo, Masami. Algebraic theory of automata and languages. Singapore: World Scientific, 2005.
Znajdź pełny tekst źródłaAlgebraic theory of automata and languages. River Edge, N.J: World Scientific, 2004.
Znajdź pełny tekst źródłaAlgebraic theory of automata networks: An introduction. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2005.
Znajdź pełny tekst źródłaJa, Greenglaz L., i Gvaramija, red. Algebraic structures in automata and databases theory. Singapore: World Scientific, 1992.
Znajdź pełny tekst źródłaB, Kudri︠a︡vt︠s︡ev V., Rosenberg I. G. 1939-, Goldstein Martin i NATO Public Diplomacy Division, red. Structural theory of automata, semigroups, and universal algebra. Dordrecht: Springer, 2005.
Znajdź pełny tekst źródłaM, Delorme, i Mazoyer J, red. Cellular automata: A parallel model. Dordrecht: Kluwer Academic Publishers, 1999.
Znajdź pełny tekst źródłaGraph algebras and automata. New York: Marcel Dekker, 2003.
Znajdź pełny tekst źródłaArgentina) 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. Redaktor Cortiñas, Guillermo, editor of compilation. Providence, RI: American Mathematical Society, 2012.
Znajdź pełny tekst źródłaJiří, Adámek. Automata and algebras in categories. Dordrecht: Kluwer Academic Publishers, 1990.
Znajdź pełny tekst źródłaauthor, Kohlas Jürg 1939, red. Generic Inference: A Unifying Theory for Automated Reasoning. Hoboken, New Jersey: Wiley, 2011.
Znajdź pełny tekst źródłaKuich, Werner. Semirings, Automata, Languages. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986.
Znajdź pełny tekst źródłaResolution proof systems: An algebraic theory. Dordrecht: Kluwer Academic Publishers, 1996.
Znajdź pełny tekst źródłaStachniak, Zbigniew. Resolution Proof Systems: An Algebraic Theory. Dordrecht: Springer Netherlands, 1996.
Znajdź pełny tekst źródłaSeslavin, Andrey. Theory of automatic control. Linear, continuous systems. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1014654.
Pełny tekst źródła1935-, Peetre Jaak, i Penjam Jaan 1955-, red. Semigroups and automata: Selecta, Uno Kaljulaid (1941-1999). Amsterdam: IOS, 2006.
Znajdź pełny tekst źródłaBüchi, J. Richard. Finite automata, their algebras and grammars: Towards a theory of formal expressions. Redaktor Siefkes Dirk. New York: Springer-Verlag, 1989.
Znajdź pełny tekst źródłaMyasnikov, Alexei G. Non-commutative cryptography and complexity of group-theoretic problems. Providence, R.I: American Mathematical Society, 2011.
Znajdź pełny tekst źródłaInternational 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.
Znajdź pełny tekst źródłaMcCune, W. Automated deduction in equational logic and cubic curves. Berlin: Springer, 1996.
Znajdź pełny tekst źródłaDavid, 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.
Znajdź pełny tekst źródła1956-, Kerber Manfred, i Kohlhase Michael 1964-, red. Symbolic computation and automated reasoning: The CALCULEMUS-2000 Symposium. Natick, Mass: A K Peters, 2001.
Znajdź pełny tekst źródłaKaiser, Łukasz. Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Znajdź pełny tekst źródłaMilnor, John W. Dynamical systems (1984-2012). Redaktor Bonifant Araceli 1963-. Providence, Rhode Island: American Mathematical Society, 2014.
Znajdź pełny tekst źródłader, Veen Alle-Jan van, red. Time-varying systems and computations. Boston: Kluwer Academic Publishers, 1998.
Znajdź pełny tekst źródłaCommunication complexity: A new approach to circuit depth. Cambridge, Mass: MIT Press, 1989.
Znajdź pełny tekst źródłaWen-tsün, Wu. Mechanical theorem proving in geometries: Basic principles. Wien: Springer-Verlag, 1994.
Znajdź pełny tekst źródłaBibel, Wolfgang. Automated Deduction - A Basis for Applications: Volume III Applications. Dordrecht: Springer Netherlands, 1998.
Znajdź pełny tekst źródłaKamareddine, Fairouz D. Thirty Five Years of Automating Mathematics. Dordrecht: Springer Netherlands, 2003.
Znajdź pełny tekst źródłaBibel, Wolfgang. Automated Deduction - A Basis for Applications: Volume II: Systems and Implementation Techniques. Dordrecht: Springer Netherlands, 1998.
Znajdź pełny tekst źródłaW, Vaandrager Frits, i SpringerLink (Online service), red. 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.
Znajdź pełny tekst źródłaD'Agostino, Marcello. Handbook of Tableau Methods. Dordrecht: Springer Netherlands, 1999.
Znajdź pełny tekst źródłaHenri, Cohen, i Frey Gerhard 1944-, red. Handbook of elliptic and hyperelliptic curve cryptography. Boca Raton, FL: Taylor and Francis, 2005.
Znajdź pełny tekst źródłaDavid, 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.
Znajdź pełny tekst źródłaVan Landingham, Hugh F., 1935-, red. Algorithms for computer-aided design of multivariable control systems. New York: M. Dekker, 1993.
Znajdź pełny tekst źródłaHolcombe, M. Algebraic Automata Theory. Cambridge University Press, 2009.
Znajdź pełny tekst źródłaHolcombe, M. Algebraic Automata Theory. Cambridge University Press, 2011.
Znajdź pełny tekst źródłaGinzburg, Abraham, i Robert L. Ashenhurst. Algebraic Theory of Automata. Elsevier Science & Technology Books, 2014.
Znajdź pełny tekst źródłaAlgebraic and Structural Automata Theory. Elsevier, 1991. http://dx.doi.org/10.1016/s0167-5060(08)x7001-3.
Pełny tekst źródłaMikolajczak, B. Algebraic and Structural Automata Theory. Elsevier Science & Technology Books, 1991.
Znajdź pełny tekst źródłaGreenglaz, L. Ja, i B. I. Plotkin. Algebraic Structures in Automata and Database Theory. World Scientific Publishing Company, 1993.
Znajdź pełny tekst źródłaHolcombe, M. Algebraic Automata Theory (Cambridge Studies in Advanced Mathematics). Cambridge University Press, 2004.
Znajdź pełny tekst źródłaMazoyer, J., i M. Delorme. Cellular Automata: A Parallel Model. Springer, 2013.
Znajdź pełny tekst źródłaCellular Automata: A Parallel Model. Springer, 2010.
Znajdź pełny tekst źródła(Editor), M. Delorme, i J. Mazoyer (Editor), red. Cellular Automata: A Parallel Model (Mathematics and Its Applications). Springer, 1998.
Znajdź pełny tekst źródła(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor) i Ivo G. Rosenberg (Editor), red. 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.
Znajdź pełny tekst źródłaDõmõsi, Pál, i 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.
Znajdź pełny tekst źródłaCategories as a basis for algebraic automaton theory. 1985.
Znajdź pełny tekst źródłaCategories as a basis for algebraic automaton theory. 1985.
Znajdź pełny tekst źródła(Adapter), M. Goldstein, Valery B. Kudryavtsev (Editor) i Ivo G. Rosenberg (Editor), red. 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.
Znajdź pełny tekst źródła