城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(書名(完全形): Progress in Computer Science and Applied Logic. ISSN:22970584)
該当件数:20件
Advances in Proof Theory / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer
1st ed. 2016.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2016). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 28)
電子ブック
A Proof Theory for General Unification / by W. Snyder
1st ed. 1991.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1991). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 11)
Bounded Queries in Recursion Theory / by William Levine, Georgia Martin
1st ed. 1999.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1999). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 16)
Interpolating Cubic Splines / by Gary D. Knott
1st ed. 2000.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2000). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 18)
An Introduction to Quantum Computing Algorithms / by Arthur O. Pittenger
1st ed. 2000.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2000). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 19)
Learning and Geometry: Computational Approaches / edited by David Kueker, Carl Smith
1st ed. 1996.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1996). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 14)
Cryptography and Computational Number Theory / edited by Kwok Y. Lam, Igor Shparlinski, Huaxiong Wang, Chaoping Xing
1st ed. 2001.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2001). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 20)
Symbolic Rewriting Techniques / edited by Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning
1st ed. 1998.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 1998). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 15)
Coding, Cryptography and Combinatorics / edited by Keqin Feng, Harald Niederreiter, Chaoping Xing
1st ed. 2004.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2004). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 23)
Feasible Mathematics II / edited by Peter Clote, Jeffrey B. Remmel
1st ed. 1995.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1995). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 13)
The Evolution of Programs / by DERSHOWITZ
1st ed. 1983.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1983). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 5)
Automata Theory and its Applications / by Bakhadyr Khoussainov, Anil Nerode
1st ed. 2001.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2001). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 21)
Notes on Introductory Combinatorics / by George Pólya, Robert E. Tarjan, Donald R. Woods
1st ed. 2010.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 2010). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 4)
Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume / edited by Manindra Agrawal, Vikraman Arvind
1st ed. 2014.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2014). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 26)
Cryptographic Applications of Analytic Number Theory : Complexity Lower Bounds and Pseudorandomness / by Igor Shparlinski
1st ed. 2003.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 2003). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 22)
Feasible Mathematics : A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 / by S.R. Buss, P.J. Scott
1st ed. 1990.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1990). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 9)
Number Theoretic Methods in Cryptography : Complexity lower bounds / by Igor Shparlinski
1st ed. 1999.. - (Basel : Birkhäuser Basel : Imprint: Birkhäuser , 1999). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 17)
Mathematical Logic : Foundations for Information Science / by Wei Li
2nd ed. 2014.. - (Basel : Springer Basel : Imprint: Birkhäuser , 2014). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 25)
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / by Patrick Schultz, David I. Spivak
1st ed. 2019.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2019). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 29)
Logical Methods : In Honor of Anil Nerode’s Sixtieth Birthday / edited by John N. Crossley, Jeffrey B. Remmel, Richard Shore, Moss E. Sweedler
1st ed. 1993.. - (Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser , 1993). - (Progress in Computer Science and Applied Logic. ISSN:22970584 ; 12)