Elements of the theory of computation /

Elements of the theory of computation /

Detaylı Bibliyografya
Yazar:	Lewis, Harry R.
Diğer Yazarlar:	Papadimitriou, Christos H.
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Upper Saddle River, N.J. : Prentice-Hall ; Pearson education Asia, c1998.[reprinted 2001]
Edisyon:	2nd ed.
Konular:	Machine theory. Formal languages. Computational complexity. Logic, Symbolic and mathematical.
Classic Catalogue:	View this record in Classic Catalogue

Benzer Materyaller

Languages and machines : an introduction to the theory of computer science /
Yazar:: Sudkamp, Thomas A.
Baskı/Yayın Bilgisi: (2006)

Symbolic logic /
Yazar:: Copi, Irving M.
Baskı/Yayın Bilgisi: (1979)

How to prove it : a structured approach /
Yazar:: Velleman, Daniel J.
Baskı/Yayın Bilgisi: (2006)

Introduction to automata theory, languages, and computation /
Yazar:: Hopcroft, John E., 1939-
Baskı/Yayın Bilgisi: (2001)

Introduction to automata theory, languages, and computation /
Yazar:: Hopcroft, John E., 1939-
Baskı/Yayın Bilgisi: (2008)

Theory of computation /
Yazar:: Sipser, Michael
Baskı/Yayın Bilgisi: (2007)

Introduction to the theory of computation /
Yazar:: Sipser, Michael
Baskı/Yayın Bilgisi: (1997)

Discrete mathematics and its applications : with combinatorics and graph theory /
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (2007)

Introduction to formal languages, automata theory and computation /
Yazar:: Krithivasan, Kamala
Baskı/Yayın Bilgisi: (2009)

Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning /
Yazar:: Coecke, Bob
Baskı/Yayın Bilgisi: (2017)

Automata, computability and complexity : theory and applications /
Yazar:: Rich, Elaine
Baskı/Yayın Bilgisi: (2008)

Computational complexity : a conceptual perspective /
Yazar:: Goldreich, Oded
Baskı/Yayın Bilgisi: (2008)

An Introduction to Category Theory
Yazar:: Harold Simmons
Baskı/Yayın Bilgisi: (2012)

A novel approach for detecting and recognizing mathematical symbols
Yazar:: Jahan, Nusrat, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Modern Computer Algebra
Yazar:: Joachim von zur Gathen, Jürgen Gerhard
Baskı/Yayın Bilgisi: (2013)

Schaum's outlines discrete mathematics /
Yazar:: Lipschutz, Seymour
Baskı/Yayın Bilgisi: (2010)

Philosophia Mathematica

Philosophia Mathematica

Elements of information theory /
Yazar:: Cover, T. M., 1938-
Baskı/Yayın Bilgisi: (2006)

Surveys in Combinatorics 2013
Yazar:: Edited by Simon R. Blackburn, Stefanie Gerke, Mark Wildon
Baskı/Yayın Bilgisi: (2013)

Discrete mathematical structures with applications to computer science /
Yazar:: Tremblay, Jean-Paul, 1938-
Baskı/Yayın Bilgisi: (1975)

The quest for reality
Yazar:: Stenholm, Stig

Introduction to languages and the theory of computation /
Yazar:: Martin, John C.
Baskı/Yayın Bilgisi: (2011)

Introduction to languages and the theory of computation /
Yazar:: Martin, John C.
Baskı/Yayın Bilgisi: (2003)

Visual complex analysis /
Yazar:: Needham, Tristan
Baskı/Yayın Bilgisi: (2023)

Programming with Higher-Order Logic
Yazar:: Dale Miller, Gopalan Nadathur
Baskı/Yayın Bilgisi: (2012)

Computational complexity /
Yazar:: Papadimitriou, Christos H.
Baskı/Yayın Bilgisi: (1994)

Computational complexity /
Yazar:: Papadimitriou, Christos H.
Baskı/Yayın Bilgisi: (1994)

Switching and finite automata theory /
Yazar:: Kohavi, Zvi
Baskı/Yayın Bilgisi: (1978)

Logic and computer design fundamentals /
Yazar:: Mano, M. Morris, 1927-
Baskı/Yayın Bilgisi: (2000)

Significance of symbolism in Edgar Allan Poe’s selected works
Yazar:: Rahman, Shegufta
Baskı/Yayın Bilgisi: (2016)

A dictionary of literary symbols /
Yazar:: Ferber, Michael
Baskı/Yayın Bilgisi: (2007)

Quantum theory for mathematicians /
Yazar:: Hall, Brian C.
Baskı/Yayın Bilgisi: (2013)

An Introduction to Gödel's Theorems
Yazar:: Peter Smith
Baskı/Yayın Bilgisi: (2013)

Programming logic and design : comprehensive /
Yazar:: Farrell, Joyce
Baskı/Yayın Bilgisi: (2011)

Basics of logic /
Yazar:: Barker, Stephen Francis
Baskı/Yayın Bilgisi: (1986)

Computers and intractability : a guide to the theory of NP-completeness /
Yazar:: Garey, Michael R.
Baskı/Yayın Bilgisi: (1979)

The logic of language
Yazar:: Seuren, Pieter A. M.

Nominal Sets
Yazar:: Andrew M. Pitts
Baskı/Yayın Bilgisi: (2013)

Practical Foundations for Programming Languages
Yazar:: Robert Harper
Baskı/Yayın Bilgisi: (2013)