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 907 results.

Sort
Results
Alternating sequential/parallel processing

by Wallach Y.

Series: Lecture notes in computer science, v 127Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982Availability: Items available for loan: 1 Call number: 004.35 W195.
Analytical description of CHILL,the CCITT high level language

by Branquart Paul | Louis Georges [Auth.] | Wodon Pierre [Auth.].

Series: Lecture notes in computer science, v 128Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982Availability: Items available for loan: 1 Call number: 005.13 B821.
Verifying concurrent progresses using temporal logic / Brent T. Hailpern.

by Hailpern Brent T.

Series: v 129 | Lecture notes in computer science ; v. 129Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer Verlag , 1982Availability: Items available for loan: 2 Call number: 005.131 H151, ...
Axiomatising the logic of computer programming / Goldblatt, Robert.

by Goldblatt, Robert.

Series: Lecture notes in computer science ; v. 130Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer Verlag , 1982Availability: Items available for loan: 2 Call number: 005.13 G618, ...
Database design techniques v 1 : requirements and logical structures

by Yao S B [ed.].

Series: Lecture notes in computer science, v 132Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982Availability: Items available for loan: 1 Call number: 005.74 D232.
Group theoretic algorithms and graph isomorphism

by Hoffmann C M.

Series: Lecture notes in computer science, v 136Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982Availability: Items available for loan: 1 Call number: 005.1 H699.
Introduction to the PL/CV2 programming logic

by Constable R L | Johnson S D [Auth.].

Series: Lecture notes in computer science, v 135Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982Availability: Items available for loan: 1 Call number: 005.131 C756.
Attribute grammar for the semantic analysis of Ada

by Drossopoulou J U S.

Series: Lecture notes in computer science, v 139Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982Availability: Items available for loan: 1 Call number: 005.131 D787.
GAG : a practical compiler generator

by Kastens Uwe | Hutt Brigitte [Auth.].

Series: Lecture notes in computer science, v 141Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982Availability: Items available for loan: 1 Call number: 005.453 K19.
CONLAN report

by Piloty Robert.

Series: Lecture notes in computer science, v 151Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1983Availability: Items available for loan: 1 Call number: 005.13 P643.
Manual

by Programming language ADA : reference.

Series: Lecture notes in computer science, v 155Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1983Availability: Items available for loan: 1 Call number: 005.133 P964.
Design of dynamic data structures

by Overmars M H.

Series: Lecture notes in computer science, 156Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1983Availability: Items available for loan: 1 Call number: 005.73 Ov96.
Direct methods for sparse matrics

by Osterby Ole | Zlatev Zahari [Auth.].

Series: Lecture notes in computer science; 157Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1983Availability: Items available for loan: 1 Call number: 512.9434 Os85.
DIANA : an intermediate language for ADA,revised version

by Goos G [ed.].

Series: Lecture notes in computer science, 161Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1983Availability: Items available for loan: 1 Call number: 005.13 G659.
IOTA programming system : a modular programming environment

by Nakajima R | Yuasa T [ed.].

Series: Lecture notes in computer science, 160Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1983Availability: Items available for loan: 1 Call number: 005.133 N163.
Large sparse numerical optimization

by Coleman T F.

Series: Lecture notes in computer science ; 165Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1984Availability: Items available for loan: 1 Call number: 519.7 C692.
VLSI engineering beyond software engineering

by Kunii T L [ed.].

Series: Lecture notes in computer science; 163Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1984Availability: Items available for loan: 1 Call number: 621.38173 K96.
p functions and boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms

by Thayse Andre.

Series: Lecture notes in computer science, 175Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1984Availability: Items available for loan: 1 Call number: 004 T373.
Programming languages and their definition : selected papers

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

Series: Lecture notes in computer science, 177Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1984Availability: Items available for loan: 1 Call number: 005.13 B424.
How to multiply matrices faster

by Pan Victor.

Series: lecture notes in computer science; 179Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin springer Verlag 1984Availability: Items available for loan: 1 Call number: 512.9434 P187.
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



Hosted, Implemented & Customized by: BestBookBuddies

Powered by Koha