東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Computational complexity)
該当件数:130件
Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / edited by Alan L. Selman
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 223)
図書
The pillars of computation theory : state, encoding, nondeterminism / Arnold L. Rosenberg
: pbk. - New York : Springer , c2010. - (Universitext)
Computational complexity theory / Steven Rudich, Avi Wigderson, editors
: hardcover. - Providence, R.I. : American Mathematical Society , c2004. - (IAS/Park City mathematics series / [Dan Freed, series editor] ; v. 10)
Complexity and information / J.F. Traub, A.G. Werschulz
New York : Cambridge University Press , 1998. - (Lezioni Lincee)
Noisy information and computational complexity / Leszek Plaskota
New York : Cambridge University Press , 1996
Parameterized complexity / R.G. Downey, M.R. Fellows
New York : Springer , c1997. - (Monographs in computer science)
Algebraic complexity theory / Peter Bürgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig
Berlin : Springer , c1997. - New York. - (Grundlehren der mathematischen Wissenschaften. ISSN:0072-7830 ; 315)
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)
Computational complexity : theory, techniques, and applications / Robert A. Meyers (ed.)
v. 1 - v. 6. - New York : Springer , c2012. - (Springer reference)
Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak
Cambridge ; New York : Cambridge University Press , 2009
Complexity and cryptography : an introduction / John Talbot, Dominic Welsh
Cambridge : Cambridge Univ. Pr. , 2006. - New York
Modified branching programs and their computational power / Christoph Meinel
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 370)
Geometry and complexity theory / J.M. Landsberg
: hardback. - Cambridge : Cambridge University Press , 2017. - (Cambridge studies in advanced mathematics ; 169)
Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló Summer School, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Menéndez Pelayo, Santander, Spain / José Luis Montaña, Lluis M. Pardo, editors
Providence, R.I. : American Mathematical Society , c2013. - (Contemporary mathematics ; 604)
2nd rev. ed. - Berlin : Springer-Verlag , c1995. - New York. - (Texts in theoretical computer science ; An EATCS series)
Complexity, logic, and recursion theory / edited by Andrea Sorbi
New York : Marcel Dekker , c1997. - (Lecture notes in pure and applied mathematics ; v. 187)
Communication complexity and parallel computing / Juraj Hromkovic̆
Berlin : Springer-Verlag , c1997. - New York. - (Texts in theoretical computer science)
Dealing with complexity : a neural networks approach / M. Kárný, K. Warwick and V. Kůrková (eds.)
London : Springer , c1998. - (Perspectives in neural computing)
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)
The language complexity game / Eric Sven Ristad
Cambridge, Mass. : MIT Press , c1993. - (The MIT Press series in artificial intelligence)
Language computations : DIMACS Workshop on Human Language, March 20-22, 1992 / Eric Sven Ristad, editor
Providence, RI : American Mathematical Society , c1994. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 17)
Computational analysis of one-dimensional cellular automata / Burton H. Voorhees
Singapore : World Scientific , c1996. - (World Scientific series on nonlinear science / editor, Leon O. Chua ; ser. A . Monographs and treatises ; v. 15)
Complex systems dynamics : an introduction to automata networks / Gérard Weisbuch ; translated by Sylvie Ryckebusch
Redwood City, Calif. : Addison-Wesley , c1991. - (Santa Fe Institute studies in the sciences of complexity ; Lecture notes .). - ( ; ecture notes .)
Turing machines with sublogarithmic space / Andrzej Szepietowski
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 843)
A new kind of science / Stephen Wolfram
Champaign, IL : Wolfram Media , c2002
Proof complexity / Jan Krajíček
: hardback. - Cambridge : Cambridge University Press , 2019. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; 170)
Computational complexity
Basel ; Boston : Birkhäuser
雑誌
Cellular automata and complexity : collected papers / Stephen Wolfram
: pbk. - Reading, Mass. : Addison-Wesley Pub. Co. , c1994
Information and randomness : an algorithmic perspective / Cristian Calude ; forewords by Gregory J. Chaitin and Arto Salomaa
2nd ed., revised and extended. - Berlin : Springer-Verlag , c2002. - Tokyo. - (Texts in theoretical computer science ; An EATCS series)
Classical and quantum computation / A.Yu. Kitaev, A.H. Shen, M.N. Vyalyi ; [translated from the Russian by Lester J. Senechal]
Providence, R.I. : American Mathematical Society , c2002. - (Graduate studies in mathematics ; v. 47)
Computability, complexity, logic / E. Börger ; translated into the English language and prepared for offset printing by J. C. Harvey
Amsterdam : North-Holland , 1989. - New York : Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.. - New York. - (Studies in logic and the foundations of mathematics ; v. 128)
Randomness and completeness in computational complexity / Dieter van Melkebeek
Berlin : Springer-Verlag , c2000. - New York. - (Lecture notes in computer science ; 1950)
Substitutions in dynamics, arithmetics and combinatorics / N. Pytheas Fogg ; editors, V. Berthé ... [et al.]
Berlin : Springer , c2002. - (Lecture notes in mathematics ; 1794)
Computational complexity of bilinear forms : algebraic coding theory and applications of digital communication systems / Hari Krishna
Berlin : Springer-Verlag , c1987. - Tokyo. - (Lecture notes in control and information sciences ; 94)
Kolmogorov complexity and algorithmic randomness / A. Shen, V.A. Uspensky, N. Vereshchagin
Providence, R.I. : American Mathematical Society , c2017. - (Mathematical surveys and monographs ; v. 220)
Understanding information and computation : from Einstein to Web science / Philip Tetlow
Farnham : Gower , c2012
Forcing with random variables and proof complexity / Jan Krajíček
: pbk. - Cambridge [England] ; New York ; Tokyo : Cambridge University Press , 2011. - (London Mathematical Society lecture note series ; 382)
Computational theories of interaction and agency / edited by Philip E. Agre and Stanley J. Rosenschein
Cambridge, Mass. : MIT Press , 1996. - (Artificial intelligence)
Efficient checking of polynomials and proofs and the hardness of approximation problems / Madhu Sudan
Berlin : Springer Verlag , c1995. - New York. - (Lecture notes in computer science ; 1001)
Information, randomness & incompleteness : papers on algorithmic information theory / Gregory J. Chaitin
Singapore : World Scientific , c1987. - Teaneck, NJ. - (Series in computer science ; v. 8)
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 Univ. Pr. , c1998. - (Princeton studies in complexity)
Computability and complexity : from a programming perspective / Neil D. Jones
Cambridge, Mass. : MIT Press , c1997. - (Foundations of computing)
Algorithmic information theory / Gregory J. Chaitin
Cambridge [Cambridgeshire] : Cambridge Univ. Pr. , 1987. - (Cambridge tracts in theoretical computer science ; 1)
Berlin : Springer-Verlag , c1994. - New York. - (Monographs in theoretical computer science : an EATCS series)
Reprinted with revisions. - Cambridge [Cambridgeshire] : Cambridge University Press , 1987. - (Cambridge tracts in theoretical computer science ; 1)
Stochastic complexity in statistical inquiry / Jorma Rissanen
Singapore : World Scientific , c1989. - Teaneck, N.J.. - (World scientific series in computer science ; v. 15)
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
Oxford : Clarendon Press , 1993. - (Oxford logic guides ; 23)
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and teh Turing Machine / Charles Petzold
Indianapolis, IN : Wiley Pub. , c2008