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

Results
	201.	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: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N812.
	202.	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: Book Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 GOO.
	203.	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: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N813.
	204.	On the integration of algebraic functions by James Harold Davenport by Davenport, James Harold Series: Lecture notes in computer science 102 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.4 N812.
	205.	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: Book Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N835.
	206.	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: Book Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424CH N82.
	207.	Fundamentals of computation theory ed. by Ferenc Gecseg. by Gecseg, Ferenc., ed Series: Lecture notes in computer science Material type: Book Publication details: Berlin Springer-Verlag 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.406 N81.
	208.	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: Book Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6406 N82.
	209.	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: Book Publication details: Berlin Springer-Verlag 1981 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.72 N812.
	210.	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: Book Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8215.
	211.	Coroutines by Christopher D. Marlin by Marlin, Christopher D Series: Lecture Notes in Computer Science ; V.95 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.642 N8017.
	212.	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: Book Publication details: Berlin Springer-Verlag 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.30151 N82.
	213.	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: Book Publication details: Berlin Springer-Verlag 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N72.
	214.	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 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N791.
	215.	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: Book Publication details: Berlin Springer-Verlag 1977 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.329 N77.
	216.	DIANA intermediate language for ada ed. by G. Goos. by Goos, G.,ed Series: Lecture notes in computer science No.161 Material type: Book Publication details: Berlin Springer-Verlag 1983 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424AD N83.
	217.	Tempo unified treatment of binding time and parameter passing concepts in programming languages ed. by Steven S. Muchnick, Neil D. Jones by Muchnick, Steven S., ed Jones Neil, D., ed Series: Lecture Notes in Computer Science ; 66 Material type: Book Publication details: Berlin Springer-Verlag 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N7811.
	218.	Mathematical foundations of computer science 1978 ed. by J. Winkowski. by symp. (7th0 poland, sept. 1978 Winkowski, J., ed Series: Lecture notes in computer science 64 Material type: Book Publication details: Berlin Springer-Verlag 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N7811.
	219.	Foundations of software technology and theoretical computer science - Proceedings ed. by S. Ramesh, G. Sivakumar by Conference on Foundations of software technology and theoretical computer science (17 Kharagpur 1997) Ramesh, S., ed Sivakumar, G., ed Series: Lecture Notes in computer science, 1346 Material type: Book Publication details: Berlin Springer-Verlag 1997 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N971.
	220.	High performance computing : Proceeedings ed. by Constantine Polychronopoulos... et al by 1997) Polychronopoulos, Constantine., ed Series: Lecture notes in computer science, 1336 ; Material type: Book Publication details: Berlin Springer-Verlag 1997 Availability: Items available for reference: Supercomputer Education and Research Centre: Not for loan (1)Call number: 004 N979.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 235 results.