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
1.
No cover image available
Alternating sequential/parallel processing by Series: Lecture notes in computer science, v 127
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 W195.
Place hold Add to cart
2.
Analytical description of CHILL,the CCITT high level language by Series: Lecture notes in computer science, v 128
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B821.
Place hold Add to cart
3.
Verifying concurrent progresses using temporal logic / Brent T. Hailpern. by Series: v 129 | Lecture notes in computer science ; v. 129
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer Verlag , 1982
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 005.131 H151, ...
Place hold Add to cart
4.
Axiomatising the logic of computer programming / Goldblatt, Robert. by Series: Lecture notes in computer science ; v. 130
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer Verlag , 1982
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 005.13 G618, ...
Place hold Add to cart
5.
Database design techniques v 1 : requirements and logical structures by Series: Lecture notes in computer science, v 132
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.74 D232.
Place hold Add to cart
6.
No cover image available
Group theoretic algorithms and graph isomorphism by Series: Lecture notes in computer science, v 136
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 H699.
Place hold Add to cart
7.
Introduction to the PL/CV2 programming logic by Series: Lecture notes in computer science, v 135
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 C756.
Place hold Add to cart
8.
Attribute grammar for the semantic analysis of Ada by Series: Lecture notes in computer science, v 139
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 D787.
Place hold Add to cart
9.
GAG : a practical compiler generator by Series: Lecture notes in computer science, v 141
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.453 K19.
Place hold Add to cart
10.
CONLAN report by Series: Lecture notes in computer science, v 151
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1983
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 P643.
Place hold Add to cart
11.
Manual by Series: Lecture notes in computer science, v 155
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1983
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 P964.
Place hold Add to cart
12.
Design of dynamic data structures by Series: Lecture notes in computer science, 156
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1983
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.73 Ov96.
Place hold Add to cart
13.
No cover image available
Direct methods for sparse matrics by Series: Lecture notes in computer science; 157
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1983
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512.9434 Os85.
Place hold Add to cart
14.
No cover image available
DIANA : an intermediate language for ADA,revised version by Series: Lecture notes in computer science, 161
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1983
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 G659.
Place hold Add to cart
15.
IOTA programming system : a modular programming environment by Series: Lecture notes in computer science, 160
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1983
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 N163.
Place hold Add to cart
16.
No cover image available
Large sparse numerical optimization by Series: Lecture notes in computer science ; 165
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 519.7 C692.
Place hold Add to cart
17.
No cover image available
VLSI engineering beyond software engineering by Series: Lecture notes in computer science; 163
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 621.38173 K96.
Place hold Add to cart
18.
No cover image available
p functions and boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms by Series: Lecture notes in computer science, 175
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004 T373.
Place hold Add to cart
19.
Programming languages and their definition : selected papers by Series: Lecture notes in computer science, 177
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B424.
Place hold Add to cart
20.
No cover image available
How to multiply matrices faster by Series: lecture notes in computer science; 179
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin springer Verlag 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512.9434 P187.
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