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

|
1. 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).
2. 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).
3. 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).
4. 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).
5. 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).
6. 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).
7. 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).
8. CONLAN report

by Piloty Robert.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1983Availability: Items available for loan: [Call number: 005.13 P643] (1).
9. DIANA : an intermediate language for ADA,revised version

by Goos G [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1983Availability: Items available for loan: [Call number: 005.13 G659] (1).
10. p functions and boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms

by Thayse Andre.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1984Availability: Items available for loan: [Call number: 004 T373] (1).
11. Programming languages and their definition : selected papers

by Jones C B | Bekic H [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1984Availability: Items available for loan: [Call number: 005.13 B424] (1).
12. Munich project CIP v 1 : wide spectrum language CIPL

by Bauer F L.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1985Availability: Items available for loan: [Call number: 005.1 B344] (1).
13. Survey of verification techniques for parallel programs

by Barringer Howard.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1985Availability: Items available for loan: [Call number: 004.35 B276] (1).
14. Hierarchical associative processing system

by Stuttgen H J.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1985Availability: Items available for loan: [Call number: 004.35 St937] (1).
15. PORTAL language description

by Businger Arnold.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1985Availability: Items available for loan: [Call number: 005.133 B979] (1).
16. Study in string processing languages

by Klint Paul.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1985Availability: Items available for loan: [Call number: 005.13 K65] (1).
17. Complexity and structure

by Schoning Uwe.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1986Availability: Items available for loan: [Call number: 004.0151 Sch371] (1).
18. LUCAS associative array processor design,programming and application studies

by Fernstrom Christer | Kruzela Ivan [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1986Availability: Items available for loan: [Call number: 004.35 F366] (1).
19. Programs as data objects

by Ganzinger Harald | Jones N D eds [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer 1986Availability: Items available for loan: [Call number: 005.3 G211] (1).
20. Concepts in user interfaces : a reference model for command and response languages

by Beech David | IFIP Working Group 2.7.

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