Automata and computability

QR Code

Automata and computability

Bibliographic Details
Main Author:	Kozen, Dexter , 1951- (Author)
Format:	Book
Language:	English
Published:	New York : Springer , c1997
Series:	Undergraduate texts in computer science
Subjects:	Computable functions Machine theory
Online Access:	Table of contents only Publisher description

Similar Items

Automata, computability and complexity : theory and applications
by: Rich, Elaine
Published: (2008)

An introduction to theory of computation [
by: Malone, Sherwood
Published: (2014)

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

Automata theory in theoretical computer science [
by: Jensen, Tomas
Published: (2012)

Introduction to automata theory, languages and computation
by: Hopcroft, John E. , 1939-, et al.
Published: (2006)

Introduction to automata theory, languages and computation
by: Hopcroft, John E. , 1939-, et al.
Published: (2007)

Introduction to automata theory, languages and computation
by: Hopcroft, John E. 1939-, et al.
Published: (2001)

The language of machines an introduction to computability and formal languages
by: Floyd, Robert W.
Published: (1993)

An introduction to formal languages and automata
by: Linz, Peter
Published: (2012)

Algorithms, languages, automata, and compilers : a practical approach
by: Mozgovoy, Maxim
Published: (2010)

Formal language and automata theory
by: Reddy, E. Srinivasa
Published: (2016)

Theory of computer science : automata, languages and computation
by: Mishra, K. L. P., et al.
Published: (2007)

Theory of computation : for B.E (IT, CS), MCA, BSC, BCA, MSC and other computer courses
by: Sinha, Poonam, et al.
Published: (2016)

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

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

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

Computability theory & automata theory [
by: Plante, Kristy, et al.
Published: (2012)

الرياضيات الاساسية للحاسب
by: Lipschutz, Seymour
Published: (1982)

Finite transition systems : semantics of communicating systems
by: Arnold, A. [ (Andre)] , 1945-
Published: (1994)

An introduction to computable languages and abstract machines
by: Parkes, Alan
Published: (1996)

A concise introduction to languages and machines
by: Parkes, Alan
Published: (2007)

Algorithmic information theory
by: Chaitin, Gregory J.
Published: (1992)

Additive cellular automata : theory and applications
by: Chaudhuri, Parimal Pal , 1941-
Published: (1997)

Cryptography, automata and learning theory
by: Jeyanthi, P. Abisha, et al.
Published: (2011)

Proceeding of the 21st National Symposium on Mathematical Sciences(SKSM21): : Germination of Mathematical Sciences Education and Research towards Global Sustainability/
by: Mohd Tahir Ismail, et al.
Published: (2013)

Precalculus with modeling & visualization : a right triangle approach
by: Rockswold, Gary K.
Published: (2010)

New computational paradigms : changing conceptions of what is computable
by: Cooper, S. B. [ (S. Barry)], et al.
Published: (2008)

An introduction to support vector machines and other kernel-based learning methods
by: Cristianini, Nello, et al.
Published: (2000)

A first course in computability theory [
by: Plante, Kristy
Published: (2012)

Fungsi pengeluaran
by: H. Osman-Rani
Published: (1990)

Foundations of XML processing : the tree-automata approach
by: Hosoya, Haruo , 1972-
Published: (2011)

Computability and logic
by: Boolos, George, et al.
Published: (1980)

Core concepts in mathematics : statistics

Scientific computing and its applications [
by: Cousins, Lorrie
Published: (2014)

Machining [computer file] : cutting material
Published: (2004)

Machining [computer file] : removing material
Published: (2004)

An introduction to cost and production functions
by: Heathfield, David F., et al.
Published: (1987)

Functional foods of the east
by: Ho, Chi-Tang , 1944-, et al.
Published: (2011)

Subkelas fungsi univalen yang dijana oleh pengoperasi kamiran
by: Zabidin Salleh
Published: (2015)

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