Search Results

Your Search for PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC returned 17 Items

Sort Preference Search Result Page: . 1 . . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

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