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

Results
	181.	Complementary definitions of programming language semantics by James E. Donahue by Donahue, James E Series: Lecture Notes in Computer Science ; V.42 Material type: Book Publication details: Berlin Springer-Verlag 1976 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N761.
	182.	Static analysis - Proceedings ed. by Radhia Cousot and David A Schmidt by 3rd Intl. Symp., SAS'96, Aachen, Germany, Sept 24-26, 1996 Cousot, Radhia., ed Schmidt, David A., ed Series: Lecture Notes in computer science ; V.1145 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.13 N96.
	183.	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.
	184.	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.
	185.	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.
	186.	Information hiding - Proceedings ed. by Ross Anderson by 1st International Workshop held at Cambridge, U.K., May 30 - June 1, 1996 Anderson, Ross., ed Series: Lecture Notes in computer science ; V.1174 Material type: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.69 N965. Place hold
	187.	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.
	188.	Principles and practice of constraint programming-CP96 - Proceedings ed. by Eugene C. Freuder by 2nd Intl. Conference held at Cambridge, August 19-22, 1996 Freuder, Eugene C., ed Series: Lecture notes in computer science ; V.1118 Material type: Book Publication details: Berlin Springer-Verrlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N962.
	189.	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.
	190.	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.
	191.	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.
	192.	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.
	193.	Bounded incremental computation by G. Ramalingam by Ramalingam, G Series: Lecture Notes in computer science ; 1089 Material type: Book Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N96. Place hold
	194.	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: Book Publication details: Berlin Springer-Verlag 1976 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.9430285425F N76. Place hold
	195.	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.
	196.	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.
	197.	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.
	198.	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.
	199.	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.
	200.	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.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1374 results.