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
101.
Computer aided systems theory- EUROCAST'91 by Series: Lecture notes in computer science; v.585
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: 003.3 P591(91).
102.
Modular construction and partial order semantics of petri nets by Series: Lecture notes in computer science; v 625
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: 511.3 V884.
103.
Specifying message passing and time critical systems with temporal logic by Series: Lecture notes in computer science, v 651
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.131 K88.
104.
Hyperedge replacement : grammars and languages by Series: Lecture notes in computer science, v 643
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.131 H113.
105.
MOSIX distributed operating system : load balancing for UNIX by Series: Lecture notes in computer science, v 672
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.4476 B224.
106.
Live data structures in logic programs : derivation by means of abstract interpretation by Series: Lecture notes in computer science, v 675
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 M957.
107.
Recognizing planar objects using inveriant image features by Series: Lecture notes in computer science, v 676
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.37 R378.
108.
Program development by specification and transformation : the PROSPECTRA methodology,language family, and system by Series: Lecture notes in computer science, v 680
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.14 H699.
109.
Ray shooting,depth orders and hidden surface removal by Series: Lecture notes in computer science, v 703
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.6 B493.
110.
Functional programming,concurrency,simulation and automated reasoning by Series: Lecture notes in computer science, 693
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.114 L372.
111.
Filtering,segmentation and depth by Series: Lecture notes in computer science, v 662
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.37 N733.
112.
Logdata + : deductive databases with complex objects by Series: Lecture notes in computer science, 701
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.33 At887(93).
113.
Generic development language deva : presentation and case studies by Series: Lecture notes in computer science, 738
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 W375.
114.
Meachine learning : from theory to applications by Series: Lecture notes in computer science, 661
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.31 H251.
115.
Design of hashing algorithms by Series: Lecture notes in computer science, 756
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.741 P614.
116.
Geometric reasoning for perception and action : selected papers by Series: Lecture notes in computer science, v 708
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 L374.
117.
An extended entity-relationship model : fundamentals and pragmatics by Series: Lecture notes in computer science, 767
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1994
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 G613.
118.
Advanced database systems by Series: Lecture notes in computer science, 759
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.74 Ad195.
119.
Towards dynamic randomized algorithms in computational geometry by Series: Lecture notes in computer science, 758
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.01516 T264.
120.
Formal program development : proceedings by Series: Lecture notes in computer science, 755
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.3 In61Fo.
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