富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Computational complexity)
該当件数:21件
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2023). - (Computer Science Foundations and Applied Logic. ISSN:27315762)
電子ブック
Pedigree Polytopes : New Insights on Computational Complexity of Combinatorial Optimisation Problems / by Tirukkattuppalli Subramanyam Arthanari
1st ed. 2023.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2023)
Programs as Diagrams : From Categorical Computability to Computable Categories / by Dusko Pavlovic
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Theory and Applications of Computability, In cooperation with the association Computability in Europe. ISSN:21906203)
Sampled-data Control of Logical Networks / by Yang Liu, Jianquan Lu, Liangjie Sun
Computability / by George Tourlakis
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022)
A new kind of science / Stephen Wolfram
Champaign, IL : Wolfram Media , c2002
図書
Algorithms and complexity : 4th Italian Conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings / Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1767)
Algorithms and complexity : Second Italian Conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings / M. Bonuccelli, P. Crescenzi, R. Petreschi, (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 778)
Trees in algebra and programming, CAAP'94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings / Sophie Tison, ed
: us,: gw. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 787)
Algorithm theory--SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings / Erik M. Schmidt, Sven Skyum (eds.)
: gw,: us. - Berlin : New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 824)
Chaos and complexity : discovering the surprising patterns of science and technology / Brian Kaye
Weinheim, brosch - New York, Gb.. - Weinheim : Tokyo : VCH , c1993
Self-modifying systems in biology and cognitive science : a new framework for dynamics, information and complexity / George Kampis
Oxford : Pergamon Press , 1991. - (IFSR international series on systems science and engineering ; 6)
Neural network design and the complexity of learning / J. Stephen Judd
Cambridge, Mass. : MIT Press , c1990. - (Neural network modeling and connectionism). - (Bradford book)
Theory of computation : formal languages, automata, and complexity / J. Glenn Brookshear
Redwood City, Calif. : Tokyo : Benjamin/Cummings Pub. Co. , c1989. - (Benjamin/Cummings series in computer science)
Theories of computational complexity / Cristian Calude
Amsterdam : Tokyo : North-Holland , 1988. - (Annals of discrete mathematics ; 35)
Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró
v. 1 : gw - v. 2 : us. - Berlin : Tokyo : Springer-Verlag , c1988-c1. - (EATCS monographs on theoretical computer science ; v. 11, 22)
Dealing with complexity : an introduction to the theory and application of systems science / Robert L. Flood and Ewart R. Carson
New York : Plenum Press , c1988
Fundamentals of computation theory : International Conference FCT '87, Kazan, USSR, June 22-26, 1987, proceedings / L. Budach, R.G. Bukharajev, O.B. Lupanov (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 278)
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)
Open problems in communication and computation / Thomas M. Cover, B. Gopinath, editors
: U.S.,: Germany. - New York : Tokyo : Springer-Verlag , c1987