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

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
101.
Introduction to mathematical logic and type theory : to truth through proof by Series: Computer science and applied mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Orlando Academic Press 1986
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.3 An565, ...
Place hold Add to cart
102.
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
103.
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
104.
No cover image available
Natural language interface for computer-aided design by Series: Kluwer international series in engineering and computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Kluwer Academic 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 620.040285 Sa187.
Place hold Add to cart
105.
No cover image available
Artificial intelligence approach to VLSI routing by Series: Kluwer international series in engineering and computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Kluwer Academic 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 621.38173 J81.
Place hold Add to cart
106.
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
107.
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
108.
Database machine performance : modeling methodologies and evaluation strategies by Series: Lecutre notes in computer science, 257
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.74 C421.
Place hold Add to cart
109.
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
110.
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
111.
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
112.
No cover image available
From logic design to logic programming : theorem proving techniques and P-functions by Series: Lecture notes in computer science, 271
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.115 Sn675.
Place hold Add to cart
113.
Connotational theory of program structure by Series: Lecture notes in computer science, 273
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.3 R891.
Place hold Add to cart
114.
No cover image available
Prolog programming for artificial intelligence by Series: International computer science series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Wokingham Addison Wesley 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 B824.
Place hold Add to cart
115.
No cover image available
Systems of reductions by Series: Lecture notes in computer science, v 277
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 B469.
Place hold Add to cart
116.
No cover image available
Embedded systems ; new approaches to their formal description and design by Series: Lecture notes in computer science; v.284
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: 621.381952 K96.
Place hold Add to cart
117.
No cover image available
Semantics of digital circuits by Series: Lecture notes in computer science ; no.285
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: 621.3819535 K66.
Place hold Add to cart
118.
No cover image available
Co-op by Series: Lecture notes in computer science; v 290
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: 658.4032 B932.
Place hold Add to cart
119.
Munich project CIP v 2 : Program transformation system CIP-S by Series: Lecture notes in computer science, 292
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.1 B344.
Place hold Add to cart
120.
Attribute grammar inversion and source-to-source translation by Series: Lecture notes in computer science, v 302
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1988
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 Ye43.
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