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 15 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. Chess skill in man and machine

by Frey P W [ed.].

Edition: 2ndMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 1983Availability: Items available for loan: [Call number: 794.10285 F893] (1).
3. 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).
4. 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).
5. 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).
6. 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).
7. 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).
8. Automata-theoretic aspects of formal power series

by Salomaa Arto | Soittola Matti [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New york Springer-Verlag 1978Availability: Items available for loan: [Call number: 629.891 Sa173] (1).
9. 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).
10. 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).
11. Computational geometry an introduction

by Preparata Franco P | Shamos Michael Ian [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 1985Availability: Items available for loan: [Call number: 516.02854 P927] (1).
12. 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).
13. First-order logic and automated theorem proving / Melvin Fitting.

by Fitting, Melvin.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1990Availability: Items available for loan: [Call number: 005.131 F547] (1).
14. Predicate calculus and program semantics / Edsger W. Dijkstra and Carel S. Scholten.

by Dijkstra, Edsger W | Scholten, Carel S.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1990Availability: Items available for loan: [Call number: 005.1015113 D575] (1).
15. 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