上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Computational complexity)
該当件数:148件
Theory of computational complexity / Ding-Zhu Du, Ker-I Ko
New York : Wiley , c2000. - (Wiley-Interscience series in discrete mathematics and optimization)
図書 <1001146009>
Computational complexity of counting and sampling / István Miklós
: hardback. - Boca Raton : CRC Press , c2019. - (Discrete mathematics and its applications / Kenneth H. Rosen, series editor). - (A Chapman & Hall book)
図書 <1003076977>
Introduction to the theory of computation / Michael Sipser
3rd ed. - Boston, Mass. : Cengage Learning , c2013
図書 <1002627309>
Proceedings / IEEE Conference on Computational Complexity
1996,1997,1998. - Los Alamitos, Calif. : IEEE Computer Society Press , c1996-
図書 <1000694151>
Proceedings / Structure in Complexity Theory ... Annual Conference
1986- - 1994. - Washington, D.C. : IEEE Computer Society Press , c1987-
図書 <1000693249>
Journal of complexity
Vol. 1, no. 1 (Oct. 1985)-. - New York : Academic Press , 1985-
雑誌 <2000244161>
2nd ed. - Boston : Thomson Course Technology , c2006
図書 <1002014341>
Turing machines with sublogarithmic space / Andrzej Szepietowski
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 843)
図書 <1000503867>
The language complexity game / Eric Sven Ristad
Cambridge, Mass. : MIT Press , c1993. - (The MIT Press series in artificial intelligence)
図書 <1001090505>
Modified branching programs and their computational power / Christoph Meinel
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 370)
図書 <1000349378>
Control of complex systems : methods and technology / M. Drouin, H. Abou-Kandil, and M. Mariton
New York : Plenum Press , c1991. - (Applied information technology)
図書 <1000420518>
The complexity of Boolean functions / Ingo Wegener
Stuttgart ; Chicester [West Sussex] ; New York : B.G. Teubner : J. Wiley , c1987. - (Wiley-Teubner series in computer science.)
図書 <1000610776>
Computational complexity and natural language / G. Edward Barton, Jr., Robert C. Berwick, Eric Sven Ristad
Cambridge, Mass. : MIT Press , c1987. - (Computational models of cognition and perception.)
図書 <1000619499>
Understanding information and computation : from Einstein to Web science / Philip Tetlow
: hbk. - Farnham, Surrey, [U.K.] ; Burlington, Vt. : Gower , c2012
図書 <1002642171>
Introduction to computational science : modeling and simulation for the sciences / Angela B. Shiflet and George W. Shiflet
: hardcover. - Second edition. - Princeton, [New Jersey] : Princeton University Press , c2014
図書 <1002721830>
SIGACT news / ACM Special Interest Committee on Automata Theory and Computability
No. 5 (May 1970)-no. 17 (Oct. 1972) ; V. 5, no. 1 (Jan. 1973)-. - New York : ACM Special Interest Group on Automa and Computability Theory
雑誌 <2000177992>
In pursuit of the traveling salesman : mathematics at the limits of computation / William J. Cook
: hardback. - Princeton, N.J. : Princeton University Press , c2012
図書 <1002503326>
Sparsity : graphs, structures, and algorithms / Jaroslav Nešetřil, Patrice Ossona de Mendez
: [hardcover]. - Heidelberg ; New York : Springer , c2012. - (Algorithms and combinatorics ; v. 28)
図書 <1002579328>
Computational group theory and the theory of groups : AMS Special Session on Computational Group Theory, March 3-4, 2007, Davidson College, Davidson, North Carolina / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors
Providence, R.I. : American Mathematical Society , c2008. - (Contemporary mathematics ; v. 470)
電子ブック <1003021408>
Computational group theory and the theory of groups, II : Computational Group Theory and Cohomology, August 4-8, 2008, Harlaxton College, Grantham, United Kingdom : AMS Special Session Computational Group Theory, October 17-19, 2008, Western Michigan University, Kalamazoo, MI / Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse, editors
Providence, R.I. : American Mathematical Society , c2010. - (Contemporary mathematics ; v. 511)
電子ブック <1003023288>