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

|
81. Schaum's outline of theory and problems of programming with basic

by Gottfried B S.

Edition: 2nd edMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Delhi McGraw Hill 1982Availability: Items available for loan: [Call number: 005.133 G685] (1).
82. Negation and control in PROLOG

by Naish Lee.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1986Availability: Items available for loan: [Call number: 005.133 N158] (1).
83. Mathematical foundations of programming semantics : proceedings

by Melton Austin [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1986Availability: Items available for loan: [Call number: 005.13 M528] (1).
84. Algebraic methods in semantics

by Nivat Maurice | Reynolds J C eds [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge C U P 1985Availability: Items available for loan: [Call number: 005.13 N734] (1).
85. Lisp lore : guide to programming the lisp machine

by Bromley Hank.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston Kluwer Academic Pub 1986Availability: Items available for loan: [Call number: 005.133 B868] (1).
86. ANNA : a language for annotating ADA programs : reference manual

by Luckham D C.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1987Availability: Items available for loan: [Call number: 005.133 L941] (1).
87. Review of ADA tasking

by Burns Alan | Lister A M [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1987Availability: Items available for loan: [Call number: 005.133 B967] (1).
88. Computation theory and logic

by Borger Egon [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1987Availability: Items available for loan: [Call number: 005.131 B732] (1).
89. Programming in common LISP

by Brooks R A.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y John Wiley 1985Availability: Items available for loan: [Call number: 005.133 B873] (1).
90. PORTAL language description

by Businger Arnold.

Edition: 2nd edMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1988Availability: Items available for loan: [Call number: 005.133 B979] (1).
91. Data structured using PASCAL

by Tenenbaum A M | Augenstein M J [Auth.].

Edition: 2nd edMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: N J Prentice Hall 1986Availability: Items available for loan: [Call number: 005.133 T292] (1).
92. Programming in micro PROLOG

by de Saram Hugh.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Delhi Affiliated East West Press 1988Availability: Items available for loan: [Call number: 005.133 Sa243] (1).
93. Professional programmers guide to C

by McKay Pat.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Pitman 1989Availability: Items available for loan: [Call number: 005.133 M153] (1).
94. Professional programmers guide to FORTRAN 77

by Page C G.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Pitman 1988Availability: Items available for loan: [Call number: 005.133 P132] (1).
95. C for professional programmers

by Tizzard Keith.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Delhi Affiliated East West Press 1988Availability: Items available for loan: [Call number: 005.133 T625] (1).
96. Programming in C for UNIX

by Schirmer C.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Delhi Affiliated East west Press 1988Availability: Items available for loan: [Call number: 005.133 Sch337] (1).
97. Introduction to LISP

by Narayanam A | Sharkey N E [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Delhi Affiliated East West Press 1985Availability: Items available for loan: [Call number: 005.133 N218] (1).
98. Temporal logic in specification

by Banieqbal B [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1989Availability: Items available for loan: [Call number: 005.131 B217] (1).
99. LOGLAN '88 - report on the programming language

by Kreczmar Antoni | Salwicki Andrzej [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1990Availability: Items available for loan: [Call number: 005.133 K92] (1).
100. Applications programming in C

by Johnsonbaugh Richard | Kalin Martin [Auth.].

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