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

|
1. Selected writings on computing : a personal perspective

by Dijkstra E W.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1982Availability: Items available for loan: [Call number: 004 D575] (1).
2. Compiler construction

by Waite W M | Goos Gerhard [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1984Availability: Items available for loan: [Call number: 005.453 W145] (1).
3. Computational geometry : an introduction

by Preparata F P | Shamos M I [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1985Availability: Items available for loan: [Call number: 004.01516 P927] (1).
4. Mathematical foundations of computer science v 1 : Sets,relations and introduction

by Fejer P A | Simovici D A [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 1991Availability: Items available for loan: [Call number: 004.0151 F311] (1).
5. Practical theory of programming

by Hehner E C R.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1993Availability: Items available for loan: [Call number: 005.1 H464] (1).
6. Adaptive information proceedings : an introductory survey

by Sampson J R.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1976Availability: Items available for loan: [Call number: 004 Sa192] (1).
7. Design of well-structured and corret programs

by Alagic Suad | Arbib M A [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1978Availability: Items available for loan: [Call number: 005.3 Al316] (2).
8. Programming methodology : a collection of articles by members of IFIP WG2.3

by Gries David [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1978Availability: Items available for loan: [Call number: 005.1 G848] (1).
9. Science of programming

by Gries David.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1981Availability: Items available for loan: [Call number: 005.1 G848] (1).
10. Logic for applications / Anil Nerode and Richard A. Shore.

by Nerode, Anil | Shore, Richard A.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1993Availability: Items available for loan: [Call number: 005.1015113 N451] (1).
11. Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch.

by Partsch, Helmut A.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, c1990Availability: Items available for loan: [Call number: 005.11 P275] (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