同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社大学のリポジトリを検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子ブック/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード：(件名: #Computational complexity)
該当件数:83件
Theory of computational complexity / Ding-Zhu Du, Ker-I Ko
New York : Wiley , c2000. - (Wiley-Interscience series in discrete mathematics and optimization)
図書 <BB00472432>
Introduction to the theory of complexity / Daniel Pierre Bovet and Pierluigi Crescenzi
Hemel Hempstead, Hertfordshire : Prentice Hall , c1994. - (Prentice-Hall International series in computer science)
図書 <BB00264614>
Information-based complexity / J.F. Traub, G.W. Wasilkowski, H. Woźniakowski
Boston ; Tokyo : Academic Press , c1988. - (Computer science and scientific computing)
図書 <BB00069556>
Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró
v. 1 : gw - v. 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1988-c1990. - (EATCS monographs on theoretical computer science ; v. 11, 22)
図書 <BB00051939>
Causality, probability, and time / Samantha Kleinberg
Cambridge : Cambridge University Press , 2013
図書 <BB12636987>
Algebraic complexity theory / Peter Bürgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig
Berlin : hardcover : acid-free paper. - Berlin ; New York : Springer , c1997. - (Grundlehren der mathematischen Wissenschaften ISSN:0072-7830 ; 315)
電子ブック <OB00866939>
Computational complexity : CC
Basel : Birkhäuser. - Basel : Springer
電子ジャーナル <OJ00012372>
Journal of complexity
Orlando, Fla. : Academic Press
電子ジャーナル <OJ00031916>
Complex systems informatics and modeling quarterly
Riga, Latvia : RTU Press , 2014-
電子ジャーナル <OJ00193287>
Cellular automata and complexity : collected papers / Stephen Wolfram
: pbk. - Reading, Mass. : Addison-Wesley Pub. Co. , c1994
図書 <BB00272948>
The language complexity game / Eric Sven Ristad
Cambridge, Mass. : MIT Press , c1993. - (The MIT Press series in artificial intelligence)
図書 <BB00232896>
Geometry and complexity theory / J.M. Landsberg
: hardback. - Cambridge : Cambridge University Press , 2017. - (Cambridge studies in advanced mathematics ; 169)
図書 <BB13025792>
Reviews of nonlinear dynamics and complexity / edited by Heinz Georg Schuster
v. 1,v. 2. - Weinheim : Wiley-VCH , c2008-2009
図書 <BB10317072>
Introducing the theory of computation / Wayne Goddard
Sudbury, Mass. : Jones and Bartlett , c2008
図書 <BB10324969>
Aspects of complexity : minicourses in algorithmics, complexity, and computational algebra, mathematics workshop, Kaikoura, January 7-15, 2000 / editors Rod Downey, Denis Hirschfeldt
Berlin ; New York : Walter de Gruyter , c2001. - (De Gruyter series in logic and its applications ; 4)
図書 <BB10174228>
The complexity of Boolean functions / Ingo Wegener
: Wiley,: Teubner. - Stuttgart : B.G. Teubner. - Chichester [West Sussex] ; New York : J. Wiley , c1987. - (Wiley-Teubner series in computer science)
図書 <BB00021973>
Proceedings of the twenty-seventh annual ACM Symposium on Theory of Computing / chairmen F. Tom Leighton, Allan Borodin ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1995
電子ブック <OB00750960>
Proceedings of the twenty-third annual ACM Symposium on Theory of Computing / chairmen Cris Koutsougeras, Jeff Vitter ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1991
電子ブック <OB00750963>
CCC '15 : 30th Conference on Computational Complexity : June 17-19, 2015, Portland, Oregon, USA / edited by David Zuckerman
Saarbrücken, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , 2015
電子ブック <OB00770593>
CCC 2017 : 32nd Computational Complexity Conference : July 6-9, 2017, Riga, Latvia / edited by Ryan O'Donnell
Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik , 2017
電子ブック <OB00770594>
Bounded queries in recursion theory / William I. Gasarch, Georgia A. Martin
hardcover : alk. paper. - Boston : Birkauser , c1999. - (Progress in computer science and applied logic ; v. 16)
電子ブック <OB00867151>
A mathematical structure for emergent computation / by Victor Korotkich
alk. paper. - Dordrecht, The Netherlands ; Boston : Kluwer Academic Publishers , c1999. - (Nonconvex optimization and its applications ; v. 36)
電子ブック <OB00868392>
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp
2nd ed. - Reading, Mass. : Addison-Wesley , c1997
図書 <BB00326995>
Nonlinear optimization : complexity issues / Stephen A. Vavasis
New York : Oxford University Press , 1991. - (International series of monographs on computer science ; 8)
図書 <BB00201875>
Kolmogorov complexity and computational complexity / Osamu Watanabe (ed.)
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1992. - (EATCS monographs on theoretical computer science)
図書 <BB00215691>
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
Oxford : Clarendon Press , 1993. - (Oxford logic guides ; 23)
図書 <BB00238733>
Information and randomness : an algorithmic perspective / Cristian Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Monographs in theoretical computer science : an EATCS series)
図書 <BB00284779>
Stochastic complexity in statistical inquiry / Jorma Rissanen
Singapore ; Teaneck, N.J. : World Scientific , c1989. - (Series in computer science ; v. 15)
図書 <BB00101602>
Neural network design and the complexity of learning / J. Stephen Judd
Cambridge, Mass. : MIT Press , c1990. - (Neural network modeling and connectionism). - (Bradford book)
図書 <BB00123175>
Introduction to computability / Fred Hennie
Reading, Mass. : Addison-Wesley Pub. Co. , c1977. - (Addison-Wesley series in computer science and information processing)
図書 <BB00064703>
Open problems in communication and computation / Thomas M. Cover, B. Gopinath, editors
: U.S.,: Germany. - New York ; Tokyo : Springer-Verlag , c1987
図書 <BB00035734>
Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / O. Nurmi, E. Ukkonen, eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 621)
図書 <BB00199506>
Measures of complexity : proceedings of the conference held in Rome, September 30-October 2, 1987 / L. Peliti, A. Vulpiani, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in physics ; 314)
図書 <BB00079050>
Bayes linear statistics : theory and methods / Michael Goldstein and David Wooff
Chichester, West Sussex : John Wiley & Sons , c2007. - (Wiley series in probability and mathematical statistics)
図書 <BB10293236>
Online computation and competitive analysis / Allan Borodin, Ran El-Yaniv
: pbk. - Cambridge, [Eng.] ; New York : Cambridge University Press , 2005, c1998
図書 <BB12179360>
Computability : Turing, Gödel, Church, and beyond / edited by B. Jack Copeland, Carl J. Posy, and Oron Shagrir
: hardcover. - Cambridge, Mass. : MIT Press , c2013
図書 <BB12610210>
Computational complexity of bilinear forms : algebraic coding theory and applications of digital communication systems / Hari Krishna
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in control and information sciences ; 94)
図書 <BB00011720>
Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman
Reading, Mass. : Addison-Wesley , c1979. - (Addison-Wesley series in computer science)
図書 <BB00000064>
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)
図書 <BB00007930>
CoCoS'13 : proceedings of the 1st Workshop on Comprehension of Complex Systems : March 25, 2013, Fukuoka, Japan / program chair Bert Lagaisse ; in cooperation with ACM SIGPLAN and ACM SIGSOFT
print. - New York : ACM , 2013
電子ブック <OB00744960>
Proceedings of the twelfth annual ACM Symposium on Theory of Computing / chairmen Raymond E. Miller, Seymour Ginsburg, Walter A. Burkhard, Richard J. Lipton ; sponsor ACM Special Interest Group on Algorithms and Computation Theory
print. - New York : ACM , 1980
電子ブック <OB00750926>
STOC 94 : 26th ACM Symposium on the Theory of Computing
Trade Paper. - New York : Association for Computing Machinery , Oct. 1994
電子ブック <OB00751683>
Barriers and bounds to rationality : essays on economic complexity and dynamics in interactive systems / Peter S. Albin ; edited and with an introduction by Duncan K. Foley
Princeton, N.J. : Princeton University Press , c1998. - (Princeton studies in complexity)
図書 <BB00379335>
Computational complexity and feasibility of data processing and interval computations / by Vladik Kreinovich ... [et al.]
hb : alk. paper. - Dordrecht ; Boston : Kluwer Academic Publishers , c1998. - (Applied optimization ; v. 10)
電子ブック <OB00867318>
Feasible mathematics : a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 / Samuel R. Buss, Philip J. Scott, editors
Boston,Basel. - Boston : Birkhäuser , 1990. - (Progress in computer science and applied logic ; v. 9)
電子ブック <OB00867654>
Feasible mathematics II / Peter Clote, Jeffrey Remmel, editors
acid-free paper,acid-free paper. - Boston : Birkhäuser , 1995. - (Progress in computer science and applied logic ; v. 13)
電子ブック <OB00867655>
Interior point approach to linear, quadratic, and convex programming : algorithms and complexity / D. den Hertog
acid-free paper. - Dordrecht ; Boston : Kluwer Academic Publishers , c1994
電子ブック <OB00868066>
Advances in algorithms, languages, and complexity / edited by Ding-Zhu Du, Ker-I Ko
alk. paper. - Dordrecht ; Boston : Kluwer Academic , c1997
電子ブック <OB00866904>
Number theoretic methods in cryptography : complexity lower bounds / Igor Shparlinski
Basel,Boston. - Basel ; Boston : Birkhäuser , c1999. - (Progress in computer science and applied logic ; v. 17)
電子ブック <OB00868678>
SIGACT news
New York, NY : ACM Special Interest Group on Automata and Computability Theory
電子ジャーナル <OJ00128849>
