1.

図書
図書
1. Introduction to the theory of computation. 3rd ed (: hbk)
Michael Sipser
出版情報: Boston, MA : Cengage Learning, c2013
所蔵情報: loading…
2.

図書
図書
2. Logical foundations of proof complexity
Stephen Cook, Phuong Nguyen
出版情報: New York : Association for Symbolic Logic : Cambridge University Press, 2010
シリーズ名: Perspectives in logic
所蔵情報: loading…
3.

図書
図書
3. P, NP, and NP-completeness : the basics of computational complexity (: hbk ; : pbk)
Oded Goldreich
出版情報: Cambridge ; New York : Cambridge University Press, 2010
所蔵情報: loading…
4.

図書
図書
4. Computational complexity : a modern approach
Sanjeev Arora, Boaz Barak
出版情報: Cambridge ; New York : Cambridge University Press, 2009
所蔵情報: loading…
5.

図書
図書
5. Computational complexity : a conceptual perspective (: hbk)
Oded Goldreich
出版情報: Cambridge : Cambridge University Press, 2008
所蔵情報: loading…
6.

図書
図書
6. Introduction to the theory of computation. 2nd ed
Michael Sipser
出版情報: Boston : Thomson Course Technology, c2006
所蔵情報: loading…
7.

図書
図書
7. Logic and complexity
Richard Lassaigne and Michel de Rougemont
出版情報: London : Springer, c2004
シリーズ名: Discrete mathematics and theoretical computer science
所蔵情報: loading…
8.

図書
図書
8. Computational complexity theory (: hardcover)
Steven Rudich, Avi Wigderson, editors
出版情報: Providence, R.I. : American Mathematical Society, c2004
シリーズ名: IAS/Park City mathematics series / [Dan Freed, series editor] ; v. 10
所蔵情報: loading…
9.

図書
図書
9. The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones
Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2566
所蔵情報: loading…
10.

図書
図書
10. A new kind of science
Stephen Wolfram
出版情報: Champaign, IL : Wolfram Media, c2002
所蔵情報: loading…
11.

図書
図書
11. Introduction to automata theory, languages, and computation. 2nd ed
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
出版情報: Boston : Addison-Wesley, c2001
所蔵情報: loading…
12.

図書
図書
12. Computability and complexity theory
Steven Homer, Alan L. Selman
出版情報: New York : Springer, c2001
シリーズ名: Undergraduate texts in computer science
所蔵情報: loading…
13.

図書
図書
13. Complexity classifications of Boolean constraint satisfaction problems
Nadia Creignou, Sanjeev Khanna, Madhu Sudan
出版情報: Philadelphia : Society for Industrial and Applied Mathematics, c2001
シリーズ名: SIAM monographs on discrete mathematics and applications
所蔵情報: loading…
14.

図書
図書
14. Combinatorial optimization : networks and matroids (: pbk)
Eugene Lawler
出版情報: Mineola, N.Y. : Dover Publications, 2001
所蔵情報: loading…
15.

図書
図書
15. Exploring randomness
Gregory J. Chaitin
出版情報: London ; Tokyo : Springer, c2001
シリーズ名: Discrete mathematics and theoretical computer science
所蔵情報: loading…
16.

図書
図書
16. Randomness and completeness in computational complexity
Dieter van Melkebeek
出版情報: Berlin ; New York : Springer-Verlag, c2000
シリーズ名: Lecture notes in computer science ; 1950
所蔵情報: loading…
17.

図書
図書
17. The discrepancy method : randomness and complexity (pbk)
Bernard Chazelle
出版情報: Cambridge, [England] ; New York : Cambridge University Press, 2000
所蔵情報: loading…
18.

図書
図書
18. Theory of computational complexity
Ding-Zhu Du, Ker-I Ko
出版情報: New York : Wiley, c2000
シリーズ名: Wiley-Interscience series in discrete mathematics and optimization
所蔵情報: loading…
19.

図書
図書
19. Completeness and reduction in algebraic complexity theory
Peter Bürgisser
出版情報: Berlin : Springer, c2000
シリーズ名: Algorithms and computation in mathematics ; v. 7
所蔵情報: loading…