Synthesis of digital automata /

Automata and computability /
by: Kozen, Dexter, 1951-
Published: (1997)

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings /
Published: (2000)

Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 /
Published: (1975)

1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.-12. Juli 1973 /
Published: (1973)

Finite Automata /
by: Lawson, Mark V.
Published: (2003)

Implementation and application of automata : 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers /
Published: (2011)

Revue française d'automatique, informatique, recherche opérationnelle:

Theory of automata.
by: Salomaa, Arto
Published: (1969)

Synthesis of digital automata /
Published: (1969)

Algebraic theory of automata.
by: Ginzburg, Abraham
Published: (1968)

A calculus of communicating systems /
by: Milner, R. (Robin), 1934-2010
Published: (1980)

Logic, automata, and algorithms /
Published: (1971)

Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings /
Published: (2010)

Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings /
Published: (2004)

Formal Languages and Computation : Models and Their Applications /
by: Meduna, Alexander
Published: (2014)

Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings /
Published: (2003)

An introduction to the theory of automata : course held at the Department for Automation and Information, July, 1971 /
by: Luccio, Fabrizio, 1938-
Published: (1971)

Infinite words : automata, semigroups, logic and games /
by: Perrin, Dominique
Published: (2004)

Advances in Petri Nets, 1992 /
Published: (1992)

Advances in Petri Nets, 1993 /
Published: (1993)

Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen /
Published: (1984)

Cellular automata /
by: Codd, E. F.
Published: (1968)

Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /
Published: (2002)

Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /
Published: (2001)

Introduction to the theory of finite automata
by: Kobrinskiĭ, Natan Efimovich, et al.
Published: (1965)

Essays on cellular automata /
by: Burks, Arthur W. (Arthur Walter), 1915-2008
Published: (1970)

Finite automata, their algebras and grammars : towards a theory of formal expressions /
by: Büchi, J. Richard
Published: (1989)

Fundamenta informaticae.

Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 /
Published: (1975)

Automata theory /
by: Simon, Matthew
Published: (1999)

Abstract automata /
by: Starke, Peter H.
Published: (1972)

Introduction to automata /
by: Nelson, R. J. (Raymond John), 1917-
Published: (1967)

Finite automata /
by: Lawson, Mark V.
Published: (2004)

Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings /
Published: (1989)

Automata, languages and machines.
Published: (1974)

Automata theory : an engineering approach /
by: Aleksander, Igor
Published: (1976)