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
	8201.	No cover image available Logic programming and nonmonotonic reasoning proceedings by Dix Jurgen ed International Conference, LPNMR '97 on Logic Programming and Nonmonotonic Reasoning (4th : 28-31 Jul 1997 : Dagstuhl,Germany) International conference, LPNMR '97 on logic programming and nonmonotonic reasoning Dagstuhl, Germany 28-31 Jul 1997 Series: Lecture notes in computer science; Lecture notes in artificial intelligence; v 1265 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 In61. Place hold Add to cart (remove)
	8202.	No cover image available Inductive logic programming proceedings by Lavrac Nada ed International Workshop, ILP-97 on Inductive Logic Programming (7th : 17-20 Sep 1997 : Prague,Czech Republic) International workshop, ILP-97 on inductive logic programming Prague, Czech Republic 17-20 Sep 1997 Series: Lecture notes in computer science; Lecture notes in artificial intelligence; v 1297 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 In61. Place hold Add to cart (remove)
	8203.	Inductive logic programming selected papers by Muggleton Stephen ed International Workshop, ILP-96 on Inductive Logic Programming (6th : 26-28 Aug 1996 : Stockholm,Sweden) International Workshop, ILP-96 on inductive logic programming Stockholm, Sweden 26-28 Aug 1996 Series: Lecture notes in computer science; Lecture notes in artificial intelligence; v 1314 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 In61. Place hold Add to cart (remove)
	8204.	No cover image available Implementation of functional languages selected papers by Kluge Werner ed International Workshop, IFL'96 on Implementation of Functional Languages (8th : 16-18 Sep 1996 : Bad Godesberg,Germany) International Workshop, IFL'96 on implementation of functional languages Bad Godesberg, Germany 16-18 Sep 1996 Series: Lecture Notes in Computer Science; V 1268 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.114 In61. Place hold Add to cart (remove)
	8205.	No cover image available Category theory and computer science proceedings by Moggi Eugenio ed International Conference, CTCS '97 on Category Theory and Computer Science (7th : 4-6 Sep 1997 : Santa Margherita Ligure, Italy) International conference, CTCS '97 on category theory and computer science Santa Margherita Ligure, Italy 4-6 Sep 1997 Series: Lecture notes in computer science; v 1290 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4.0151 In61. Place hold Add to cart (remove)
	8206.	Algorithms and computation proceedings by Asano Tetsuo ed International Symposium, ISAAC'96 on Algorithms and Computation (7th : 16-18 Dec 1996 : Osaka,Japan) International Symposium, ISAAC'96 on algorithms and computation Osaka, Japan 16-18 Dec 1996 Series: Lecture Notes in Computer Science, v 1178 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.1 In61. Place hold Add to cart (remove)
	8207.	Computer science logic selected papers by Dalen Dirk van ed Annual Conference of the European Association for Computer Science Logic, CSL'96 (21-27 Sep 1996 : Utrecht,Netherlands) Annual conference of the European Association for Computer Science Logic, CSL'96 Utrecht, Netherlands 21-27 Sept 1996 Series: Lecture notes in computer science; v 1258 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 An613. Place hold Add to cart (remove)
	8208.	No cover image available Rewriting techniques and applications proceedings by Comon Hubert ed International Conference, RTA-97 on Rewriting Techniques and Applications (8th : 2-5 Jun 1997 : Sitges,Spain) International conference, RTA-97 on rewriting techniques and applications Sitges, Spain 2-5 Jun 1997 Series: Lecture notes in computer science; v 1232 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.1 In61. Place hold Add to cart (remove)
	8209.	Mathematical foundations of computer science proceedings by Privara Igor ed International Symposium, MFCS '97 on Mathematical Foundations of Computer Science (22nd : 25-29 Aug 1997 : Bratislava,Slovakia) International symposium, MFCS '97 on mathematical foundations of computer science Bratislava, Slovakia 25-29 Aug 1997 Series: Lecture notes in computer science; v 1295 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4.0151 In61. Place hold Add to cart (remove)
	8210.	Foundations of software technology and theoretical computer science proceedings by Conference on foundations of software technology and theoretical computer science (18-20 Dec 1997: Kharagpur, India) Ramesh S [ed.] Sivakumar G [ed.] Series: Lecture notes in computer science; v 1346 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 005.3 C748, ... Place hold Add to cart (remove)
	8211.	Algebraic methodology and software technology proceedings by Johnson Michael ed International Conference, AMAST'97 on Algebraic Methodology and Software Technology (6th : 13-17 Dec 1997 : Sydney,Australia) International conference, AMAST'97 on algebraic methodology and software technology Sydney, Australia 13-17 Dec 1997 Series: Lecture notes in computer science; v 1349 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.1 In61. Place hold Add to cart (remove)
	8212.	Computer vision - ECCV'98 proceedings by Burkhardt Hans ed European Conference on Computer Vision - ECCV'98 (5th : 2-6 Jun 1998 : Freiburg,Germany) European conference on computer vision - ECCV'98 Freiburg, Germany 2-6 Jun 1998 Series: Lecture notes in computer science; v 1407 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 6.3 Eu89. Place hold Add to cart (remove)
	8213.	Mathematics of program construction proceedings by Jeuring Johan ed International Conference, MPC'98 on Mathematics of Program Construction (4th : 15-17 Jun 1998 : Marstrand,Sweden) International conference, MPC'98 on mathematics of program construction Marstrand, Sweden 15-17 June 1998 Series: Lecture notes in computer science; v 1422 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.1 In61. Place hold Add to cart (remove)
	8214.	Algorithm theory - SWAT'98 proceedings by Arnborg Stefan ed Scandinavian Workshop on Algorithm Theory - SWAT'98 (6th : 8-10 Jul 1998 : Stockholm,Sweden) Scandinavian workshop on algorithm theory - SWAT'98 Stockholm, Sweden 8-10 Jul 1998 Series: Lecture notes in computer science; v 1432 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.1 Sc283. Place hold Add to cart (remove)
	8215.	Classification and knowledge organization proceedings by Klar Rudiger ed Annual Conference of the Gesellschaft Fur Klassifikation (20th : 6-8 Mar 1996 : Freiburg,Germany) Annual conference of the Gesellschaft Fur Klassifikation Freiburg, Germany 6-8 Mar 1996 Series: Studies in classification, data analysis, and knowledge organization Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 1.4 An615. Place hold Add to cart (remove)
	8216.	Data analysis and information systems; statistical and conceptual approaches proceedings by Bock Hans-Hermann ed Annual Conference of the Gesellschaft Fur Klassifikation on Data Analysis and Information Systems; Statistical and Conceptual Approaches (8-10 Mar 1995 : Basel,Switzerland) Annual Conference of the Gesellschaft Fur Klassifikation on data analysis and information systems; statistical and conceptual approaches Basel, Switzerland 8-10 Mar 1995 Series: Studies in classification, data analysis, and knowledge organization Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 000SA.05 An615. Place hold Add to cart (remove)
	8217.	Security protocols proceedings by Christianson Bruce ed International Workshop on Security Protocols (5th : 7-9 Apr 1997 : Paris,France) International workshop on security protocols Paris, France 7-9 Apr 1997 Series: Lecture notes in computer science; v 1361 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4.62 In61. Place hold Add to cart (remove)
	8218.	No cover image available Advances in Cryptology -Eurocrypt'98 proceedings by Nyberg Kaisa ed International Conference on the Theory and Application of Cryptographic Techniques (31 May - 4 Jun 1998 : Espoo,Finland) International conference on the theory and application of cryptographic techniques Espoo, Finland 31 May - June 4 1998 Series: Lecture notes in computer science; v 1403 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.82 In61. Place hold Add to cart (remove)
	8219.	No cover image available Combinatorics, complexity, and logic proceedings by Bridges D S ed International Conference on Discrete Mathematics and Theoretical Computer Science DMTCS'96 (Dec 1996 : Auckland,New Zealand) International conference on discrete mathematics and theoretical computer science Auckland, New Zealand Dec-96 Series: Springer series in discrete mathematics and theoretical computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Singapore Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.6 In61. Place hold Add to cart (remove)
	8220.	STACS 98 proceedings by Morvan Michel ed Annual Symposium on Theoretical Aspects of Computer Science STACS 98 (15th : 25-27 Feb 1998 : Paris,France) Annual symposium on theoretical aspects of computer science STACS 98 Paris, France 25-27 Feb 1998 Series: Lecture notes in computer science; v 1373 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.01 An615. 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.