Elements of the theory of computation /

Elements of the theory of computation /

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Lewis, Harry R.
Rannpháirtithe:	Papadimitriou, Christos H.
Formáid:	LEABHAR
Teanga:	English
Foilsithe / Cruthaithe:	Upper Saddle River, N.J. : Prentice-Hall ; Pearson education Asia, c1998.[reprinted 2001]
Eagrán:	2nd ed.
Ábhair:	Machine theory. Formal languages. Computational complexity. Logic, Symbolic and mathematical.
Classic Catalogue:	View this record in Classic Catalogue

Míreanna comhchosúla

Languages and machines : an introduction to the theory of computer science /
de réir: Sudkamp, Thomas A.
Foilsithe / Cruthaithe: (2006)

Symbolic logic /
de réir: Copi, Irving M.
Foilsithe / Cruthaithe: (1979)

How to prove it : a structured approach /
de réir: Velleman, Daniel J.
Foilsithe / Cruthaithe: (2006)

Introduction to automata theory, languages, and computation /
de réir: Hopcroft, John E., 1939-
Foilsithe / Cruthaithe: (2001)

Introduction to automata theory, languages, and computation /
de réir: Hopcroft, John E., 1939-
Foilsithe / Cruthaithe: (2008)

Theory of computation /
de réir: Sipser, Michael
Foilsithe / Cruthaithe: (2007)

Introduction to the theory of computation /
de réir: Sipser, Michael
Foilsithe / Cruthaithe: (1997)

Discrete mathematics and its applications : with combinatorics and graph theory /
de réir: Rosen, Kenneth H.
Foilsithe / Cruthaithe: (2007)

Introduction to formal languages, automata theory and computation /
de réir: Krithivasan, Kamala
Foilsithe / Cruthaithe: (2009)

Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning /
de réir: Coecke, Bob
Foilsithe / Cruthaithe: (2017)

Automata, computability and complexity : theory and applications /
de réir: Rich, Elaine
Foilsithe / Cruthaithe: (2008)

Computational complexity : a conceptual perspective /
de réir: Goldreich, Oded
Foilsithe / Cruthaithe: (2008)

An Introduction to Category Theory
de réir: Harold Simmons
Foilsithe / Cruthaithe: (2012)

A novel approach for detecting and recognizing mathematical symbols
de réir: Jahan, Nusrat, et al.
Foilsithe / Cruthaithe: (2017)

Modern Computer Algebra
de réir: Joachim von zur Gathen, Jürgen Gerhard
Foilsithe / Cruthaithe: (2013)

Schaum's outlines discrete mathematics /
de réir: Lipschutz, Seymour
Foilsithe / Cruthaithe: (2010)

Philosophia Mathematica

Philosophia Mathematica

Elements of information theory /
de réir: Cover, T. M., 1938-
Foilsithe / Cruthaithe: (2006)

Surveys in Combinatorics 2013
de réir: Edited by Simon R. Blackburn, Stefanie Gerke, Mark Wildon
Foilsithe / Cruthaithe: (2013)

Discrete mathematical structures with applications to computer science /
de réir: Tremblay, Jean-Paul, 1938-
Foilsithe / Cruthaithe: (1975)

The quest for reality
de réir: Stenholm, Stig

Introduction to languages and the theory of computation /
de réir: Martin, John C.
Foilsithe / Cruthaithe: (2011)

Introduction to languages and the theory of computation /
de réir: Martin, John C.
Foilsithe / Cruthaithe: (2003)

Visual complex analysis /
de réir: Needham, Tristan
Foilsithe / Cruthaithe: (2023)

Programming with Higher-Order Logic
de réir: Dale Miller, Gopalan Nadathur
Foilsithe / Cruthaithe: (2012)

Computational complexity /
de réir: Papadimitriou, Christos H.
Foilsithe / Cruthaithe: (1994)

Computational complexity /
de réir: Papadimitriou, Christos H.
Foilsithe / Cruthaithe: (1994)

Switching and finite automata theory /
de réir: Kohavi, Zvi
Foilsithe / Cruthaithe: (1978)

Logic and computer design fundamentals /
de réir: Mano, M. Morris, 1927-
Foilsithe / Cruthaithe: (2000)

Significance of symbolism in Edgar Allan Poe’s selected works
de réir: Rahman, Shegufta
Foilsithe / Cruthaithe: (2016)

A dictionary of literary symbols /
de réir: Ferber, Michael
Foilsithe / Cruthaithe: (2007)

Quantum theory for mathematicians /
de réir: Hall, Brian C.
Foilsithe / Cruthaithe: (2013)

An Introduction to Gödel's Theorems
de réir: Peter Smith
Foilsithe / Cruthaithe: (2013)

Programming logic and design : comprehensive /
de réir: Farrell, Joyce
Foilsithe / Cruthaithe: (2011)

Basics of logic /
de réir: Barker, Stephen Francis
Foilsithe / Cruthaithe: (1986)

Computers and intractability : a guide to the theory of NP-completeness /
de réir: Garey, Michael R.
Foilsithe / Cruthaithe: (1979)

The logic of language
de réir: Seuren, Pieter A. M.

Nominal Sets
de réir: Andrew M. Pitts
Foilsithe / Cruthaithe: (2013)

Practical Foundations for Programming Languages
de réir: Robert Harper
Foilsithe / Cruthaithe: (2013)