1 |
![Advances in Proof Theory Advances in Proof Theory](Cover.cls?type=cover&isbn=9783319291987&size=100) |
Advances in Proof Theory [Ebook]
|
|
2016 |
|
Shelf Location: Online resource: Springer.
|
2 |
![Coding, Cryptography and Combinatorics Coding, Cryptography and Combinatorics](Cover.cls?type=cover&isbn=9783034878654&size=100) |
Coding, Cryptography and Combinatorics [Ebook]
|
|
2004 |
|
Shelf Location: Online resource: Springer.
|
3 |
![Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness Cryptographic Applications of Analytic Number Theory: Complexity Lower Bounds and Pseudorandomness](Cover.cls?type=cover&isbn=9783034880374&size=100) |
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 Cryptography and Computational Number Theory](Cover.cls?type=cover&isbn=9783034882958&size=100) |
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 / Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 /](Cover.cls?type=cover&isbn=9781461234661&size=100) |
Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 / [Ebook]
|
|
1990 |
|
Shelf Location: Online resource: Springer.
|
6 |
![Feasible Mathematics II Feasible Mathematics II](Cover.cls?type=cover&isbn=9781461225669&size=100) |
Feasible Mathematics II [Ebook]
|
|
1995 |
|
Shelf Location: Online resource: Springer.
|
7 |
![Learning and Geometry: Computational Approaches Learning and Geometry: Computational Approaches](Cover.cls?type=cover&isbn=9781461240884&size=100) |
Learning and Geometry: Computational Approaches [Ebook]
|
|
1996 |
|
Shelf Location: Online resource: Springer.
|
8 |
![Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday](Cover.cls?type=cover&isbn=9781461203254&size=100) |
Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday [Ebook]
|
|
1993 |
|
Shelf Location: Online resource: Birkhäuser.
|
9 |
![Symbolic Rewriting Techniques Symbolic Rewriting Techniques](Cover.cls?type=cover&isbn=9783034888004&size=100) |
Symbolic Rewriting Techniques [Ebook]
|
|
1998 |
|
Shelf Location: Online resource: Springer.
|
10 |
![Bounded Queries in Recursion Theory Bounded Queries in Recursion Theory](Cover.cls?type=cover&isbn=9781461206354&size=100) |
Bounded Queries in Recursion Theory [Ebook]
|
Gasarch, William I.
|
1999 |
|
Shelf Location: Online resource: Springer.
|
11 |
![Mathematics for the analysis of algorithms Mathematics for the analysis of algorithms](Cover.cls?type=cover&isbn=9780817635152&size=100) |
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 Automata Theory and its Applications](Cover.cls?type=cover&isbn=9781461201717&size=100) |
Automata Theory and its Applications [Ebook]
|
Khoussainov, Bakhadyr. 1961-
|
2001 |
|
Shelf Location: Online resource: Birkhäuser.
|
13 |
![Interpolating Cubic Splines Interpolating Cubic Splines](Cover.cls?type=cover&isbn=9781461213208&size=100) |
Interpolating Cubic Splines [Ebook]
|
Knott, Gary D.
|
2000 |
|
Shelf Location: Online resource: Springer.
|
14 |
![An Introduction to Quantum Computing Algorithms An Introduction to Quantum Computing Algorithms](Cover.cls?type=cover&isbn=9781461213901&size=100) |
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 Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior](Cover.cls?type=cover&isbn=9783030007041&size=100) |
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 Number Theoretic Methods in Cryptography: Complexity lower bounds](Cover.cls?type=cover&isbn=9783034886642&size=100) |
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 A Proof Theory for General Unification](Cover.cls?type=cover&isbn=9781461204350&size=100) |
A Proof Theory for General Unification [Ebook]
|
Snyder, Wayne
|
1991 |
|
Shelf Location: Online resource: Springer.
|