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
	7961.	No cover image available Fuzzy logic in aritficial intelligence : proceedings by Slany W Australian Artificial Intiligence Conference( 8th : 1993 : Linz ) Australian Artificial Intiligence Conference 8th Linz, 1993 Series: Lecture notes in artificial intelligence, 695 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 Au938(8). Place hold Add to cart (remove)
	7962.	No cover image available Computer-aided verification : proceedings by Courcoubetis Costas International Conference on Computer Aided Verification( 5th : 1993 : Elounda, Greece ) International Conference on Computer Aided Verification 5th Elounda, Greece 1993 Series: Lecture notes in computer science, 697 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(93). Place hold Add to cart (remove)
	7963.	No cover image available Methodologies for intelligent systems : proceedings by Ras Z W International Symposium on Methodologies for Intelligent Systems( 7th : 1993 : Norway ) International Symposium on Methodologies for Intelligent Systems 7th , Norway 1993 Series: Lecture notes in computer science, 689 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)
	7964.	Symbolic and uncertainty : proceedings by Clarke Michael ed European Conference on Symbolic and Quantitative Approach to Reasoning and uncertainty( 1993 : Granada ) European Conference on Symbolic and Quantitative Approach to Reasoning and uncertainty Granada, 1993 Series: Lecture notes in computer science,747 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: 511.3 Eu89(93). Place hold Add to cart (remove)
	7965.	No cover image available Stability problems for sticastic models proceedings by Kalashnikov V V ed International Seminar on Stability Problems for Stocastic Models (4th : Suzdal : 1991) International Seminar on Stability Problems for Stocastic Models Suzdal, Russia 1991 Series: lecture notes in mathematics; v 1546 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlion Springer Verlag 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 519.2 In61St(91). Place hold Add to cart (remove)
	7966.	ECOOP : proceedings by Nierstrasz O M European Conference on Object Oriented Programming( 7th : 1993 : Germany ) European Conference on Object Oriented Programming 7th , Germany 1993 Series: Lecture notes in computer science, v 707 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.117 Eu89(93). Place hold Add to cart (remove)
	7967.	No cover image available Fundamentals of Computation Theory : proceedings by Esik Zoltan International Conference on Fundamentals of Computation Theory( 9th : 1993 : Hungary ) International Conference on Fundamentals of Computation Theory 9th , Hungary 1993 Series: Lecture notes in computer science, 701 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 In61(9). Place hold Add to cart (remove)
	7968.	No cover image available Algorithms and data structures : proceedings by Dehne Frank Workshop on Alogrithms and Data Structures( 3rd : 1993 : Montreal ) Workshop on Alogrithms and Data Structures 3rd Montreal, 1993 Series: Lecture notes in computer science, v 709 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.73 W926Al(93). Place hold Add to cart (remove)
	7969.	Experimental software engineering issues : critical assessment and future directions : proceedings by Dieter-Rombach H International Workshop on Critical Assessment and Future Directions for Experimental Software engineering( 1992 : Germany ) International Workshop on Critical Assessment and Future Directions for Experimental Software engineering , Germany 1992 Series: Lecture notes in computer science, 706 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 In61. Place hold Add to cart (remove)
	7970.	No cover image available Field-programmable gate arrays : architectures and tools for rapid prototyping : proceedings by International Workshop on Field-Programmable Logic and Applications( 2nd : 1992 : Vienna ) International Workshop on Field-Programmable Logic and Applications 2nd Vienna, 1992 Series: Lecture notes in computer science, 705 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlib Springer Verlag 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4.22 In61(2). Place hold Add to cart (remove)
	7971.	TAPOSOFT '93 : proceedings by Jouannaud J P International Joint Conference CAAP/FASE on Theory and Practice of Software Development( 4th : 1993 : France ) International Joint Conference CAAP/FASE on Theory and Practice of Software Development 4th , France 1993 Series: Lecture notes in computer science, v 668 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.3 In61T(93). Place hold Add to cart (remove)
	7972.	Mathematics of program construction : proceedings by Bird R S International Conference on the Mathematics of Program Construction( 2nd : 1992 : oxford ) International Conference on the Mathematics of Program Construction 2nd Oxford, 1992 Series: Lecture notes in computer science, 669 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.3 In61(92). Place hold Add to cart (remove)
	7973.	No cover image available Industrial stength formal methods : proceedings by Woodcock J C P International Symposium on Formal Methods Europe( 1st : 1993 : Denmark ) International Symposium on Formal Methods Europe 1st , Denmark 1993 Series: Lecture notes in computer science, v 670 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 In61F(93). Place hold Add to cart (remove)
	7974.	No cover image available Applied algebra,algebraic algorithms and error correcting codes : proceedings by Cohen Gerard International Conference on Applied Algebra,Algebraic Algorithms and Error Correcting Codes( 10th : 1993 : San Juan de Puerto Rico ) International Conference on Applied Algebra,Algebraic Algorithms and Error Correcting Codes 10th San Juan de Puerto Rico , 1993 Series: Lecture notes in computer science, 673 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.72 In61(10). Place hold Add to cart (remove)
	7975.	No cover image available Application and theory of petri nets proceedings by Grzegorz Rozenberg ed International Conference on Application and Theory of Petri Nets( 12th : 1991 : Denmark ) Series: Lecture notes in computer science; 674 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: 511.3 In61(12). Place hold Add to cart (remove)
	7976.	No cover image available Word equations and related topics : proceedings by Abdulrab Habib International Workshop on Word Equations and Related Topics( 2nd : 1991 : France ) International Workshop on Word Equations and Related Topics 2nd , France 1991 Series: Lecture notes in computer science, 677 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 In61w(2). Place hold Add to cart (remove)
	7977.	Language and compilers for parallel computing : proceedings by Banerjee U International Workshop on Languages and Compilers for Parallel computing( 5th : 1992 : New Haven ) International Workshop on Languages and Compilers for Parallel computing 5th New Haven, 1992 Series: Lecture notes in computer science, 757 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.35 In61L(5). Place hold Add to cart (remove)
	7978.	No cover image available Information and knowledge management expanding the difinition of database : proceedings by Finin T W International Conference on Information and Knowledge Management( 1st : 1992 : Baltimore ) International Conference on Information and Knowledge Management 1st Baltimore, 1992 Series: Lecture notes in computer science, 752 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.331 In61(88). Place hold Add to cart (remove)
	7979.	No cover image available Conceptual structures : theory and implementation : proceedings by Nagle E Workshop on Conceptual Graphs( 7th : 1992 : Las Cruces ) Workshop on Conceptual Graphs 7th Las Cruces, 1992 Series: Lecture notes in computer science, v 754 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.33 W926(92). Place hold Add to cart (remove)
	7980.	No cover image available Human computer interaction : selected papers by Bass L J International Conference on Human Computer Interaction( 3rd : 1993 : Moscow ) International Conference on Human Computer Interaction 3rd Moscow, 1993 Series: Lecture notes in computer science, 753 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.019 In61Hu(3). 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.