Results of search for 'ccl=Provider:Springer- verlag and itype:R and se:Lecture notes in computer science'

Results
	181.	Algorithms-ESA'96 - Proceedings ed. by Josep Diaz, Maria Serna by 4th Annual European Symposium, Barcelona,Sep 25-27 1996 Diaz, Josep., ed Serna, Maria., ed Series: Lecture notes in computer science ; 1136 Material type: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N966.
	182.	Logic and machines : decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding by Symposium on "Rekursive Kombinatorik" ( 1983 Westfalen) Borger, E., ed Hasenjaeger, G., ed Rodding, D., ed Series: Lecture Notes in Computer Science, 171 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N84.
	183.	Logic and Machines decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding by Symposium on "Rekursive Kombinatorik" (Westfalen 1983) Borger, E., ed Hasenjaeger, G., ed Rodding, D., ed Series: Lecture notes in computer science, 171 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N84;1.
	184.	How to multiply matrices faster by Victor Pan by Pan, Victor Series: Lecture notes in computer science 179 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.943 N841.
	185.	Direct methods for sparse matrices by Ole Osterby, Zahari Zlatev by Osterby, Ole Zlatev, Zahari Series: Lecture notes in computer science ; 157 Material type: Book Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.943 N83.
	186.	VLSI engineering beyond software engineering ed. by Tosiyasu L.Kunii by Kunii, Tosiyasu L., ed Series: Lecture notes in computer science ; 163 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38173 N84.
	187.	Optimization techniques - part II. ed. by R. Conti and A. Ruberti by IFIP Conference on Optimization Techniques (5 1973 Rome) Conti, R., ed Ruberti, A., ed Series: Lecture notes in computer science, 4 Material type: Book Publication details: Berlin Springer-Verlag 1973 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.424 N731.
	188.	Program construction ed. by F.L. Bauer, M. Broy by Bauer, F.L., ed Broy, M., ed Series: Lecture Notes in Computer Science ; V.69 Material type: Book Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N791;1.
	189.	Anaphora in natural language understanding a survey by Graeme Hirst by Hirst, Graeme Series: Lecture notes in computer science 119 Material type: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 410 N81.
	190.	Adaption of virtual man-computer interfaces to user require-ments in dialogs by Waltrand Dehning, [et al] by Dehning, Waltrand.[et al] Series: Lecture notes in computer science V.110 Material type: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.019 N81.
	191.	Stochastic automata stability, non-determinism, and prediction by Ernst-Erich Boberkat by Boberkat, Ernst-Erich Series: Lecture notes in computer science 113 Material type: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.287 N81.
	192.	Abstract software specifications - Proceedings ed. by D. Bjorner by Bjorner, D., ed Series: Lecture Notes in Computer Science ; 86 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N802.
	193.	Using sophisticated models in resolution therem proving by David M. Sanford. by Sanford, David M Series: Lecture notes in computer science Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N803;1.
	194.	Computer programs for spelling correction an experiment in program design by James L. Peterson by Peterson, James L Series: Lecture Notes in Computer Science ; 96 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.12 N80.
	195.	Methods of algroithms language implementation. ed by A Ershov and C H A Koster by Ershov, A., ed Koster, C H A., ed Series: Lecture notes in computer science ; 47 Material type: Book Publication details: Berlin Springer-Verlag 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.453 N771.
	196.	Concurrent pascal compiler for minicomputers by Alfred C. Hartmann by Hartmann, Alfred C Series: Lecture Notes in Computer Science ; 50 Material type: Book Publication details: Berlin Springer-Verlag 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N777.
	197.	Language design and programming methodology - Proceedings ed. by Jeffry M. Tobias by Language design and programming methodology Symposium held in Sydney, Australia, 10-11 September, 1979 Tobias, Jeffry M., ed Series: Lecture Notes in Computer Science ; 79 Material type: Book Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N79.
	198.	International symposium on programming - Proceedings ed. by B. Robinet by 4th Colloque Intl. Sur la Programmation,Paris,22-24 Apr 1980 Robinet, B., ed Series: Lecture Notes in Computer science ; V.83 Material type: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N80.
	199.	Feedback shift registers by Christon, Ronse. by Ronse, Christion Series: Lecture notes in computer science V.169 Material type: Book Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N82.
	200.	Database design techniques V.2 ed. by S. B. Yao, T. L. Kunii by Yao, S. B., ed Kunii, T. L., ed Series: Lecture notes in computer science 133 Material type: Book Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8212.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 235 results.