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 13 results. Subscribe to this search

|
1. Mathematics for the analysis of algebra

by Greene D H | Knuth D E [Auth.].

Edition: 2nd edMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Birkhauser 1982Availability: Items available for loan: [Call number: 005.1 G799] (1).
2. Applied probability-computer science : the interface

by Disney R L | Otto T J eds [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Birkhauser 1982Availability: Items available for loan: [Call number: 004.62 D612] (1).
3. Applied probability-computer science : the interface

by Disney R L | Otto T J eds [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Birkhauser 1982Availability: Items available for loan: [Call number: 004.62 D612] (1).
4. Lecture notes on bucket algorithms

by Devroye Luc.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Birkhauser 1986Availability: Items available for loan: [Call number: 005.73 D514] (1).
5. Logic for computer scientists

by Schoning Uwe.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Birkhauser 1989Availability: Items available for loan: [Call number: 511.3 Sc371] (1).
6. Mathematics for the analysis of algorithms

by Greene D H | Knuth D E [Auth.].

Edition: 3rdMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Birkhauser 1990Availability: Items available for loan: [Call number: 005.1 G795] (1).
7. Introduction to quantum computing algorithms

by Pittenger Arthur O.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Birkhauser 1999Availability: Items available for loan: [Call number: 004.1 P687] (1).
8. Graph-theoretic approach to enterprise network dynamics

by Bunke Horst | Dickinson Peter J [Auth.] | Kraetzl Miro [Auth.] | Wallis Walter D [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Birkhauser 2007Availability: Items available for loan: [Call number: 004.68 B942] (1).
9. Mathematical logic foundations for information science

by Li Wei.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Basel Birkhauser Verlag 2010Availability: Items available for loan: [Call number: 511.3 L693] (1).
10. Cryptographic applications of analytic number theory complexity lower bounds and pseudorandomness

by Shparlinski Igor.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Basel Birkhauser Verlag 2003Availability: Items available for loan: [Call number: 652.8 Sh559] (1).
11. 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.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Basel Birkhauser Verlag 2004Availability: Items available for loan: [Call number: 003.54 W926] (1).
12. 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].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Availability: Items available for loan: [Call number: 511.36 Sy989] (1).
13. 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).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016Online access: Click here to access online Availability: Items available for loan: (1).
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


Visitor Counter