close
1.

図書
図書
1. Computational complexity
Christos H. Papadimitriou
出版情報: Reading, Mass. : Addison-Wesley, c1994  xv, 523 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Algorithms / I：
Problems and Algorithms / 1：
Turing Machines / 2：
Undecidability / 3：
Logic / II：
Boolean Logic
First Order Logic
Undecidability in Logic
P and NP / III：
Relations between Complexity Classes
Reductions and Completeness
NP-Complete Problems
coNP and Function Problems / 4：
Randomized Computation / 5：
Cryptography / 6：
Approximability / 7：
On P vs. NP / 8：
Inside P / IV：
Parallel Computation
Logarithmic Space
Beyond NP / V：
The Polynomial Hierarchy
Computation That Counts
Polynomial Space
A Glimpse Beyond
Algorithms / I：
Problems and Algorithms / 1：
Turing Machines / 2：
2.

図書
図書
2. Turing : a novel about computation
by Christos H. Papadimitriou
出版情報: Cambridge, Mass. : MIT Press, c2003  284 p. ; 21 cm
所蔵情報: loading…
目次情報: 続きを見る
"Alexandros"
Morcom
Trapped
Alexandros
The Truth
Hubris
Tits
Mom
Rusty and Sola
Voces
Ex Machinae
F2F
Layers
Simulants
The Don
Runner
The Daemon
The Womb
Free Market
"I love you"
Complexity
Kythera
Little Things
Hide-and-Seek
AI
Turing's Test
"They'll kill me"
Ian and Turing
Turing
Afterword: From the Newsgroup
Acknowledgments
"Alexandros"
Morcom
Trapped
3.

図書
図書
3. The theory of database concurrency control
Christos Papadimitriou
出版情報: Rockville, MD : Computer Science Press, c1986  xi, 239 p. ; 24 cm
シリーズ名: Principles of computer science series
所蔵情報: loading…
4.

図書
図書
4. Elements of the theory of computation (: UK)
Harry R. Lewis, Christos H. Papadimitriou
出版情報: Englewood Cliffs, N.J. : Prentice-Hall , London : Prentice-Hall International, c1981  xiv, 466 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
目次情報: 続きを見る
Sets, Relations, and Languages / 1：
Finite Automata / 2：
Context-Free Languages / 3：
Turing Machines / 4：
Church's Thesis / 5：
Uncomputability / 6：
Computational Complexity / 7：
The Propositional Calculus / 8：
The Predicate Calculus / 9：
Sets, Relations, and Languages / 1：
Finite Automata / 2：
Context-Free Languages / 3：
5.

図書
図書
5. Combinatorial optimization : algorithms and complexity. Dover ed
Christos H. Papadimitriou, Kenneth Steiglitz
出版情報: Mineola, New York : Dover Publications, 1998  xvi, 496 p. ; 22 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼