62 treff

automatateori
Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings
International Colloquium on Automata, Languages and Programming
Bok Engelsk 1999 · Vis mer
Automata implementation : First International Workshop on Implementing Automata, WIA'96, London, Ontario, Canada, August 29-31, 1996 : revised papers
International Workshop on Implementing Automata
Bok Engelsk 1997 · Vis mer
Implementation and application of automata : 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers
CIAA 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Runtime validation of communication histories : an automata-based approach
Øystein Torget
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings
CIAA 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers
CIAA 2001
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers
CIAA 2000
Bok Engelsk 2001 · Vis mer
The universal computer : the road from Leibniz to Turing
Martin Davis
Bok Engelsk 2000 · Vis mer
Vis flere utgaver
Vis flere utgaver
Switching and finite automata theory
Zvi Kohavi
Bok Språk ikke angitt 1978 · Vis mer
Algebraic theory of automata networks : an introduction
Pál Dömösi, Chrystopher L. Nehaniv
Bok Engelsk 2005 · Vis mer
Semigroups, algorithms, automata and languages : Coimbra, Portugal, May-July 2001
editors, Gracinda M.S. Gomes, Jean-Éric P...
Bok Engelsk 2002 · Vis mer
A second course in formal languages and automata theory
Jeffrey Shallit
Bok Engelsk 2009 · Vis mer
A new kind of science
Stephen Wolfram
Bok Engelsk 2002 · Vis mer
Foundations of computer science
Alfred V. Aho, Jeffrey D. Ullman
Bok Engelsk 1995 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
LITP Spring School on Theoretical Computer Science
Bok Språk ikke angitt 1989 · Vis mer
Handbook of computational group theory
Derek F. Holt, Bettina Eick, Eamonn A. O'...
Bok Engelsk 2005 · Vis mer
Foundations of Computer Science, 1979., 20th Annual Symposium on

Bok Engelsk 1997 · Vis mer
Algorithms on strings
Maxime Crochemore, Christophe Hancart, Th...
Bok Engelsk 2007 · Vis mer
Automation and inequality: The changing world of work in the global South

Bok Engelsk · Vis mer
Logic and computations : compact companion
Herman Ruge Jervell
Bok Engelsk 2012 · Vis mer
Machines, computations, and universality : third international conference, MCU 2001, Chișinău, Moldova, May 23-27, 2001 : proceedings
MCU 2001
Bok Engelsk 2001 · Vis mer
The computational complexity of equivalence and isomorphism problems
Thomas Thierauf
Bok Engelsk 2000 · Vis mer
Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Pore̢ba, Poland, September 6-10, 1999 : proceedings
International Symposium on Mathematical Foundations of Computer Science
Bok Engelsk 1999 · Vis mer
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings
Symposium on Theoretical Aspects of Computer Science
Bok Engelsk 1997 · Vis mer
Programming languages : paradigm and practice
Doris Appleby, Julius J. VandeKopple
Bok Engelsk 1997 · Vis mer
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Bok Engelsk 1993 · Vis mer
Discrete structures, logic, and computability
Hein, James L.
Bok Engelsk · Vis mer
Word processing in groups
Epstein, D. B. A.
Bok Engelsk 1992 · Vis mer
Automation theory and learning systems
edited by D. J. Stewart
Bok Engelsk 1967 · Vis mer
Logique et automates
Séminaire Logique et automates
Bok Fransk 1971 · Vis mer