计算理论

• file:Goldreich O. Introduction to Complexity Theory (lectures, 1999)(T)(375s).djvu
• file:A first Course in Logic An Introduction To Model Theory Proof Theory Computability And Complexity - Shawn Hedman.djvu
• file:CLASSICAL RECURSION THEORY The Theory of Functions and Sets of Natural Numbers - Piergiorgio ODIFREDDI.djvu
• file:Computational Complexity - Christos Papadimitriou.djvu
• file:Models of Computation - An Introduction to Computability Theory (Undergrad Topics in CS), Springer (2009).pdf
• file:Elemnts Of The Theory Of Computation 2d ed - Harry Lewis.djvu
• file:Computation Complexity Lctn - Laszlo Lovasz.pdf
• file:Kolmogorov Complexity and Computational Complexity - Osamu Watanabe.djvu
• file:Computational Complexity A Conceptual Perspective - Oded Goldreich.pdf
• file:Lecture Notes for Introduction to Theory of Computation - Robert Daley.pdf
• file:Rothe J. Complexity theory and cryptology.. an introduction to cryptocomplexity (TTCS, Springer, 2005)(ISBN 3540221476)(487s).pdf
• file:Introduction To Automata Theory Languages , and Computation - John Hopcroft.djvu
• file:Springer - Computational Probability - Algorithms and Applications in the Mathematical Sciences - 2008.pdf
• file:Complexity of Algorithms Lctn - Peter Gacs.pdf
• file:Introduction to Complexity Theory Lecture Notes - Oded Goldreich.pdf
• file:ALGORITHMS and THEORY of COMPUTATION HANDBOOK - MIKHAIL J. ATALLAH.djvu
• file:Computational Complexity A Modern Approach - Sanjeev Arora.pdf
• file:Oxford University Press - A First Course in Logic - An Introduction to Model, Proof Theory, Computability, and Complexity - 2006.pdf
• file:Algorithm and Complexity Lctn - Herbert S. Wilf.pdf
• file:Lecture Notes On Algorithm Analysis And Computation Complexity 4th ed - Ian Parberry.pdf
• file:Introduction To The Theory Of Computation - Michael Sipser.djvu
• file:Recursion Theory for Metamathematics - RAYMOND M. SMULLYAN.djvu
• file:Essentials of Theoretical Computer Science - F. D. Lewis.pdf
• file:Lewis H.R., Papadimitriou C.H. Elements of the Theory of Computation (2ed., PH, 1998)(ISBN 0132624788)(K)(T)(375s)_CsNp_.djvu
• file:ELEMENTARY RECURSION THEORY AND ITS APPLICATIONS TO FORMAL SYSTEMS - Saul Kripke.pdf
• file:An Introduction To Recursive Function Theory -Nigel Cutland.pdf
• file:Computers And Intractability A Guide To The Theory Of Np-Completeness - Michael Garey.djvu
• file:Advanced Complexity Theory Lctn - Madhu Sudan.pdf
• file:The Complexity of Boolean Functions - Ingo Wegener.pdf
• file:An Introduction to the Theory of Computation - Eitan Gurari.pdf
• folder:计算理论