Your search returned 6 results.

Results
	1.	Cryptography and computational number theory Kwok-Yan Lam ... [et al.], editors by Lam, Kwok Yan, 1966- Series: Progress in computer science and applied logic ; v. 20 Publication details: Basel Boston Birkhèauser Verlag c2001 Availability: Items available for loan: IMAR (1)Call number: II 34261. Place hold Add to cart (remove)
	2.	Bounded queries in recursion theory William I. Gasarch, Georgia A. Martin by Gasarch, William I Martin, Georgia A Series: Progress in computer science and applied logic ; v. 16 Publication details: Boston Birkauser c1999 Availability: Items available for loan: IMAR (1)Call number: II 33803. Place hold Add to cart (remove)
	3.	An introduction to quantum computing algorithms Arthur O. Pittenger by Pittenger, Arthur O Series: Progress in computer science and applied logic ; v. 19 Publication details: Boston Birkhauser c2000 Availability: Items available for loan: IMAR (1)Call number: II 33951. Place hold Add to cart (remove)
	4.	An introduction to quantum computing algorithms Arthur O. Pittenger by Pittenger, Arthur O Series: Progress in computer science and applied logic ; v. 19 Publication details: Boston Birkhauser c2000 Availability: No items available. Add to cart (remove)
	5.	Symbolic rewriting technique Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning, editors by Bronstein, Manuel Grabmeier, Johannes Weispfenning, Volker, 1944- Series: Progress in computer science and applied logic ; v. 15 Publication details: Basel Boston Birkhèauser Verlag c1998 Availability: Items available for loan: IMAR (1)Call number: II 34177. Place hold Add to cart (remove)
	6.	Logic for computer scientists Uwe Schoning. -- by Schoning, Uwe Series: Progress in computer science and applied logic ; v. 8. Publication details: Boston Birkhauser 1989 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)

Powered by Koha