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

Your search returned 8934 results.

Results
	7941.	No cover image available IPMU'92-Advanced methods in artificial intelligence : proceedings by Bouchon Meunier International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems( 4th : 1992 : Spain ) International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems 4th , Spain 1992 Series: Lecture notes in computer science, v 682 Material type: 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: 6.3 In61. Place hold Add to cart (remove)
	7942.	No cover image available Advances in cryptology-EUROCRYPT '92 : proceedings by Rueppel R A Workshop on the Theory and Application of Cryptographic Techniques( 1992 : Hungary ) Workshop on the Theory and Application of Cryptographic Techniques , Hungary 1992 Series: Lecture notes in Computer science, 658 Material type: 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: 5.82 W926(92). Place hold Add to cart (remove)
	7943.	Future tendencies in computer science control and applied mathematics : proceedings by Bensoussan A International Conference on Research in Computer Science and Control( 1992 : Paris ) International Conference on Research in Computer Science and Control Paris, 1992 Series: Lecture notes in computer science, 653 Material type: 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: 4 In61(92). Place hold Add to cart (remove)
	7944.	No cover image available Extensions of logic programming : proceedings by Lamma E International Workshop on Extensions of Logic Programming( 3rd : 1992 : Bologna ) International Workshop on Extensions of Logic Programming 3rd Bologna, 1992 Series: Lecture notes in computer science, 660 Material type: 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: 5.115 In61(92). Place hold Add to cart (remove)
	7945.	No cover image available Automata,languages and programming : proceedings by Lingas A International Colloquium on Automata,Languages and Programming( 20th : 1993 : Sweden ) International Colloquium on Automata,Languages and Programming 20th , Sweden 1993 Series: Lecture notes in computer science, v 700 Material type: 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: 5.131 In61(93). Place hold Add to cart (remove)
	7946.	No cover image available Computer science logic : selected papers by Borger E Computer Science Logic Workshop( 6th : 1992 : Italy ) Computer Science Logic Workshop 6th , Italy 1992 Series: Lecture notes in computer science, 702 Material type: 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: 5.131 C738(6). Place hold Add to cart (remove)
	7947.	No cover image available Design and implementation of symbolic computation systems : proceedings by Fitch John International Workshop on Design and Implementation of Symbolic Computation Systems( 1992 : Bath ) International Workshop on Design and Implementation of Symbolic Computation Systems Bath, 1992 Series: Lecture notes in computer science, v 721 Material type: 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: 5.131 In61(92). Place hold Add to cart (remove)
	7948.	Algorithms-EsA'93 : proceedings by Lengauer Thomas European Symposium on Algorithms( 1st : 1993 : Bad Honnef ) European Symposium on Algorithms 1st Bad Honnef, 1993 Series: Lecture notes in computer science, 726 Material type: 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: 5.1 Eu89(93). Place hold Add to cart (remove)
	7949.	Recent trends in data type specification : selected papers by Bidoit M Workshop on Specification of Abstract Data Type( 8th : 1991 : France ) Workshop on Specification of Abstract Data Type 8th , France 1991 Series: Lecture notes in computer science, 655 Material type: 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: 5.7 W926(91). Place hold Add to cart (remove)
	7950.	Conditional term rewriting systems : proceedings by Rusinowitch M International Workshop on Conditional Term Rewriting Systems( 3rd : 1992 : France ) International Workshop on Conditional Term Rewriting Systems 3rd , France 1992 Series: Lecture notes in computer science, 656 Material type: 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: 5.42 In61(92). Place hold Add to cart (remove)
	7951.	No cover image available Nonmonotonic and inductive logic : proceedings by Brewka G International Workshop on Nonmonotonic and Inductive Logic( 2nd : 1991 : Germany ) International Workshop on Nonmonotonic and Inductive Logic 2nd , Germany 1991 Series: Lecture notes in computer science, v 659 Material type: 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: 5.131 In61(91). Place hold Add to cart (remove)
	7952.	No cover image available STACS 93 : proceedings by Enjalbert P Symposium on Theoretical Aspects of Computer Science( 10th : 1993 : Germany ) Symposium on Theoretical Aspects of Computer Science 10th , Germany 1993 Series: Lecture notes in computer science, 665 Material type: 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: 4 Sy989(93). Place hold Add to cart (remove)
	7953.	No cover image available Graph-theoretic concepts in computer science : proceedings by Mayr E W International Workshop on Graph-Theoretic Concepts in Computer Science( 18th : 1992 : Germany ) International Workshop on Graph-Theoretic Concepts in Computer Science 18th , Germany 1992 Series: Lecture notes in computer science, 657 Material type: 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: 4.0151 In61(92). Place hold Add to cart (remove)
	7954.	No cover image available Typed lamda calculi and applications : proceedings by Bezem M International Workshop on Typed Lamda Calculi and Applications( 1st : 1993 : Netherlands ) International Workshop on Typed Lamda Calculi and Applications 1st , Netherlands 1993 Series: Lecture notes in computer science, 664 Material type: 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: 4.0151 In61(92). Place hold Add to cart (remove)
	7955.	No cover image available Computer-aided verification : proceedings by Bochmann G V International Conference on Computer Aided Verification( 4th : 1992 : Montreal ) International Conference on Computer Aided Verification 4th Montreal, 1992 Series: Lecture notes in computer science, 663 Material type: 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: 5.14 In61(92). Place hold Add to cart (remove)
	7956.	No cover image available Machine learning : ECML -93 : proceedings by Brazdil P B European Conference on Machine Learning( 1993 : Vienna ) European Conference on Machine Learning Vienna, 1993 Series: Lecture notes in artificial intelligence, 667 Material type: 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: 6.31 Eu89(93). Place hold Add to cart (remove)
	7957.	No cover image available GWAI-94 : advances in artificial intelligence : proceedings by Ohlbach H J Conference on Artificial intelligence( 16th : 1992 : Bonn,Germany ) Conference on Artificial intelligence 16th Bonn, Germany 1992 Series: Lecture notes in artificial intelligence, 671 Material type: 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: 6.3 G373(16). Place hold Add to cart (remove)
	7958.	ADA : Europe '93 : proceedings by Gauthier Michel ADA-Europe International Conference on ADA San Frontiers( 12th : 1993 : Paris ) ADA-Europe International Conference on ADA San Frontiers 12th Paris, 1993 Series: Lecture notes in computer science, 688 Material type: 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: 5.133 Ad191(93). Place hold Add to cart (remove)
	7959.	No cover image available Correct hardware design and verification methods proceedings by Milne G J Ed IFIP WG 10.2 Advanced Research Working Conference(1993 : Arles) , France Series: Lecture notes in computer science ; no.683) Material type: 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: 621.381952 In61(93). Place hold Add to cart (remove)
	7960.	Algebraic and logic programming : proceedings by Voronkov Andrei International Conference on Logic Programming and Automated Reasoning( 4th : 1993 : St Petersburg ) International Conference on Logic Programming and Automated Reasoning 4th St Petersburg, 1993 Series: Lecture notes in computer science, 698 Material type: 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: 5.115 In61(4). Place hold Add to cart (remove)

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

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 8934 results.