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

|
1. Computer simulation 1951-1976 an index to the literature

by Holst Per.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Mansell 1979Availability: Items available for reference: [Call number: 016.51854 H756] (1).
2. Encyclopedia of computer science and technology v 16 : Index

by Belzer Jack | Holzman Albert G [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Marcel Dekker 1981Availability: Items available for reference: [Call number: REF/004.03 En56] (1).
3. Computer logic, testing and verification

by Roth J P.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Maryland Computer Science Press 1980Availability: Items available for loan: [Call number: 621.38195835 R845] (1).
4. Introduction to computer systems : using the PDP- 11 and PASCAL

by MacEwen G H.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y McGraw Hill 1980Availability: Items available for loan: [Call number: 005.133 M142] (1).
5. Mathematical logic in computer science

by Domolki B | Gergely T [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North Holland 1981Availability: Items available for loan: [Call number: 005.131 D673] (1).
6. Engineers' computer handbook

by Ryder R A.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Thomas Telford 1980Availability: Items available for loan: [Call number: 620.00285 R992] (1).
7. Introduction to microcomputing

by Newell S B.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Harper & Row 1982Availability: Items available for loan: [Call number: 004.16 N547] (1).
8. Parallel processes and related automata

by Knodel W | Schneider H J eds [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1981Availability: Items available for loan: [Call number: 004.35 K72] (2).
9. Alternating sequential/parallel processing

by Wallach Y.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 004.35 W195] (1).
10. Analytical description of CHILL,the CCITT high level language

by Branquart Paul | Louis Georges [Auth.] | Wodon Pierre [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.13 B821] (1).
11. Verifying concurrent progresses using temporal logic / Brent T. Hailpern.

by Hailpern Brent T.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer Verlag , 1982Availability: Items available for loan: [Call number: 005.131 H151] (2).
12. Axiomatising the logic of computer programming / Goldblatt, Robert.

by Goldblatt, Robert.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer Verlag , 1982Availability: Items available for loan: [Call number: 005.13 G618] (2).
13. introduction to the theory of error-correcting codes

by Pless Vera.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York John Wiley 1982Availability: Items available for loan: [Call number: 005.72 P726] (2). Checked out (1).
14. Theory and practice of microprocessors

by Nichols K G | Zuluska E J [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Crane Russak 1982Availability: Items available for loan: [Call number: 004.16 N616] (1).
15. Programming language concepts

by Ghezzi Carlo | Jazayeri Mehdi [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y John Wiley 1982Availability: Items available for loan: [Call number: 005.13 G421] (1).
16. Data base architecture

by Flores Ivan.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Van Nostrand Reinhold 1981Availability: Items available for loan: [Call number: 005.74 F634] (1).
17. Group theoretic algorithms and graph isomorphism

by Hoffmann C M.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.1 H699] (1).
18. Introduction to the PL/CV2 programming logic

by Constable R L | Johnson S D [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.131 C756] (1).
19. Software for roundoff analysis of matrix algorithms

by Miller Webb | Wrathall Celia [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Academic Press 1980Availability: Items available for loan: [Call number: 005.1 M652] (2).
20. Digital computer basics

by Bureau of Naval Personnel.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Dover 1969Availability: Items available for loan: [Call number: 004.11 B952] (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