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
Results
81.
Meta level control for deductive database systems by Series: Lecture notes in computer science, 479
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.33 Sch351.
82.
Baltic computer science : selected papers by Series: Lecture notes in computer science, 502
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 B296.
83.
Onthe computational geometry of pocket maching by Series: Lecture notes in computer science, 500
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.01516 H474.
84.
Algebraic system specification and development a survey and annotated bibliography by Series: Lecture notes in computer science; v 501
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.518 B585.
85.
Algebraic methods 2 : theory,tools and applications by Series: Lecture notes in computer science, 490
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.0151 B499.
86.
Problem of incomplete information in relational databases by Series: Lecture notes in computer science, 554
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.756 G742.
87.
Temporally distributed symptoms in technical diagnosis by Series: Lecture notes in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.33 N785.
88.
Conclog : a methodological approach to concurrent logic programming by Series: Lecture notes in computer science, 556
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 J19.
89.
Specification and compositional verification of real-time systems by Series: Lecture notes in computer science, v 558
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.273 H785.
90.
Fundamental algorithms for permutation groups by Series: Lecture notes in computer science, v 559
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 B985.
91.
Unified approach to interior point algorithms for linear complementarity problems by Series: Lecture notes in computer science ; 538
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 519.7 K79.
92.
Methods of programming by Series: Lecture notes in computer science, 544
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 B885.
93.
Processing declarative knowledge : proceedings by Series: Lecture notes in computer science, v 567
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 B688.
94.
Algebraic specification techniques in object oriented programming environments by Series: Lecture notes in computer science, 562
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.117 B846.
95.
Stability theory of stream ciphers by Series: Lecture notes in computer science, v 561
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.82 C973.
96.
Use of projective geometry in computer graphics by Series: Lecture notes in computer science, 564
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.6 H551.
97.
Axioms and hulls by Series: Lecture notes in computer science, v 606
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.01516 K74.
98.
Data structures and efficient algorithms by Series: Lecture notes in computer science, 594
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.73 M744.
99.
Nested universal relation data base model by Series: Lecture notes in computer science, v 595
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.756 L657.
100.
Parallel execution of prolog by Series: Lecture notes in computer science, v 586
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 C517.
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