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

Sort
Results
781.
Eurocode '90 proceedings by Series: Lecture notes in computer science; 514
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: 3.54 In61(90).
782.
ECOOP : proceedings by Series: Lecture notes in computer science, 512
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: 5.117 Eu89(5).
783.
Automata,languages and programming : proceedings by Series: Lecture notes in computer science, v 510
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: 5.131 In61(18).
784.
Information processing in medical imaging proceedings by Series: Lecture notes in computer science; 511
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: 616.0754 In61(12).
785.
Conditional and typed rewriting systems : proceedings by Series: Lecture notes in computer science, v 516
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: 5.42 In61CTRS(2).
786.
Mathematical foundation of computer science : proceedings by Series: Lecture notes in Computer science, v 520
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: 4.0151 In61m(16).
787.
Fundamentals of artificial intelligence : proceedings by Series: Lecture notes in computer science, 535
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: 6.3 In61(91).
788.
Theoretical aspects of computer software : proceedings by Series: Lecture notes in computer science, 526
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: 5.3 In61(1).
789.
Concurrency theory: concur'91 proceedings by Series: Lecture notes in computer science; 527
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: 4.36 In61c(2).
790.
General topology and applications : Proceedings by Series: Lecture notes in mathematics, 134
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: N Y Marcel Dekker 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 514.322 N874(5).
791.
Proceedings by Series: Lecture notes in artificial intelligence, v 522
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: 6.3 Eu89.
792.
Computer science logic : proceedings by Series: Lecture notes in computer science, 533
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: 5.131 W926(4).
793.
Graph grammar and their application to computer science : proceedings by Series: Lecture notes in computer science, v 532
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: 5.131 In61(4).
794.
Recent trends in data type specification : proceedings by Series: Lecture notes in computer science, 534
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: 5.7 W926(7).
795.
Functional programming languages and computer architecture : proceedings by Series: Lecture notes in computer science, 523
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: 5.114 C748(5).
796.
Computer-aided verification : proceedings by Series: Lecture notes in computer science, 531
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: 5.14 In61(2).
797.
Category theory and computer science : proceedings by Series: Lecture notes in computer science, 530
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: 4.0151 Su955(4).
798.
Fundamentals of computation theory : proceedings by Series: Lecture notes in Computer Science, 529
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: 4 In61(8).
799.
800.
VDM '91, formal software development methods : proceedings v 2 : tutorials by Series: Lecture notes in computer science, 552
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: 5.3 In61(4).
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