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
41.
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
42.
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
43.
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
44.
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
45.
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
46.
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
47.
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
48.
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
49.
No cover image available
PORTAL language description by Series: Lecture notes in computer science, 198
Edition: 2nd ed
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.133 B979.
Place hold Add to cart
50.
No cover image available
Attribute grammars : definitions,systems and bibliography by Series: Lecture notes in computer science, 323
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 D427.
Place hold Add to cart
51.
Modern cryptology by Series: Lecture notes in computer science, 325
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: N Y Springer Verlag 1988
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.82 B823.
Place hold Add to cart
52.
Efficient structures for geometric data management by Series: Lecture notes in computer science, v 337
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.74 G977.
Place hold Add to cart
53.
Translatic relational queries into lterative programs by Series: Lecture notes in computer science, 261
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 F895.
Place hold Add to cart
54.
Metasoft primer : towards a metalanguage for applied denotational semantics by Series: Lecture notes in computer science, 288
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 B648.
Place hold Add to cart
55.
Software reliability modelling and identification : lectures by Series: Lecture notes in computer science
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.1 B624.
Place hold Add to cart
56.
No cover image available
Error detection and recovery in robotics by Series: Lecture notes in computer science; v.336
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 629.892 D675.
Place hold Add to cart
57.
No cover image available
Compositionality concurrency and partial correctness : proof theories for networks of processes, and their relationship by Series: Lecture notes in computer science, 321
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.3 Z98.
Place hold Add to cart
58.
No cover image available
Global optimization by Series: Lecture notes in computer science, v.350
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 519.3 T685.
Place hold Add to cart
59.
No cover image available
Algorithms for parallel polygon rendering by Series: Lecture notes in computer science, v 373
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 T391.
Place hold Add to cart
60.
No cover image available
Synthesizing synchronous systems, by static scheduling in space-time by Series: Lecture notes in computer science, 362
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.2 L771.
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