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

|
1. Recursive introduction to the theory of computation

by Smith C H.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1994Availability: Items available for loan: [Call number: 005.131 Sm744] (1).
2. Deduction systems

by Socher-Ambrosius Rolf | Johann Patricia [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 1997Availability: Items available for loan: [Call number: 511.240285 So678] (1).
3. Refinement calculus a systematic introduction

by Back Ralph-Johan | Wright Joakim von [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 1998Availability: Items available for loan: [Call number: 005.14 B126] (1).
4. Specification of software systems

by Alagar V S | Periyasamy K [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Yok Springer-Verlag 1998Availability: Items available for loan: [Call number: 005.1 Al316] (1).
5. Lambda calculi a guide for computer scientists

by Hankin Chris.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 1994Availability: Items available for loan: [Call number: 004.0151 H241] (1).
6. Descriptive complexity

by Immerman Neil.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 1998Availability: Items available for loan: [Call number: 511.3 Im33] (1).
7. Computability and complexity theory

by Homer Steven | Selman Alan L [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 2001Availability: Items available for loan: [Call number: 004 H766] (1).
8. Theory of computation

by Kozen Dexter C.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2006Availability: Items available for loan: [Call number: 004.0151 K88] (1).
9. Digital image processing an algorithmic introduction using Java

by Burger Wilhelm | Burge Mark James [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 2008Availability: Items available for loan: [Call number: 621.367 B954] (1).
10. Image processing for computer graphics and vision

by Velho Luiz | Frery Alejandro C [Auth.] | Gomes Jonas [Auth.].

Edition: 2ndMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2009Availability: Items available for loan: [Call number: 006.6 V436] (1).
11. Introduction to Kolmogorov complexity and its applications

by Li Ming | Vitanyi Paul [Auth.].

Edition: 3rdMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 2008Availability: Items available for loan: [Call number: 511.3 L693] (1).
12. Practical introduction to computer architecture

by Page Daniel.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2009Availability: Items available for loan: [Call number: 004.22 P132] (1).
13. Elements of computation theory

by Singh Arindama.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2009Availability: Items available for loan: [Call number: 004 Si617] (1).
14. Formal languages and compilation

by Reghizzi Stefano Crespi.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2009Availability: Items available for loan: [Call number: 005.453015113 R334] (1).
15. Fundamentals of predictive text mining

by Weiss Sholom M | Indurkhya Nitin [Auth.] | Zhang Tong [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2010Availability: Items available for loan: [Call number: 006.312 W432] (1).
16. Explorations in quantum computing

by Williams Colin P.

Edition: 2ndMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 2011Availability: Items available for loan: [Call number: 004.1 W722] (1).
17. Guide to intelligent data analysis how to intelligently make sense of real data

by Berthold Michael R | Borgelt Christian [Auth.] | Hoppner Frank [Auth.] | Klawonn Frank [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2010Availability: Items available for loan: [Call number: 000SA.055 B542] (1).
18. Computer vision algorithms and applications

by Szeliski Richard.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2011Availability: Items available for loan: [Call number: 006.37 Sz997] (1).
19. Computer vision algorithms and applications

by Szeliski Richard.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2010Availability: Items available for loan: [Call number: 006.37 Sz997] (1).
20. Computer graphics manual

by Salomon David.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Springer-Verlag 2011Availability: Items available for loan: [Call number: 006.6 Sa174] (2).
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