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

Results
	221.	Feedback shift registers by Christon, Ronse. by Ronse, Christion Series: Lecture notes in computer science V.169 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N82.
	222.	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: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8212.
	223.	Mathematical foundation of computer science ed. by J. Gruska, M. Chytil. by symposium Czechoslovokia, Aug 31 -Sept. 4 , 1981 Chytil, M Series: Lecture notes in computer science 118 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N812.
	224.	Iota programming system a modular programming enviornment ed. by R. Nakajima, T. Yuasa. by Goos, G, Nakajima, R., ed Yuasa, T., ed Series: Lecture notes in computer science 160 ; Material type: Text Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 GOO.
	225.	Algorithms in modern mathematics and computer science ed. by A. P. Ershov, D. E. Knuth. by proceedings, urgench, uzbek SSR Ershov, A. P., ed Knuth, D. E., ed Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N813.
	226.	On the integration of algebraic functions by James Harold Davenport by Davenport, James Harold Series: Lecture notes in computer science 102 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N812.
	227.	Computer algebra ed. by Van J. A. Hulzen. by European computer algebra conference Hulzen, Van J. A., ed Series: Lecture notes in computer science 162 Material type: Text Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N835.
	228.	Analytical cescripition of chill, the citt high level language by Paul Branquart,[et al] by Branquart, Paul.[et al] Series: Lecture notes in Computer science No.128 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424CH N82.
	229.	Axiomatising the logic of computer programming by Robert Goldblatt. by Goldblatt, Robert Series: Lecture notes in computer science 130 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.4 N821. Place hold
	230.	Fundamentals of computation theory ed. by Ferenc Gecseg. by Gecseg, Ferenc., ed Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer-Verlag 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.406 N81.
	231.	6th conference on automated deduction ed, by D. W. Loveland. by Conference on automated deduction (6th New york, 1982) loveland, D. W., ed Series: Lecture notes in computer science No.138 Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6406 N82.
	232.	Y12M solution of large and spare systems of linear algebraic equations documentation of sub-routines by Zahari Zlatev. by Zlatev, Zahari Series: Lecture notes in computer science 121 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.72 N812.
	233.	GAG practical compiler generator by Uwe Kastens, Brigitte Hutt, Erich Zimmermann by Kastens, Uwe Hutt, Brigitte Zimmermann, Erich Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8215.
	234.	Coroutines by Christopher D. Marlin by Marlin, Christopher D Series: Lecture Notes in Computer Science ; V.95 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N8017.
	235.	Problems and methodologies in mathematical software production ed. by A. Murli, P. C. Messina. by Conference on problems and methodologies in mathematical software production (Italy,1980) Messina, P. C., ed Murli, A., ed Series: Lecture notes in computer science No.142p Material type: Text Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.30151 N82.
	236.	Vienna development method meta-language ed. by C.B. Jones, D. Bjorner by Jones, C.B., ed Bjorner, D., ed Series: Lecture Notes in Computer Science ; 61 Material type: Text Publication details: Berlin Springer-Verlag 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N72.
	237.	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: Text Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N791.
	238.	Automatic differentiation Techniques and applications by Louis B. Rall. by Rall, Louis B Series: Lecture notes in computer science 120 Material type: Text Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.4 N814. Place hold
	239.	Matrix eigensystem routines-EISPACK guide extension by B. S. Garbow (et al) by Garbow, B. S.(et al) Series: Lecture Notes in Computer Science ; 51 Material type: Text Publication details: Berlin Springer-Verlag 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.329 N77.
	240.	DIANA intermediate language for ada ed. by G. Goos. by Goos, G.,ed Series: Lecture notes in computer science No.161 Material type: Text Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424AD N83.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 361 results.