1 |
|
Advances in Proof Theory [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
2 |
|
Coding, Cryptography and Combinatorics [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
3 |
|
Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness [Ebook]
|
|
2003 |
|
Shelf Location: Online resource: Birkhäuser.
|
4 |
|
Cryptography and Computational Number Theory [Ebook]
|
|
2001 |
|
Shelf Location: Online resource: Springer.
|
5 |
|
Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 / [Ebook]
|
|
1990 |
|
Shelf Location: Online resource: Springer.
|
6 |
|
Feasible Mathematics II [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
7 |
|
Learning and Geometry: Computational Approaches [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
8 |
|
Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday [Ebook]
|
|
1993 |
|
Shelf Location: Online resource: Birkhäuser.
|
9 |
|
Symbolic Rewriting Techniques [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
10 |
|
Bounded Queries in Recursion Theory [Ebook]
|
Gasarch, William I.
|
1999 |
|
Shelf Location: Online resource: Springer.
|
11 |
|
Mathematics for the analysis of algorithms [Monograph ]
|
Greene, Daniel H. 1955-
|
1990 |
|
Shelf Location: 005.1 GRE.
Collections: General.
Number of Holdings: 1.
|
12 |
|
Automata Theory and its Applications [Ebook]
|
Khoussainov, Bakhadyr. 1961-
|
2001 |
|
Shelf Location: Online resource: Birkhäuser.
|
13 |
|
Interpolating Cubic Splines [Ebook]
|
Knott, Gary D.
|
2000 |
|
Shelf Location: Online resource: Springer.
|
14 |
|
An Introduction to Quantum Computing Algorithms [Ebook]
|
Pittenger, Arthur O.
|
2000 |
|
Shelf Location: Online resource: Birkhäuser.
|
15 |
|
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior [Ebook]
|
Schultz, Patrick
|
2019 |
|
Shelf Location: Online Resource: Birkhäuser.
|
16 |
|
Number Theoretic Methods in Cryptography: Complexity lower bounds [Ebook]
|
Shparlinski, Igor E.
|
1999 |
|
Shelf Location: Online resource: Birkhäuser.
|
17 |
|
A Proof Theory for General Unification [Ebook]
|
Snyder, Wayne
|
1991 |
|
Shelf Location: Online resource: Springer.
|