著者
書誌事項
Progress in computer science and applied logic
Birkhäuser
この図書・雑誌をさがす
関連文献： 24件中 1-20を表示
- 1
- 2
- 1 / 2
-
1
- Temporal type theory : a topos-theoretic approach to systems and behavior
-
Patrick Schultz, David I. Spivak
Birkhäuser c2019 Progress in computer science and applied logic v. 29
所蔵館1館
-
2
- Advances in proof theory
-
Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
Birkhäuser , Springer c2016 Progress in computer science and applied logic v. 28
所蔵館9館
-
3
- Mathematical logic : foundations for information science
-
Wei Li
Birkhäuser , Springer c2014 2nd rev. ed Progress in computer science and applied logic v. 25
所蔵館7館
-
4
- Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume
-
Manindra Agrawal, Vikraman Arvind
Birkhauser 2014 Progress in computer science and applied logic v. 26
所蔵館7館
-
5
- Mathematical logic : foundations for information science
-
Wei Li
Birkhäuser c2010 Progress in computer science and applied logic v. 25
所蔵館14館
-
6
- A Graph-Theoretic Approach to Enterprise Network Dynamics
-
Horst Bunke, Peter J. Dickinson, Miro Kraetzl, Walter D. Wallis
Birkhäuser Boston c2007 Progress in computer science and applied logic v. 24
所蔵館5館
-
7
- Coding, cryptography and combinatorics
-
Keqin Feng, Harald Niederreiter, Chaoping Xing, editors
Birkhäuser c2004 Progress in computer science and applied logic v. 23
: sz , : us
所蔵館25館
-
8
- Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness
-
Igor Shparlinski
Springer Basel AG 2003 Progress in computer science and applied logic v. 22
: pbk
所蔵館1館
-
9
- Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness
-
Igor Shparlinski
Birkhäuser c2003 Progress in computer science and applied logic v. 22
所蔵館22館
-
10
- Automata theory and its applications
-
Bakhadyr Khoussainov, Anil Nerode
Birkhäuser c2001 Progress in computer science and applied logic v. 21
所蔵館25館
-
11
- Cryptography and computational number theory
-
Kwok-Yan Lam ... [et al.], editors
Birkhäuser Verlag c2001 Progress in computer science and applied logic v. 20
所蔵館31館
-
12
- Interpolating cubic splines
-
Gary D. Knott
Birkhäuser c2000 Progress in computer science and applied logic v. 18
: us , : sz
所蔵館8館
-
13
- An introduction to quantum computing algorithms
-
Arthur O. Pittenger
Birkhäuser c2000 Progress in computer science and applied logic v. 19
: alk. paper
所蔵館39館
-
14
- Number theoretic methods in cryptography : complexity lower bounds
-
Igor Shparlinski
Birkhäuser c1999 Progress in computer science and applied logic v. 17
: Boston , : Basel
所蔵館35館
-
15
- Bounded queries in recursion theory
-
William I. Gasarch, Georgia A. Martin
Birkhäuser 1999 Progress in computer science and applied logic v. 16
所蔵館16館
-
16
- Symbolic rewriting techniques
-
Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors
Birkhäuser Verlag c1998 Progress in computer science and applied logic v. 15
: Basel : alk. paper , Boston : pbk. : alk. paper
所蔵館18館
-
17
- Learning and geometry : computational approaches
-
David Kueker, Carl Smith, editors
Birkhäuser 1996 Progress in computer science and applied logic v. 14
: us , : gw
所蔵館17館
-
18
- Feasible mathematics II
-
Peter Clote, Jeffrey B. Remmel, editors
Birkhäuser 1995 Progress in computer science and applied logic v. 13
: us , : gw
所蔵館22館
-
19
- Logical methods : in honor of Anil Nerode's sixtieth birthday
-
John N. Crossley ... [et al.], editors
Birkhäuser 1993 Progress in computer science and applied logic v. 12
: us , : sz
所蔵館16館
-
20
- A proof theory for general unification
-
Wayne Snyder
Birkhäuser 1991 Progress in computer science and applied logic v. 11
: Boston , : Basel
所蔵館19館
- 1
- 2
- 1 / 2
