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


Refine your search

Your search returned 919 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
No cover image available
Munich project CIP v 1 : wide spectrum language CIPL by Series: Lecture notes in computer science, 183
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 B344.
Place hold Add to cart
22.
PARAGON : language using type hierarchies for the specification implementation and selection of abstract data types by Series: Lecture notes in computer science, 189
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 Sh553.
Place hold Add to cart
23.
No cover image available
Survey of verification techniques for parallel programs by Series: Lecture notes in computer science, 191
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 B276.
Place hold Add to cart
24.
No cover image available
Hierarchical associative processing system by Series: Lecture notes in computer science, 195
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 St937.
Place hold Add to cart
25.
PORTAL language description by Series: Lecture notes in computer science, 198
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 B979.
Place hold Add to cart
26.
No cover image available
Trace theory and VLSI design by Series: Lecture notes in computer science; no.200
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 621.38173 Sn671.
Place hold Add to cart
27.
Study in string processing languages by Series: Lecture notes in computer science, v 205
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 K65.
Place hold Add to cart
28.
No cover image available
Complexity and structure by Series: Lecture notes in computer science, v 211
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.0151 Sch371.
Place hold Add to cart
29.
Interval mathematics by Series: Lecture notes in computer science; v 212
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.42 In61.
Place hold Add to cart
30.
No cover image available
LUCAS associative array processor design,programming and application studies by Series: Lecture notes in computer science, 216
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 F366.
Place hold Add to cart
31.
No cover image available
Programs as data objects by Series: Lecture notes in computer science, 217
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.3 G211.
Place hold Add to cart
32.
NEWCAT : parsing natural language using left associative grammar by Series: Lecture notes in computer science, v 231
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.45 H376.
Place hold Add to cart
33.
No cover image available
Concepts in user interfaces : a reference model for command and response languages by Series: Lecture notes in computer science, v 234
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.6 In61.
Place hold Add to cart
34.
No cover image available
Negation and control in PROLOG by Series: Lecture notes in computer science, v 238
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 N158.
Place hold Add to cart
35.
Mathematical foundations of programming semantics : proceedings by Series: Lecture notes in computer science, v 239
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 M528.
Place hold Add to cart
36.
No cover image available
Lectures on the complexity of bilinear problems by Series: Lecture notes in computer science, 245
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512 G876.
Place hold Add to cart
37.
No cover image available
Unobstructed shortest paths in polyhedral environments by Series: Lecture notes in computer science, 251
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.0151 Ak315.
Place hold Add to cart
38.
ANNA : a language for annotating ADA programs : reference manual by Series: Lecture notes in computer science, 260
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 L941.
Place hold Add to cart
39.
Review of ADA tasking by Series: Lecture notes in computer science, 262
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 B967.
Place hold Add to cart
40.
No cover image available
Computation theory and logic by Series: Lecture notes in computer science, 270
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 B732.
Place hold Add to cart
Pages
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