Books on the topic 'Automate mathématique'

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

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

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

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

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

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

Ying, Hao. Fuzzy control and modeling: Analytical foundations and applications. New York: IEEE Press, 2000.

Hiroshi, Nakano, ed. PX, a computational logic. Cambridge, Mass: MIT Press, 1988.

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.

Chiasson, John Nelson. Modeling and High Performance Control of Electric Machines. New York: John Wiley & Sons, Ltd., 2005.

Modeling and high performance control of electric machines. Hoboken, NJ: John Wiley, 2005.

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

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

Neuro-fuzzy controllers: Design and application. Lausanne: Presses polytechniques et universitaires romandes, 1997.

J, Henry, Yvon J. -P, and International Federation for Information Processing., eds. System modelling and optimization: Proceedings of the 16th IFIP-TC7 conference, Compiègne, France, July 5-9, 1993. London: Springer-Verlag, 1994.

Snyers, Dominique. From logic design to logic programming: Theorem proving techniques and P-functions. Berlin: Springer-Verlag, 1987.

Delwiche, Lora D. The little SAS book: A primer. 2nd ed. Cary, NC: SAS Institute, 2002.

J, Slaughter Susan, ed. The little SAS book: A primer. 3rd ed. Cary, NC: SAS Institute, 2003.

Delwiche, Lora D. The little SAS book: A primer. 4th ed. Cary, NC: SAS Institute, 2008.

J, Slaughter Susan, ed. The little SAS book: A primer. 2nd ed. Cary, NC: SAS Institute, 1998.

Delwiche, Lora D. The little SAS book: A primer. 2nd ed. Cary, NC: SAS Institute, 2002.

Delwiche, Lora D. The little SAS book: A primer. Cary, NC: SAS Institute, 1995.

J, Slaughter Susan, ed. The little SAS book: A primer. 4th ed. Cary, NC: SAS Institute, 2008.

Delwiche, Lora D. The little SAS book: A primer. 4th ed. Cary, NC: SAS Institute, 2008.

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

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

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

1960-, Banieqbal B., Barringer Howard 1951-, Pnueli A, and Colloquium on Temporal Logic in Specification (1987 : Altrincham, England), eds. Temporal logic in specification: Altrincham, UK, April 8-10, 1987 : proceedings. Berlin: Springer-Verlag, 1989.

Gopalakrishnan, Ganesh. Computation Engineering: Applied Automata Theory and Logic. Springer, 2010.

Computation Engineering: Applied Automata Theory and Logic. Springer, 2006.

(Editor), Eugene Asarin, and 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.

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. Proceedings (Lecture Notes in Computer Science). Springer, 1986.

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

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

Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence). The MIT Press, 1989.

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

(Editor), Pierpaolo Degano, Roberto Gorrieri (Editor), and 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.

Perrin, Dominique, and 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, and Jean-Éric Pin. Infinite Words: Automata, Semigroups, Logic and Games (Pure and Applied Mathematics, Volume 141) (Pure and Applied Mathematics). Academic Press, 2003.

(Editor), Paul Pettersson, and 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.

F. Meyer Auf Der Heide (Editor) and B. Monien (Editor), eds. Automata, Languages and Programming: 23rd International Colloquium, Icalp ,96 Paderborn, Germany, July 8-12, 1996 : Proceedings (Lecture Notes in Computer Science). Springer-Verlag Telos, 1996.

Gopalakrishnan, Ganesh. Computation Engineering:: Formal Specification and Verification Methods. Springer, 2007.

(Editor), Josep Diaz, Juhani Karhumäki (Editor), Arto Lepistö (Editor), and Donald Sannella (Editor), eds. Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science). Springer, 2004.

Automata, Languages and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992 : Proceedings (Lecture Notes in Computer Science). Springer, 1992.

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.

Chiasson, John. Modeling and High Performance Control of Electric Machines (IEEE Press Series on Power Engineering). Wiley-IEEE Press, 2005.

Chiasson, John. Modeling and High Performance Control of Electric Machines. Wiley & Sons, Incorporated, John, 2009.

Advances in Petri nets. Berlin: Springer-Verlag, 1991.

Advances in Petri nets. Berlin: Springer-Verlag, 1992.