城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Computational complexity)
該当件数:47件
The computational complexity of algebraic and numeric problems / A. Borodin, I. Munro.
1. - New York : American Elsevier , {1975}. - (Elsevier computer science library : Theory of computation series ; 1)
図書
Proceedings of the twenty-seventh annual ACM Symposium on the theory of Computing : Las Vegas, Nevada, May 29 - June 1, 1995 / sponsored by the ACM Special Interest Group for Algorithms and Computation Theory.
New York : Association for Computing Machinery , c1995. - New York : ACM Press , c1995. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 27th(1995))
Proceedings of the twenty-eighth annual ACM Symposium on the theory of Computing : Philadelphia, Pennsylvania, May 22-24, 1996 / sponsored by the ACM Special Interest Group for Algorithms and Computation Theory.
New York : Association for Computing Machinery , c1996. - New York : ACM Press , c1996. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 28th(1996))
Complexity of computation / {edited by Richard M. Karp}.
Providence, R.I. : American Mathematical Society , 1974. - (SIAM AMS proceedings ; v. 7)
Computational complexity : Courant Computer Science Symposium 7, October 25-26, 1971 / edited by Randall Rustin.
New York : Algorithmics Press , c1973.
Complexity, logic, and recursion theory / edited by Andrea Sorbi.
New York : Marcel Dekker , c1997. - (Lecture notes in pure and applied mathematics)
Proceedings of the sixteenth annual ACM Symposium on Theory of Computing, Washington, D.C., April 30-May 2, 1984 / sponsored by the ACM Special Interest Group for Automata and Computability Theory
New York : Association for Computing Machinery , 1984. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 16th(1984))
Proceedings of the nineteenth annual ACM Symposium on Theory of Computin
New York : Association for Computing Machinery , 1987. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 19th(1987))
Proceedings of the twenty-first annual ACM Symposium on Theory of Computing, Seattle : Se
New York : Association for Computing Machinery , c1989. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 21st(1989))
Proceedings of the twenty-second annual ACM Symposium on Theory of Computing : Baltimore, Maryland, May 14-16, 1990 / sponsored by the ACM Special Interest Gruop for Automata and Computability theory.
New York : Association for Computing Machinery , 1990. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 22nd(1990))
Proceedings of the twenty third annual ACM Symposium on Theory of Computing, : New Orleans, Louisiana, May 6-8, 1991 / sponsored by the ACM Special Interest Group for Automata and computability Theory.
New York : Association for Computing Machinery , 1991. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 23rd(1991))
Proceedings of the twenty-fourth annual ACM Symposium on the Theory of Computing, : Victoria, British Columbia, Canada, May 4-6, 1992 / sponsored by the ACM Special Interest Group for Automata and Computability Theory.
New York : Association for Computing Machinery , 1992. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 24th(1992))
Proceedings of the twenty-fifth annual ACM Symposium on the theory of Computing. : San Diego, California, May 16-18, 1993 / sponsored by the ACM Special Interest Group for Algorithms and Computation Theory.
New York : Association for Computing Machinery , 1993. - New York : ACM Press , 1993. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 25th(1993))
Proceedings of the twenty-sixth annual ACM Symposium on the theory of Computing. : Montreal, Quebec, Canada, May 23-25, 1994 / sponsored by the ACM Special Interest Group for Algorithms and Computation Theory.
New York : Association for Computing Machinery , 1994. - New York : ACM Press , 1994. - (Proceedings of the ... annual ACM Symposium on Theory of Computing ; 26th(1994))
Proceedings of the twentieth annual ACM Symposium on Theory of Computing, : Chicago, Illinois, May 2-4, 1988 / sponsored by the ACM Special Interest Group for Automata and Computability Theory.
New York : Association for Computing Machinery , c1988. - (Proceedings of the ... annual ACM Symposium on Theory of Computing)
Logic and computer science / ed. by Piergiorgio Odifreddi
v. 31. - London : Academic Press , c1990. - (APIC studies in data processing ; v. 31)
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajicek
23. - Oxford, England : Clarendon Press , 1993. - (Oxford logic guides ; 23)
Forcing with Random Variables and Proof Complexity / Jan Krajíček
Cambridge : Cambridge University Press , 2010. - (London Mathematical Society Lecture Note Series ; 382)
電子ブック
Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman
Reading, Mass. : Addison-Wesley , c1979. - (Addison-Wesley series in computer science)
Computation and automata / Arto Salomaa
Cambridge [Cambridgeshire] : Cambridge University Press , 1985. - (Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 25)