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

|
1. 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).
2. 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).
3. 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).
4. 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).
5. 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).
6. 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).
7. 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).
8. 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).
9. 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).
10. 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).
11. 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).
12. 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).
13. 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).
14. 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).
15. Advanced techniques for microprocessor systems

by Hanna F K [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: 1980Availability: Items available for loan: [Call number: 004.16 H243] (1).
16. Introduction to mini & micro computers

by Monds Fabian | Mclaughlin Robert [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Stevenage Peter Peregrinus 1981Availability: Items available for loan: [Call number: 004.16 M741] (1).
17. Computer power and human reason : from judgement to calculation

by Weizenbaum Joseph.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: San Francisco W H Freeman 1976Availability: Items available for loan: [Call number: 004 W436] (1).
18. Microprocessor applications handbook

by Stout D F [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y McGraw Hill 1982Availability: Items available for loan: [Call number: 004.16 St889] (1).
19. Computer arithmetic in theory and practice

by Kulisch U W | Miranker W L [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Academic Press 1981Availability: Items available for loan: [Call number: 004.0151 K96] (1).
20. Attribute grammar for the semantic analysis of Ada

by Drossopoulou J U S.

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