Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Your search returned 9 results.

Results
	1.	Logic for computer scientists by Schoning Uwe Series: Progress in computer science and applied logic; v 8 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Birkhauser 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sc371. Place hold Add to cart (remove)
	2.	No cover image available Mathematics for the analysis of algorithms by Greene D H Knuth D E [Auth.] Series: Progress in computer science and applied logic; 1 Edition: 3rd Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Birkhauser 1990 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 G795. Place hold Add to cart (remove)
	3.	Introduction to quantum computing algorithms by Pittenger Arthur O Series: Progress in computer science and applied logic; v 19 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Birkhauser 1999 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.1 P687. Place hold Add to cart (remove)
	4.	Graph-theoretic approach to enterprise network dynamics by Bunke Horst Dickinson Peter J [Auth.] Kraetzl Miro [Auth.] Wallis Walter D [Auth.] Series: Progress in computer science and applied logic; v 24 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Birkhauser 2007 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.68 B942. Place hold Add to cart (remove)
	5.	Mathematical logic foundations for information science by Li Wei Series: Progress in computer science and applied logic; v 25 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Basel Birkhauser Verlag 2010 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 L693. Place hold Add to cart (remove)
	6.	Cryptographic applications of analytic number theory complexity lower bounds and pseudorandomness by Shparlinski Igor Series: Progress in computer science and applied logic; v 22 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Basel Birkhauser Verlag 2003 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 652.8 Sh559. Place hold Add to cart (remove)
	7.	Coding, cryptography, and combinatorics selected papers by Feng Keqin ed Workshop on Coding, Cryptography, and Combinatorics Workshop on coding, cryptography, and combinatorics Huang Shan, China 03-Jun Series: Progress in computer science and applied logic; v 23 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Basel Birkhauser Verlag 2004 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 003.54 W926. Place hold Add to cart (remove)
	8.	Advances in proof theory/ [edited by] Reinhard Kahle, Thomas Strahm and Thomas Studer. by Symposium on Advances in Proof Theory (Switzerland 13-14 Dec, 2013) Kahle, Reinhard [editor] Strahm, Thomas [editor] Studer, Thomas [editor] Series: Progress in computer science and applied logic ; v 28. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer, 2016 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.36 Sy989. Place hold Add to cart (remove)
	9.	Advances in Proof Theory [electronic resource] / edited by Reinhard Kahle, Thomas Strahm, Thomas Studer. by Kahle, Reinhard [editor.] Strahm, Thomas [editor.] Studer, Thomas [editor.] SpringerLink (Online service) Series: Progress in Computer Science and Applied Logic ; 28 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016 In: Springer eBooks Online resources: Click here to access online Availability: Items available for reference: ISI Library, Kolkata: Not for loan (1). Add to cart (remove)

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in