Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2000]
|
| Series: | Lecture notes in computer science ;
1912. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
Published: (2001)
Published: (2001)
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings /
Published: (2000)
Published: (2000)
Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers /
Published: (2003)
Published: (2003)
Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers /
Published: (2002)
Published: (2002)
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings /
Published: (2004)
Published: (2004)
Synthesis of digital automata /
Published: (1969)
Published: (1969)
Revue française d'automatique, informatique, recherche opérationnelle:
Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings /
Published: (2003)
Published: (2003)
Formal Languages and Computation : Models and Their Applications /
by: Meduna, Alexander
Published: (2014)
by: Meduna, Alexander
Published: (2014)
Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /
Published: (2001)
Published: (2001)
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)
Published: (2002)
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings /
Published: (2004)
Published: (2004)
Advances in Petri Nets, 1992 /
Published: (1992)
Published: (1992)
Advances in Petri Nets, 1993 /
Published: (1993)
Published: (1993)
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings /
Published: (2003)
Published: (2003)
Finite Automata /
by: Lawson, Mark V.
Published: (2003)
by: Lawson, Mark V.
Published: (2003)
Proceedings of the ... Annual ACM Symposium on Theory of Computing.
Published: (1982)
Published: (1982)
Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings /
Published: (2010)
Published: (2010)
Fundamenta informaticae.
Abstract machines and grammars /
by: Savitch, Walter J., 1943-
Published: (1982)
by: Savitch, Walter J., 1943-
Published: (1982)
Conference record of the ... annual ACM Symposium on Theory of Computing.
Published: (1979)
Published: (1979)
Advances in Petri nets, 1984 /
Published: (1985)
Published: (1985)
Theories of abstract automata /
by: Arbib, Michael A.
Published: (1969)
by: Arbib, Michael A.
Published: (1969)
Abstract automata /
by: Starke, Peter H.
Published: (1972)
by: Starke, Peter H.
Published: (1972)
Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
Published: (2001)
Published: (2001)
Computation: finite and infinite machines /
by: Minsky, Marvin Lee, 1927-
Published: (1967)
by: Minsky, Marvin Lee, 1927-
Published: (1967)
Synthesis of finite state machines : functional optimization /
Published: (1997)
Published: (1997)
Introduction to the theory of finite automata
by: Kobrinskiĭ, Natan Efimovich, et al.
Published: (1965)
by: Kobrinskiĭ, Natan Efimovich, et al.
Published: (1965)
Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 /
Published: (1979)
Published: (1979)
Switching machines /
by: Perrin, J. P. (Jean Paul)
Published: (1972)
by: Perrin, J. P. (Jean Paul)
Published: (1972)
Automata, languages and machines.
Published: (1974)
Published: (1974)
Algebraic structure theory of sequential machines /
by: Hartmanis, Juris
Published: (1966)
by: Hartmanis, Juris
Published: (1966)
Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 /
Published: (1980)
Published: (1980)
An introduction to the theory of automata : course held at the Department for Automation and Information, July, 1971 /
by: Luccio, Fabrizio, 1938-
Published: (1971)
by: Luccio, Fabrizio, 1938-
Published: (1971)
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic /
by: Parkes, Alan
Published: (2002)
by: Parkes, Alan
Published: (2002)
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)
Published: (1984)
Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings /
Published: (1989)
Published: (1989)
Advances in Petri nets, 1987 /
Published: (1987)
Published: (1987)
Lectures on linear sequential machines /
by: Harrison, Michael A.
Published: (1969)
by: Harrison, Michael A.
Published: (1969)
1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.-12. Juli 1973 /
Published: (1973)
Published: (1973)