上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード：(書名(完全形): Progress in Computer Science and Applied Logic)
該当件数:15件
Mathematics for the analysis of algorithms / Daniel H. Greene, Donald E. Knuth
: us,: sz. - 3rd ed. - Boston : Birkhäuser , c1990. - (Progress in computer science and applied logic ; v. 1)
図書 <1000391863>
An Introduction to Quantum Computing Algorithms / by Arthur O. Pittenger
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2000. - (Progress in Computer Science and Applied Logic ; 19)
電子ブック <1002990707>
Symbolic Rewriting Techniques / edited by Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier
Basel : Birkhäuser Basel : Imprint: Birkhäuser , 1998. - (Progress in Computer Science and Applied Logic ; 15)
電子ブック <1002995568>
Learning and Geometry: Computational Approaches / edited by David W. Kueker, Carl H. Smith
Boston, MA : Birkhäuser Boston , 1996. - (Progress in Computer Science and Applied Logic ; 14)
電子ブック <1002991483>
Bounded Queries in Recursion Theory / by William I. Gasarch, Georgia A. Martin
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1999. - (Progress in Computer Science and Applied Logic ; 16)
電子ブック <1002990213>
Feasible Mathematics II / edited by Peter Clote, Jeffrey B. Remmel
Boston, MA : Birkhäuser Boston , 1995. - (Progress in Computer Science and Applied Logic ; 13)
電子ブック <1002991147>
Number Theoretic Methods in Cryptography : Complexity lower bounds / by Igor Shparlinski
Basel : Birkhäuser Basel : Imprint: Birkhäuser , 1999. - (Progress in Computer Science and Applied Logic ; 17)
電子ブック <1002995500>
Feasible Mathematics : A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 / edited by Samuel R. Buss, Philip J. Scott
Boston, MA : Birkhäuser Boston , 1990. - (Progress in Computer Science and Applied Logic ; 9)
電子ブック <1002991317>
Coding, Cryptography and Combinatorics / edited by Keqin Feng, Harald Niederreiter, Chaoping Xing
Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2004. - (Progress in Computer Science and Applied Logic ; 23)
電子ブック <1002995040>
Cryptography and Computational Number Theory / edited by Kwok-Yan Lam, Igor Shparlinski, Huaxiong Wang, Chaoping Xing
Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2001. - (Progress in Computer Science and Applied Logic ; 20)
電子ブック <1002995282>
Logical Methods : In Honor of Anil Nerode’s Sixtieth Birthday / edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1993. - (Progress in Computer Science and Applied Logic ; 12)
電子ブック <1002990059>
A Proof Theory for General Unification / by Wayne Snyder
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1991. - (Progress in Computer Science and Applied Logic ; 11)
電子ブック <1002990109>
Cryptographic Applications of Analytic Number Theory : Complexity Lower Bounds and Pseudorandomness / edited by Igor Shparlinski
Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2003. - (Progress in Computer Science and Applied Logic ; 22)
電子ブック <1002995130>
Automata Theory and its Applications / by Bakhadyr Khoussainov, Anil Nerode
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2001. - (Progress in Computer Science and Applied Logic ; 21)
電子ブック <1002989983>
Interpolating Cubic Splines / by Gary D. Knott
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2000. - (Progress in Computer Science and Applied Logic ; 18)
電子ブック <1002990655>
