Ricerca Risultati

La tua ricerca per PROGRESS IN COMPUTER SCIENCE AND APPLIED LOGIC restituito 17 Documenti

Ordina Preferenze Search Result Page: . 1 . . Pagina: 1 di1
SELEZIONARE IL TITOLO PER INFORMAZIONI SULLA DISPONIBILITA'

Display results in shelf format.

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