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 919 results.

Results
	681.	No cover image available Industrial benefit of formal methods : proceedings by Naftalin Maurice International Symposium on Formal Methods Europe( 2nd : 1994 : Bercelona ) International Symposium on Formal Methods Europe 2nd Bercelona, 1994 Series: Lecture notes in computer science, v 873 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(2). Place hold Add to cart (remove)
	682.	No cover image available Parallel computer routing and communication : proceedings by Bolding Kevin International Workshop on Parallel Computer Routing and Communication( 1st : 1994 : Seattle ) International Workshop on Parallel Computer Routing and Communication 1st Seattle, 1994 Series: Lecture notes in computer science, 853 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(1). Place hold Add to cart (remove)
	683.	No cover image available Software technology and theoretical computer science : proceedings by Thiagarajan P S Conference on Foundations of Software Technology and Theoretical Computer Science( 14th : 1994 : Madras ) Conference on Foundations of Software Technology and Theoretical Computer Science 14th Madras, 1994 Series: Lecture notes in computer science, 880 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.3 C748(14). Place hold Add to cart (remove)
	684.	No cover image available Algorithmic number theory proceedings by Adlemen L M ed International Symposium on Algorithmic Number theory( 1st : 1994 : N Y ) N Y, 1994 Series: Lecture notes in computer science; 877 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: 512.7 In61(1). Place hold Add to cart (remove)
	685.	Programming language implementation and logic programming : proceedings by Hermenegildo Manuel International Symposium on Programming Language Implementation and Logic Programming( 6th : 1994 : Madrid ) International Symposium on Programming Language Implementation and Logic Programming 6th Madrid, 1994 Series: Lecture notes in computer science, 844 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 In61(6). Place hold Add to cart (remove)
	686.	No cover image available Methodologies for intelligent systems : proceedings by Ras Z W International Symposium on Methodologies for Intelligent Systems( 8th : 1994 : Charlotte ) International Symposium on Methodologies for Intelligent Systems 8th Charlotte, 1994 Series: Lecture notes in computer science, 869 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.3 In61M(8). Place hold Add to cart (remove)
	687.	Principles and practice of constraint programming : proceedings by Borning Alan International Workshop on Principles and Practice of Constraint Programming( 2nd : 1994 : Orcas Island ) International Workshop on Principles and Practice of Constraint Programming 2nd Orcas Island, 1994 Series: Lecture notes in computer science, 874 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(2). Place hold Add to cart (remove)
	688.	No cover image available Object Oriented Methodologies and Systems : proceedings by Bertino Elisa International Conference on Object Oriented Methodologies and Systems( 2nd : 1994 : Palermo ) International Conference on Object Oriented Methodologies and Systems 2nd Palermo, 1994 Series: Lecture notes in computer science, 858 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.7575 In61(2). Place hold Add to cart (remove)
	689.	No cover image available Parallel processing : proceedings by Buchberger Bruno International Conference on Vector and Parallel Processing( 3rd : 1994 : Austria ) International Conference on Vector and Parallel Processing 3rd , Austria 1994 Series: Lecture notes in computer science, 854 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(3). Place hold Add to cart (remove)
	690.	No cover image available Dependable Computing : proceedings by Echtle Klaus European Dependable Computing Conference( 1st : 1994 : Berlin ) European Dependable Computing Conference 1st Berlin, 1994 Series: Lecture notes in computer science, 852 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 Eu98(1). Place hold Add to cart (remove)
	691.	No cover image available Algorithms : proceedings by Leeuwen Jan van European Symposium on Algorithms( 2nd : 1994 : Netherlands ) European Symposium on Algorithms 2nd , Netherlands 1994 Series: Lecture notes in computer science, 855 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 Eu89(2). Place hold Add to cart (remove)
	692.	No cover image available Formal techniques in real time and fault tolerant systems : proceedings by Langmaack H International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems( 3rd : 1994 : Lubeck ) International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems 3rd Lubeck, 1994 Series: Lecture notes in Computer science, 863 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.3382 In61(3). Place hold Add to cart (remove)
	693.	No cover image available Constraints in computational logics : proceedings by Jouannaud Jean-Pierre International Conference on Constraints in Computational Logics( 1st : 1994 : Munich ) International Conference on Constraints in Computational Logics Munich, 1994 Series: Lecture notes in computer science, v 845 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(1). Place hold Add to cart (remove)
	694.	No cover image available Distributed Algorithms proceedings by Vitanyi Gerard Tel Paul ed International Workshop,WDAG(8th : 1994: Netherlands) Series: Lecture notes in computer science; 857 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.36 In61(8). Place hold Add to cart (remove)
	695.	No cover image available Parallel problem solving from nature-PPSN 3 : proceedings by Davidor Yuval International Conference on Evolutionary Computation and Parallel Problem Solving from Nature( 3rd : 1994 : Jerusalem ) International Conference on Evolutionary Computation and Parallel Problem Solving from Nature 3rd Jerusalem, 1994 Series: Lecture notes in computer science, 866 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.333 In61(94). Place hold Add to cart (remove)
	696.	No cover image available Static analysis : proceedings by Charlier Baudouin Le International Static Analysis Symposium( 1st : 1994 : Belgium ) International Static Analysis Symposium 1st Belgium, 1994 Series: Lecture notes in computer science, 864 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 In61(1). Place hold Add to cart (remove)
	697.	No cover image available Human computer interaction : proceedings by Blumenthal Brad International East-West Conference on Human Computer Interaction( 4th : 1994 : St Petersburg ) International East-West Conference on Human Computer Interaction 4th St Petersburg, 1994 Series: Lecture notes in computer science, 876 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(4). Place hold Add to cart (remove)
	698.	No cover image available Algorithms and computation : proceedings by Ding-Zhu Du International Symposium on Algorithms and Computation( 5th : 1994 : Beijing ) International Symposium on Algorithms and Computation 5th Beijing, 1994 Series: Lecture notes in computer science, 834 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 In61A(5). Place hold Add to cart (remove)
	699.	No cover image available Computer performance evaluation : modelling techniques and tools : proceedings by Haring Gunter International Conference on Modeling Techniques and Tools for Computer Performence Evaluation( 7th : 1994 : Vienna ) International Conference on Modeling Techniques and Tools for Computer Performence Evaluation 7th Vienna, 1994 Series: Lecture notes in computer science, 794 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.24 In61(7). Place hold Add to cart (remove)
	700.	Extensions of logic programming : proceedings by Dyckhoff Roy International Workshop on Extensions of Logic Programming( 4th : 1993 : Scotland ) International Workshop on Extensions of Logic Programming 4th , Scotland 1993 Series: Lecture notes in computer science, 798 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. Place hold Add to cart (remove)

First
Previous
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
Next
Last

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 919 results.