Livros sobre o tema "Théorie algébgrique des automates"

Handbook of automata theory. Berlin, Germany: EMS Press, 2021.

Büchi, J. Richard. Finite automata, their algebras and grammars: Towards a theory of formal expressions. Editado por Siefkes Dirk. New York: Springer-Verlag, 1989.

Finite automata. Boca Raton: Chapman & Hall/CRC, 2004.

Formal languages and computation: Models and their applications. Boca Raton: Taylor & Francis/CRC Press, 2013.

1946-, Börger E., ed. Computation theory and logic. Berlin: Springer-Verlag, 1987.

Arto, Salomaa, ed. Semirings, automata, languages. Berlin: Springer-Verlag, 1986.

Eric, Pin Jean, ed. Infinite words: Automata, semigroups, logic and games. Amsterdam: Elsevier, 2004.

1961-, Kaplan S., e Jouannaud Jean-Pierre, eds. Conditional term rewriting systems: 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings. Berlin: Springer-Verlag, 1988.

Graph algebras and automata. New York: Marcel Dekker, 2003.

Díaz, J. Automata, languages and programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings. Berlin: Springer, 2004.

Maslov, S. I͡U. Theory of deductive systems and its applications. Cambridge, Mass: MIT Press, 1987.

Arto, Salomaa, e Karhumäki Juhani, eds. Jewels are forever: Contributions on theoretical computer science in honor of Arto Salomaa. Berlin: Springer, 1999.

ACM Symposium on Theory of Computing (34th 2002 Montréal, Québec). Proceedings of the 34th Annual ACM Symposium on the Theory of Computing: Montreal, Quebec, Canada, May 19-21, 2002. New York: Association for Computing Machinery, 2002.

Rajeev, Motwani, e Ullman Jeffrey D. 1942-, eds. Introduction to automata theory, languages, and computation. 2^a ed. Boston: Addison-Wesley, 2001.

Motwani, Rajeev. Introduction to automata theory, languages, and computation. USA: Pearson/Addison-Wesley, 2007.

Ferdinand, Wagner, ed. Modeling software with finite state machines: A practical approach. Boca Raton, FL: Taylor & Francis, 2006.

Michele, Bugliesi, e European Association for Theoretical Computer Science., eds. Automata, languages and programming: 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings. Berlin: Springer, 2006.

M, Baeten J. C., ed. Automata, languages and programming: 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings. Berlin: Springer, 2003.

Henri, Cohen, e Frey Gerhard 1944-, eds. Handbook of elliptic and hyperelliptic curve cryptography. Boca Raton, FL: Taylor and Francis, 2005.

Understanding information and computation: From Einstein to Web science. Farnham, Surrey, England: Gower Pub., 2011.

Big data: Algorithms, analytics, and applications. Boca Raton: CRC Press, Taylor & Francis Group, 2015.

H, Papadimitriou Christos, ed. Elements of the theory of computation. 2^a ed. London: Prentice Hall International, 1998.

H, Papadimitriou Christos, ed. Elements of the theory of computation. 2^a ed. Upper Saddle River, N.J: Prentice-Hall, 1998.

Andrzej, Lingas, Karlsson R. 1950- e Carlsson Svante, eds. Automata, languages, and programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings. Berlin: Springer-Verlag, 1993.

International Conference on Application and Theory of Petri Nets (14th 1993 Chicago, Illinois). Application and theory of Petri nets 1993: 14th International Conference, Chicago, Illinois, June 21-25, 1993 : proceedings. Berlin: Springer-Verlag, 1993.

Autebert. Théorie des langages et des automates. Dunod, 1997.

Tsague, Zidane Doctio, e Ajit Singh. Langage Formel et Théorie des Automates. Babelcube Inc, 2022.

Théorie des automates: Méthodes et exercices corrigés. Vuibert, 1999.

Lawson, Mark V. Finite Automata. Taylor & Francis Group, 2019.

Lawson, Mark V. Finite Automata. Taylor & Francis Group, 2003.

Perrin, Dominique, e Jean-Éric Pin. Infinite Words: Automata, Semigroups, Logic and Games (Pure and Applied Mathematics, Volume 141) (Pure and Applied Mathematics). Academic Press, 2003.

Perrin, Dominique, e Jean-Éric Pin. Infinite Words: Automata, Semigroups, Logic and Games (Pure and Applied Mathematics, Volume 141) (Pure and Applied Mathematics). Academic Press, 2003.

Introduction to Formal Languages and Automata. Jones & Bartlett Learning, LLC, 2016.

Introduction to Formal Languages and Automata. Jones & Bartlett Learning, LLC, 2022.

(Editor), Eugene Asarin, e Patricia Bouyer (Editor), eds. Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2006.

Nielsen, M., e E. M. Schmidt. Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16 1982. Springer London, Limited, 2006.

Complex Systems Dynamics, Vol. II (On Demand Printing of 52887) (Santa Fe Institute Studies in the Sciences of Complexity). Westview Press, 1994.

(Editor), Kim G. Larsen, Sven Skyum (Editor) e Glynn Winskel (Editor), eds. Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science). Springer, 1998.

Automata, Languages And Programming: 22nd International Colloquium, Icalp 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings (Lecture Notes in Computer Science). Springer, 1995.

Automata, languages, and programming: 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings. Berlin: Springer-Verlag, 1986.

Kott, Laurent. Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986... (Lecture Notes in Computer Science, Vol 226). Springer, 1986.

Kott, Laurent. Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings (Lecture Notes in Computer Science). Springer, 1986.

Proceedings of the 34th Annual Acm Symposium on Theory of Computing: Montreal, Quebec, Canada May 19-21, 2002 (Proceedings of the Annual Acm Symposium on Theory of Computing). Assn for Computing Machinery, 2002.

(Editor), Arto Salomaa, Hermann Maurer (Editor), Gheorghe Paun (Editor), Grzegorz Rozenberg (Editor) e Juhani Karhumaki (Editor), eds. Jewels Are Forever: Contributions on Theoretical Computer Science in Honor of Arto Salomaa. Springer-Verlag Telos, 1999.

Hopcroft, John E., Jeffrey D. Ullman e Rajeev Motwani. Introduction to Automata Theory, Languages, and Computation (3rd Edition). 3^a ed. Addison Wesley, 2006.

Introduction to Automata Theory, Languages, and Computation. Pearson Education, Limited, 2003.

Motwani, Rajeev. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. 2^a ed. Pearson Education Deutschland, 2002.

(Editor), Paul Pettersson, e Wang Yi (Editor), eds. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2006.

Pettersson, Paul, e Wang Yi. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Springer London, Limited, 2005.

(Editor), Pierpaolo Degano, Roberto Gorrieri (Editor) e Alberto Marchetti-Spaccamela (Editor), eds. Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings (Lecture Notes in Computer Science). Springer, 1997.