Results of search for 'ccl=Provider:Springer-Verlag and holdingbranch:IISC'

Results
	641.	Algebraic geometry and analytic geometry ed. by A. Fujiki [et al] by ICM-90 Satellite Conference Proceedings Fujiki, A. [et al] Material type: Text Publication details: Tokyo Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 516.3 N91.
	642.	Applied algebra algebraic algorithms and error-correcting codes ed. by L. Huguet, A. Poli by International Conference, AAECC - 5, Menorca, June 15-19, 1987, Spain Huguet, L., ed Poli, A., ed Series: Lecture notes in computer science 356 Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N89.
	643.	Applied algebra, algorithmics and error-correcting codes - proceedings ed. by Alain Poli. by International Conference, AAECC -2. Toulouse, France October 1-5,1984 Poli, Alain., ed Series: Lecture notes in computer science 228 Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N863.
	644.	Applicable algebra, error-correcting codes, combinatorics and computer algebra - Proceedings ed. by Th.Beth, M. Clausen. by 4th International Conference AAECC-4, Karlsruhe, FRG, September 23-26, 1986 Beth Th., ed Clausen, M., ed Series: Lecture notes in computer science 307 Material type: Text Publication details: Berlin Springer-Verlag 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N88.
	645.	Algebraic algorithms and error-correcting codes ed. by Jacques Calmet. by Jacques, Calmet International Conference, AAECC-3 ( Grenoble : 1985 ) Series: Lecture notes in computer science ; no.229 Material type: Text Publication details: Berlin Springer-Verlag 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N862.
	646.	Advanced information systems engineering - Proceedings ed. by Coletto Rolland, Francois Bodart and Corine Cauvet by International Conference, CAISE'93, Paris, France, June 8-11, 1993 Rolland, Coletto., ed Bodart, Francois., ed Cauvet, Corine., ed Series: Lecture Notes in Computer Science ; 685 Material type: Text Publication details: Berlin Springer-Verlag 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N932.
	647.	Computer-aided verification ed. by E.M. Clarke, R.P. Kurshan by International Conference, CAV'90, New Brunswick, New Jersey, June 18-21 1990 Clarke, E.M., ed Kurshan, R.P., ed Series: Lecture Notes in computer science ; 531 Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N91.
	648.	Foundations of data organization and algorithms ed. by W. Litwin and H. J. Schek. by Litwin, W., ed Schek, H. J., ed Series: Lecture notes in computer science ; Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N8910.
	649.	Statistical and scientific database management ed. by Z. Michaelewicz by International Conference, VSSDBM (Charlotte 1990) Michaelewicz, Z., ed Series: Lecture notes in computer science 420 Material type: Text Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N90.
	650.	Progress in immunology - Proceedings ed. by F. Melchers by 7th International Congress of Immunology, Berlin ,1989 Melchers, F., ed Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 574.29 N892.7 "R".
	651.	ICM '90 proceedings of the international congress of mathematicians. v.1 by International Congress of Mathematicians,Japan, 1990 Series: Mathematical Society of Japan Material type: Text Publication details: Tokyo Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510 N91.1.
	652.	Cytoskeletical and extracellular proteins structure, interactions and assembly by U. Aebi, J. Engel. by Aebi, U., Engel, J International EBSA Symposium ( Gwatt : 1988 ) Series: Springer series in biophysics V.3 Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 574.191 N89.
	653.	TAPSOFT '93 theory and practice of software development - Proceedings ed. by M.-C. Gaudel, J.-P. Jouannaud, by International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 Gaudel, M.-C., ed Jouannaud, J.-P., ed Series: Lecture Notes in Computer Science ; No.668 Material type: Text Publication details: Berlin Springer-Verlag 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N939.
	654.	Theory and practice of software development '91 - proceedings ed. by S. Abramsky and T.S.E. Maibaum. by International Joint Conference held in Brighton, UK, April 8-12, 1991 Abramsky, S. ed Maibaum, T.S.E. ed Series: Lecture notes in Computer Science ; 493 Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N912.1.
	655.	TAPSOFT '89 proceedings of the international joint......; v.1 :advanced seminar on foundations of innovative software development..... by J. Diaz and F. Ovejas. by Diaz, J Ovejas, F International Joint Conference on Theory and Practice of Software development ( Barcelona : 1989 ) Series: Lecture notes in computer science ; no.351 Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8918.1.
	656.	PARLE '93 parallel architectures and languages europe - Proceedings ed. by Arndt Bode, Mike Reeve and Gottfried Wolf by 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 Bode, Arndt., ed Reeve, Mike., ed Wolf, Gottfried., ed Series: Lecture Notes in Computer Science ; 694 Material type: Text Publication details: Berlin Springer-Verlag 1993 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N93.
	657.	Algorithmic number theory - Proceedings ed. by Leonard M. Adleman, Ming-Deh Huang by 1st International symposium, ANTS-I(Ithaca, New York, May 6-9, 1994) Adleman, Leonard M., ed Huang, Ming-Deh., ed Series: Lecture Notes in Computer Science 877 Material type: Text Publication details: Berlin Springer-Verlag 1994 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.7028551 N94. Place hold
	658.	Design and implementation of symbolic computation systems ed. by A. Miola by Miola, A., ed International Symposium Disco '90. Capri, Italy 1990 Material type: Text Publication details: Berlin Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N901;1.
	659.	Turbulent shear flows 6/ed. by J.C Ardre (...) by Andre, J.C International Symposium of Turbulent Shear Flows Toulouse 1987 Material type: Text Publication details: Heidelberg Springer Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.1064 N891.
	660.	Algorithms and computation - Proceedings ed. by T. Ibaraki, [et al] by 3rd International Symposium, ISAAC'92, Nagoya, Japan, December 16-18, 1992 Ibaraki, T., ed., [et al] Series: Lecture Notes in computer science ; 650 Material type: Text Publication details: Berlin Springer-Verlag 1992 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N924.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 6762 results.