Loading...

QR Code

Computational Complexity-A Modern Approach.

other_versions_link

Bibliographic Details
Main Authors:	Arora,Sanjeev, Barak Boaz
Format:	Printed Book
Published:	Neeww York. Cambridge University press. 2009.
Subjects:	Mathematical Logic. Recursive Functions. Mathematics.

Similar Items

Computability and logic /
by: Boolos, George S.
Published: (2002)

Computability and logic /
by: Boolos, George
Published: (1974)

Recursive functions.-3rd ed.
by: Peter, Rozsa
Published: (1967)

Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)

Recursively enumerable sets and degrees.
by: Soare, Robert J.
Published: (1987)

Computability Theory;Vol.62
by: Weber,Rebecca

Cellular automata a discrete view of the world
by: Schiff, Joel L
Published: (2008)

Logic, sets and recursion
by: Causey, Robert L; Author
Published: (2010)

Logic, sets and recursion
by: Causey, Robert L.
Published: (2010)

Recursive function theory and logic
by: Yasuhara, Ann
Published: (1971)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
by: Fenstad,J.E.ed
Published: (1974)

Recursion sequences
by: Markushevich, A.I.ed
Published: (1975)

Recursion theory for metamathematics.
by: Smullyan, Raymond M.
Published: (1993)

Recursion sequences
by: Markushevich
Published: (1975)

Advanced programming and problem solving with Pascal
by: Scheider,G Michael
Published: (1987)

How to solve it by computer
by: Dromey,R G
Published: (1999)

Recursive functions in computer theory
by: Peter, Rozsa
Published: (1981)

Topological Dynamics
by: Gottschalk,Walter.Helbig and Hedlund,Gustav.Arnold
Published: (1955)

The computational complexity of logical memories
by: Ferrante, Jeannen, et al.
Published: (1979)

Computability /
by: Epstein, Richard L.
Published: (2000)

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

Inyroducing the theory of computation
by: Goddard, Wayne
Published: (2008)

Grammatical picture generation: A tree based approach
by: Drewes, Frank
Published: (2006)

Elementary induction on abstract structures /
by: Moschovakis, Yiannis N.
Published: (1974)

Mathematical logic for computer science
by: Ari, Mordechai Ben
Published: (2008)

Analysis and synthesis of fuzzy control systems: A model based approach
by: Feng, Gang
Published: (2010)

Discrete mathematical structures for computer scientists and engineers /
Published: (2008)

Practical Use Of Mathcad :solving mathematical problems with a computer algebra system /
by: Benker , Hans .
Published: (1999)

Computer Programming in Pascal
by: Rajaraman V.
Published: (1984)

Logical foundations of mathematics and computational complexity a gentle introduction
by: Pudlak, Pavel
Published: (2013)

Independence - friendly logic :a game- theoretic approach
by: Allen L Mann
Published: (2011)

Foundations of the logical theory of scientific knowledge (complex logic) /
by: Zinoviev, Aleksandr
Published: (1973)

Introduction to language and the theory of computation /
by: John,, C.Martin
Published: (2003)

Discrete mathematics: for computer scientists /
by: Truss,, John
Published: (2000)

Mathematical logic for computer science /
Published: (2008)

Advanced complex calculus /
by: Miller, Kenneth S.
Published: (1960)

Complex function theory /
by: Heins, Maurice
Published: (1968)

Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
by: Kleene, Stephen Cole
Published: (1980)

Complex analysis: A functional analysis approach
by: Luecking, D H
Published: (1984)

Complex analysis: A functional analysis approach
by: Luecking, D H
Published: (1984)