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

Results
	161.	Evolutionary computing - Selected papers ed. by Terence C. Fogarty by AISB Workshop, Brighton, U.K., April 1-2, 1996 Series: Lecture Notes in computer science ; 1143 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.131 N962.
	162.	Formal systems specification the RPC-memory specification case study ed. by Manfred Broy, Stephan Merz and Katharina Spies by Merz, Stephan., ed Spies, Katharina., ed Broy, Manfred., ed Series: Lecture Notes in computer science ; V.1169 Material type: Book Publication details: New York Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.2 N9615.
	163.	Information security and privacy - Proceedings ed. by Josef Pieprzyk, Jennifer Seberry by Australasian Conference on Information Security and Privacy, ACISP'96,Australia,June 24-26, 1996 Pieprzyk, Josef., ed Seberry, Jennifer., ed Series: Lecture notes in computer science ; 1172 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.8 N96.
	164.	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: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.65 N96.
	165.	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: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.3 N96.
	166.	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: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.36 N96.
	167.	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: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.6 N964.
	168.	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: Book 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.
	169.	Symbolic and algebraic computation ed. by Edward W. Ng. by Ng., Edward W., ed Series: Lecture notes in computer science 72 Material type: Book Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N791.
	170.	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: Book Publication details: Berlin Springer-Verlag 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N80.
	171.	Using sophisticated models in resolution theorem proving by David M. Sandford. by Sandford, David M Series: Lecture notes in computer science 90 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.
	172.	Calculus of communicating systems By Robin, Milner. by Milner, Robin Series: Lecture notes in computer science 92 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.64 N803.
	173.	Sementics-directed compiler generation by Neil D. Jones. by Jones, Neil D Series: Lecture notes in computer science Material type: Book 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.
	174.	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: Book Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.4 N794.
	175.	Relational theory of computing ed. by John G. Sanderson by Sanderson, John G., ed Series: Lecture Notes in Computer Science ; V.82 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 N801.
	176.	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: Book 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.
	177.	Relational theory of computing by John G. Sanderson by Sanderson, John G Series: Lecture Notes in Computer Science ; V.82 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 N801;1.
	178.	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: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015116 N96.
	179.	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: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.82 N961.
	180.	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: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 003.54 COH.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 235 results.