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
	7761.	No cover image available Fundamentals of artificial intelligence : proceedings by Jorrand Philippe International Workshop on Fundamentals of Artificial Intelligence( 1991 : Czechoslovakia ) International Workshop on Fundamentals of Artificial Intelligence , Czechoslovakia 1991 Series: Lecture notes in computer science, 535 Material type: 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). Place hold Add to cart (remove)
	7762.	Theoretical aspects of computer software : proceedings by Ito T International Conference on Theoretical Aspects of Computer Software( 1st : 1991 : Sendai ) International Conference on Theoretical Aspects of Computer Software 1st Sendai, 1991 Series: Lecture notes in computer science, 526 Material type: 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). Place hold Add to cart (remove)
	7763.	No cover image available Concurrency theory: concur'91 proceedings by International Conference on Concurrency Theory(2nd: 1991: Amsterdam) Series: Lecture notes in computer science; 527 Material type: 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). Place hold Add to cart (remove)
	7764.	No cover image available Proceedings by European Workshop on Planning( 1991 : Sankt Augustin ) European Workshop on Planning Sankt Augustin, 1991 Series: Lecture notes in artificial intelligence, v 522 Material type: 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. Place hold Add to cart (remove)
	7765.	Computer science logic : proceedings by Borger E Workshop on Computer Science Logic( 4th : 1990 : Heidelberg ) Workshop on Computer Science Logic 4th Heidelberg, 1990 Series: Lecture notes in computer science, 533 Material type: 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). Place hold Add to cart (remove)
	7766.	Graph grammar and their application to computer science : proceedings by Ehrig H International Workshop on Graph Grammars and Their Applicationto computer Science( 4th : 1990 : Bremen ) International Workshop on Graph Grammars and Their Applicationto computer Science 4th Bremen, 1990 Series: Lecture notes in computer science, v 532 Material type: 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). Place hold Add to cart (remove)
	7767.	Recent trends in data type specification : proceedings by Ehrig H Worshop on Specification of Abstact Data Type( 7th : 1990 : Germany ) Worshop on Specification of Abstact Data Type 7th , Germany 1990 Series: Lecture notes in computer science, 534 Material type: 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). Place hold Add to cart (remove)
	7768.	Functional programming languages and computer architecture : proceedings by Hughes J Conference on Functional Programming Languages and Computer Architecture( 5th : 1991 : Cambridge ) Conference on Functional Programming Languages and Computer Architecture 5th Cambridge, 1991 Series: Lecture notes in computer science, 523 Material type: 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). Place hold Add to cart (remove)
	7769.	No cover image available Computer-aided verification : proceedings by Clarke E M International Conference on Computer Aided Verification( 2nd : 1990 : New Brunswick ) International Conference on Computer Aided Verification 2nd New Brunswick, 1990 Series: Lecture notes in computer science, 531 Material type: 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). Place hold Add to cart (remove)
	7770.	Category theory and computer science : proceedings by Pitt D H Summer Conference on Category Theory and Computer Science( 4th : 1991 : Paris ) Summer Conference on Category Theory and Computer Science 4th Paris, 1991 Series: Lecture notes in computer science, 530 Material type: 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). Place hold Add to cart (remove)
	7771.	No cover image available Fundamentals of computation theory : proceedings by Budach L International Conference on Fundamentals of Computational Theory( 8th : 1991 : Germany ) International Conference on Fundamentals of Computational Theory 8th , Germany 1991 Series: Lecture notes in Computer Science, 529 Material type: 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). Place hold Add to cart (remove)
	7772.	No cover image available Programming language implementation and logic programming : proceedings by Maluszynski J International Symposium on Programming Language Implementation and Logic Programming( 3rd : 1991 : Germany ) International Symposium on Programming Language Implementation and Logic Programming 3rd , Germany 1991 Series: Lecture notes in computer science, v 528 Material type: 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.13 In61p(3). Place hold Add to cart (remove)
	7773.	No cover image available VDM '91, formal software development methods : proceedings v 2 : tutorials by Prehn S International Symposium of VDM Europe( 4th : 1991 : Netherlands ) International Symposium of VDM Europe 4th , Netherlands 1991 Series: Lecture notes in computer science, 552 Material type: 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). Place hold Add to cart (remove)
	7774.	No cover image available VDM '91, formal software development methods : proceedings v 1 : conference contribution by Prehn S International Symposium of VDM Europe( 4th : 1991 : Netherlands ) International Symposium of VDM Europe 4th , Netherlands 1991 Series: Lecture notes in computer science, 551 Material type: 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). Place hold Add to cart (remove)
	7775.	No cover image available ISA'91 algorithms : proceedings by Hsu W L International Symposium on Algorithms( 2nd : 1991 : Taipei ) International Symposium on Algorithms 2nd Taipei, 1991 Series: Lecture notes in computer science, v 557 Material type: 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.1 In61a(2). Place hold Add to cart (remove)
	7776.	Software engineering education : proceedings by Tomayko J E SEI Conference on Software Engineering Education( 5th : 1991 : Pittsburgh ) SEI Conference on Software Engineering Education 5th Pittsburgh, 1991 Series: Lecture notes in computer science, 536 Material type: 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.1 So681(5). Place hold Add to cart (remove)
	7777.	No cover image available Advances in cryptology : proceedings by Menezes A J Conference on the Theory and Applications of Cryptography( 10th : 1990 : Santa Barbara ) Conference on the Theory and Applications of Cryptography 10th Santa Barbara, 1990 Series: Lecture notes in computer science, 537 Material type: 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.82 C748(10). Place hold Add to cart (remove)
	7778.	No cover image available New results and new trends in computer science : papers by Maurer H Symposium on New Results and New Trends in Computer Science( 1991 : Austria ) Symposium on New Results and New Trends in Computer Science , Austria 1991 Series: Lecture notes in computer science, 555 Material type: 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 Sy989(91). Place hold Add to cart (remove)
	7779.	No cover image available ESEC'91 : proceedings by Lamsweerde A van European Software Engineering Conference( 3rd : 1991 : Milan ) European Software Engineering Conference 3rd Milan, 1991 Series: Lecture notes in computer science, 550 Material type: 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.1 Eu89(3). Place hold Add to cart (remove)
	7780.	No cover image available Artificial neural networks : proceedings by Prieto A International Workshop on Artificial Neural Networks( 1991 : Spain ) International Workshop on Artificial Neural Networks , Spain 1991 Series: Lecture notes in computer science, 540 Material type: 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.32 In61(91). 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.