Cover Image

Computation engineering : applied automata theory and logic /

Main Author:	Gopalakrishnan, Ganesh
Format:	Book
Language:	English
Published:	New York, NY : Springer, c2006.
Subjects:	Computer science > Mathematics Computer logic Machine theory

Similar Items

Logic and automata history and perspectives /
Published: (2008)

Finite automata, formal logic, and circuit complexity/
by: Straubing, Howard, 1952-
Published: (1994)

Automata and computability/
by: Kozen, Dexter C.
Published: (1997)

Discrete structures and automata theory /
by: Dube, Rakesh.
Published: (2006)

ACM transactions on computational logic.
Published: (2000)

Knowledge structures for communications in human-computer systems : general automata-based /
by: Koenig, Eldo C. 1919-
Published: (2007)

ACM transactions on computational logic A3
Published: (2000)

Theory of computation/
by: Wood, Derick, 1940-
Published: (1987)

Handbook of logic in computer science /
Published: (1992)

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

Theory of computation : formal languages, automata, and complexity /
by: Brookshear, J. Glenn
Published: (1989)

Theory of computation: formal languages, automata, and complexity/
by: Brookshear, J. Glenn
Published: (1989)

Proceedings of the thirtieth annual ACM symposium on theory of computing
Published: (1998)

Introductory logic and sets for computer scientists/
by: Nissanke, Nimal
Published: (1999)

Logic, computers and sets/
by: Wang, Hao
Published: (1970)

Computers classical, quantum and others /
by: Suprun, Sergey P.
Published: (2012)

Computation as logic /
by: Lalement, Rene
Published: (1993)

Computation as logic/
by: Lalement, Rene
Published: (1993)

Abstract machine models for highly parallel computers /
Published: (1995)

Theory of computation :formal languages, automata, and complexity /
by: Brookshear, J. Glenn
Published: (1989)

Computation : finite and infinite machines /
by: Minsky, Marvin L.
Published: (1967)

Computability, complexity, and languages : fundamentals of theoretical computer science /
by: Davis, Martin D.
Published: (1994)

Elements of the theory of computation/
by: Lewis, Harry R.
Published: (1981)

Concept data analysis theory and applications /
by: Carpineto, Claudio.
Published: (2004)

Computational logic /
Published: (1999)

Logic for learning : learning comprehensible theories from stuctured data /
by: Lloyd, J. W. 1947-
Published: (2003)

Handbook of logic in computer science.
Published: (2000)

Introduction to automata theory, languages, and computation
by: Hopcroft, John E.
Published: (2003)

Logic for applications
by: Nerode, Anil
Published: (1997)

Turing's World 3.0 for the Macintosh: an introduction to computability theory/
by: Barwise, Jon
Published: (1993)

Collected works /
by: Von Neumann, John
Published: (1961)

Inductive logic programming from machine learning to sofware engineering
by: Bergadano, Francesco
Published: (1996)

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

Logic in computer science: modelling and reasoning about systems/
by: Huth, Michael, 1962-
Published: (2000)

Logic in computer science: modelling and reasoning about systems/
by: Huth, Michael, 1962-
Published: (2004)

Handbook of logic in computer science/
Published: (1992)

Introduction to the theory of computation /
by: Sipser, Michael
Published: (2006)

Introduction to the theory of computation /
by: Sipser, Michael.
Published: (2006)

Introduction to the theory of computation /
by: Sipser, Michael
Published: (1997)

Introduction to the theory of computation/
by: Sipser, Michael
Published: (1996)

Cannot write session to /tmp/vufind_sessions/sess_69m62nei31i6td66gcu2og9kk2