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
	8021.	No cover image available Automated deduction : proceedings by Bundy Alan International Conference on Automated Deduction( 12th : 1994 : Nancy ) International Conference on Automated Deduction 12th Nancy, 1994 Series: Lecture notes in computer science, v 814 Material type: 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: 5.131 In61(94). Place hold Add to cart (remove)
	8022.	Compiler construction : proceedings by Fritzson P A International Conference on Compiler Construction( 5th : 1994 : Edinburgh ) International Conference on Compiler Construction 5th Edinburgh, 1994 Series: Lecture notes in computer science, 786 Material type: 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: 5.453 In61(5). Place hold Add to cart (remove)
	8023.	No cover image available Trees in algebra and programming CAAP'94 : proceedings by Tison Sophie International (joint) Colloquium on Trees in Algebra and Programming( 5th : 1994 : Edinburgh ) International (joint) Colloquium on Trees in Algebra and Programming 5th , 1994, Edinburgh Series: Lecture notes in computer science, 787 Material type: 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: 5.1 In61(94). Place hold Add to cart (remove)
	8024.	Programming languages and systems-ESOP'94 : proceedings by Sannelle Donald European Symposium on Programming( 5th : 1994 : Edinburgh ) European Symposium on Programming 5th Edinburgh, 1994 Series: Lecture notes in computer science, 788 Material type: 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: 5.13 Eu89(5). Place hold Add to cart (remove)
	8025.	No cover image available Application and theory of petri nets proceedings by Valette Robert ed International Conference on Application and Theory of Petri Nets( 15th : 1994 : Zaragoza ) Series: Lecture notes in computer science; 815 Material type: 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: 511.3 In61(15). Place hold Add to cart (remove)
	8026.	No cover image available Higher order algebra logic, adn term rewriting : proceedings by Heering Jan International Workshop on Higher Order Algebra Logic, adn Term Rewriting( 1st : 1993 : Amsterdam ) International Workshop on Higher Order Algebra Logic, adn Term Rewriting 1st Amsterdam, 1993 Series: Lecture notes in computer science, 816 Material type: 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: 5.115 In61(1). Place hold Add to cart (remove)
	8027.	No cover image available Parallel architecture and languages Europe : proceedings by Halatsis C International PARLE Conference( 6th : 1994 : Athens ) International PARLE Conference 6th Athens, 1994 Series: Lecture notes in computer science, 817 Material type: 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: 4.35 In61(6). Place hold Add to cart (remove)
	8028.	No cover image available Computer-aided verification : proceedings by Dill D L International Conference on Computer Aided Verification( 6th : 1994 : Standford ) International Conference on Computer Aided Verification 6th Standford, 1994 Series: Lecture notes in computer science, 818 Material type: 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: 5.14 In61(6). Place hold Add to cart (remove)
	8029.	Applications of database : proceedings by Litwin Witold International Conference on Applications of Database( 1st : 1994 : Sweden ) International Conference on Applications of Database 1st , Sweden 1994 Series: Lecture notes in computer science, 819 Material type: 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: 5.74 In61(1). Place hold Add to cart (remove)
	8030.	No cover image available Parallel and distributed computing : proceedings by Cosnard Michel Canada-France Conference on Parallel Computing( 1st : 1994 : Montreal ) Canada-France Conference on Parallel Computing 1st Montreal, 1994 Series: Lecture notes in computer science, 805 Material type: 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: 4.35 C212(1). Place hold Add to cart (remove)
	8031.	No cover image available Types for proofs and programs : proceedings by Barendregt Henk International Workshop on Types for Proofs and Programs( 1993 : Nijmegen ) International Workshop on Types for Proofs and Programs Nijmegen, 1993 Series: Lecture notes in computer science,806 Material type: 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: 4 In61(93). Place hold Add to cart (remove)
	8032.	No cover image available Combinatorial pattern matching : proceedings by Crochemore Maxime Symposium on Combinatorial Pattern Matching( 5th : 1994 : Asilomar ) Symposium on Combinatorial Pattern Matching 5th Asilomar, 1994 Series: Lecture notes in computer science, 807 Material type: 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: 6.4 Sy989(5). Place hold Add to cart (remove)
	8033.	No cover image available Fast software encryption : proceedings by Anderson Ross Cambridge Security Workshop( 1st : 1993 : Cambridge ) Cambridge Security Workshop 1st Cambridge, 1993 Series: Lecture notes in computer science, v 809 Material type: 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: 5.82 C178(93). Place hold Add to cart (remove)
	8034.	No cover image available Results and trends in theoretical computer science : papers by Karhumaki J Symposium on Results and Trends in Theoretical Computer Science( 1994 : Austria ) Symposium on Results and Trends in Theoretical Computer Science , Austria 1994 Series: Lecture notes in computer science, 812 Material type: 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: 4 Sy989(94). Place hold Add to cart (remove)
	8035.	No cover image available Logical foundations of computer science : proceedings by Nerodo A International Symposium on Logical Foundations of computer Science( 3rd : 1994 : Petersburg ) International Symposium on Logical Foundations of computer Science 3rd Petersburg, 1994 Series: Lecture notes in computer science, v 813 Material type: 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: 5.131 In61(3). Place hold Add to cart (remove)
	8036.	Automata,languages and programming : proceedings by Abiteboul Serge International Colloquium on Automata,Languages and Programming( 21st : 1994 : Jerusalem ) International Colloquium on Automata,Languages and Programming 21st Jerusalem, 1994 Series: Lecture notes in computer science, v 820 Material type: 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: 5.131 In61(21). Place hold Add to cart (remove)
	8037.	ECOOP : proceedings by Tokoro Mario European Conference on Object Oriented Programming( 8th : 1994 : Bologna ) European Conference on Object Oriented Programming 8th Bologna, 1994 Series: Lecture notes in computer science, 821 Material type: 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: 5.117 Eu89(8). Place hold Add to cart (remove)
	8038.	Logic programming and automated reasoning : proceedings by Pfenning Frank International Conference on Logic Programming and Automated Reasoning( 5th : 1994 : Ukraine ) International Conference on Logic Programming and Automated Reasoning 5th , Ukraine 1994 Series: Lecture notes in artificial intelligence, 822 Material type: 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: 5.115 In61Lo(5). Place hold Add to cart (remove)
	8039.	No cover image available The entity relationship approach proceedings by Elmasri R A Ed International Conference on the Entity Relationship Approach9(12th:1993;Arlington,Texas) , USA Series: Lecture notes in computer science; 823 Material type: 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: 3.3 In61(12). Place hold Add to cart (remove)
	8040.	No cover image available Algorithm theory SWAT'94 : proceedings by Schmidt E M Scandinavian Workshop on Algorithm Theory( 4th : 1994 : Denmark ) Scandinavian Workshop on Algorithm Theory 4th , Denmark 1994 Series: Lecture notes in computer science, 824 Material type: 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: 5.1 Sc283(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.