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

Results
	181.	Managing information highways PRISM book principles, methods and case studies for designing telecommunications managment systems ed. by Kim Berquist, Andrew Berquist by Berquist, Kim., ed Berquist, Andrew., ed Series: Lecture notes in computer science ; V.1164 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.65 N96.
	182.	Combinatorics and computer science - Proceedings ed. by Michel Deza, Reinhardt Euler and Ioannis Manoussakis by 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3-5, 1995 Series: Lecture Notes in computer science ; V.1120 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.3 N96.
	183.	Object-based parallel and distributed computation ed. by Jean-Pierre Briot, Jean-Marc Geib and Akinori Yonezaw by Geib, Jean-Marc., ed Yonezawa, Akinori., ed Briot, Jean-Pierre., ed Series: Lecture notes in computer science ; 1107 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.36 N96.
	184.	Computer aided verification - Proceedings ed. by Rajeev Alur, Thomas A. Henzinger by 8th International Conference held at New Brunswick, New Jersey, July 31-Aug 3, 1996 Alur, Rajeev., ed Henzinger, Thomas A., ed Series: Lecture Notes in computer science ; V.1102 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.6 N964.
	185.	Algebraic methodology and software technology - Proceedings ed. by Martin Wirsing, Maurice Nivat by 5th International Conference, AMAST'96, Munich, Germany Wirsing, July 1-5, 1996 Wirsing, Martin., ed Nivat, Maurice., ed Series: Lecture Notes in computer science ; 1101 Material type: Text Publication details: New York Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N961.
	186.	Bounded incremental computation by G. Ramalingam by Ramalingam, G Series: Lecture Notes in computer science ; 1089 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N96. Place hold
	187.	No cover image available Matrix eigensystem routines - EISPACK guide by B.T.Smith,[et al] by Smith, B.T., [ et al] Series: Lecture notes in computer science 6 Edition: 2nd Material type: Text Publication details: Berlin Springer-Verlag 1976 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.9430285425F N76. Place hold
	188.	Symbolic and algebraic computation ed. by Edward W. Ng. by Ng., Edward W., ed Series: Lecture notes in computer science 72 Material type: Text Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N791.
	189.	Mathematical foundations of computer sciences 1980 ed. by P. Dembinski. by symposium(9th0 held in Poland, sept. 1-5, 1980 Series: Lecture notes in computer science 88 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N80.
	190.	Using sophisticated models in resolution theorem proving by David M. Sandford. by Sandford, David M Series: Lecture notes in computer science 90 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N803.
	191.	Calculus of communicating systems By Robin, Milner. by Milner, Robin Series: Lecture notes in computer science 92 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.64 N803.
	192.	Sementics-directed compiler generation by Neil D. Jones. by Jones, Neil D Series: Lecture notes in computer science Material type: Text Publication details: New york Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N801.
	193.	Codes for boundary value problems in ordinary differential equations ed by B. Childs [et al] by proceedings of a working conference may 14-17,1978 Childs, B.[et al], ed Series: Lecture notes in computer science 76 Material type: Text Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N794.
	194.	Relational theory of computing ed. by John G. Sanderson by Sanderson, John G., ed Series: Lecture Notes in Computer Science ; V.82 Material type: Text Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N801.
	195.	Hardware specification, verification and synthesis : mathematical aspects ed. by M. Leeser and G. Brown. by Leeser, M., ed Brown, G., ed Series: Lecture notes in computer science ; Material type: Text Publication details: New York Springer-Verlag 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3920151 N90.
	196.	Relational theory of computing by John G. Sanderson by Sanderson, John G Series: Lecture Notes in Computer Science ; V.82 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 N801;1.
	197.	Computing and combinatorics - Proceedings ed. by Jin-Yi Cai, Chak Kuen Wong by 2nd Annual International Conference, COCOON, 96, Hong Kong, June 17-19, 1996 Cai, Jin-Yi., ed Wong, Chak Kuen., ed Series: Lecture Notes in computer science ; 1090 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015116 N96.
	198.	Advances in crytology- CRYPTO'96 - Proceedings ed. by Neal Koblitz by 16th Annual International Cryptology Conference, Santa Barbara, California, August 18-22, 1996 Koblitz, Neal., ed Series: Lecture notes in computer science, 1109 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.82 N961.
	199.	EUROCODE'90 - Proceedings ed. by Gerard Cohen, Pascale Charpin by Cohen G. 1990), Cohen, Gerard., ed Charpin, Pascale., ed Series: Lecture notes in computer science ; V.514 Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 003.54 COH.
	200.	No cover image available Algorithmic number theory - Proceedings ed. by Henri Cohen by International Symposium on Algorithmic Number Theory(2nd, Talence, France, May 18-23, 1996) Cohen, Henri., ed Series: Lecture notes in computer science 1122 Material type: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.7028551 N96. Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 361 results.