同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(件名: #Computational complexity)
該当件数:124件
Theory of computational complexity / Ding-Zhu Du, Ker-I Ko
New York : Wiley , c2000. - (Wiley-Interscience series in discrete mathematics and optimization)
図書 <BB00472432>
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>
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>
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)
電子書籍 <OB01081442>
Completeness and reduction in algebraic complexity theory / Peter Bürgisser
acid-free paper. - Berlin ; New York : Springer , c2000. - (Algorithms and computation in mathematics ISSN:1431-1550 ; v. 7)
電子書籍 <OB01083182>
Complex systems informatics and modeling quarterly
Riga, Latvia : RTU Press , 2014-
電子ジャーナル <OJ00254536>
Computational complexity : CC
Basel : Birkhäuser. - Basel : Springer
電子ジャーナル <OJ00012372>
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>
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>
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>
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>
Geometry and complexity theory / J.M. Landsberg
: hardback. - Cambridge : Cambridge University Press , 2017. - (Cambridge studies in advanced mathematics ; 169)
図書 <BB13025792>
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>
Algorithmic randomness and complexity / Rodney G. Downey, Denis R. Hirschfeldt
e-ISBN. - New York : Springer , c2010
電子書籍 <OB01081599>
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)
電子書籍 <OB01082582>
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlak
hard cover : alk. paper. - 1st ed.. - New York : Springer , 2013
電子書籍 <OB01088389>
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)
電子書籍 <OB01088875>
The pillars of computation theory : state, encoding, nondeterminism / Arnold L. Rosenberg
pbk. - ebk.. - New York : Springer , c2010
電子書籍 <OB01091098>
Journal of complexity
Orlando, Fla. : Academic Press
電子ジャーナル <OJ00258781>
Complex Systems Design & Management : Proceedings of the 4th International Conference on Complex Systems Design & Management Asia and of the 12th Conference on Complex Systems Design & Management CSD&M 2021 / edited by Daniel Krob, Lefei Li, Junchen Yao, Hongjun Zhang, Xinguo Zhang
print - print. - 1st ed. 2021.. - Cham : Springer International Publishing : Imprint: Springer , 2021
電子書籍 <OB01066501>
Complex system modeling and simulation
Beijing : Tsinghua University Press , 2021-
電子ジャーナル <OJ00257718>
Neural network design and the complexity of learning / J. Stephen Judd
Cambridge, Mass. : MIT Press , c1990. - (Neural network modeling and connectionism). - (Bradford book)
図書 <BB00123175>
Stochastic complexity in statistical inquiry / Jorma Rissanen
Singapore ; Teaneck, N.J. : World Scientific , c1989. - (Series in computer science ; v. 15)
図書 <BB00101602>
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>
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>
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>
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>
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>
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>
Nonlinear optimization : complexity issues / Stephen A. Vavasis
New York : Oxford University Press , 1991. - (International series of monographs on computer science ; 8)
図書 <BB00201875>
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>
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp
2nd ed. - Reading, Mass. : Addison-Wesley , c1997
図書 <BB00326995>
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>
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>
Complex networks V : proceedings of the 5th Workshop on Complex Networks CompleNet 2014 / Pierluigi Contucci ... [et al.], editors
: [hardback]. - Cham : Springer , c2014. - (Studies in computational intelligence ; v. 549)
図書 <BB13220578>
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>
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>