Results of search for 'ccl=se,phr:"Lecture notes in computer science" and itype:R'

Results
	241.	Programming methodology : 4th Informatik Symposium, Germany, 1974 ed by Clemens E. Hackl by Hackl, Clemens E., ed Series: Lecture Notes in Computer Science ; Material type: Book Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N751.
	242.	Optimized translation process and its application to ALCOL 68 by P. Branquart, [et al] by Branquart, P., [et al] Series: Lecture Notes in Computer Science ; V.38 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 N764.
	243.	Optimization techniques modeling and optimization in the service of man, pt.1 ed. by Jean Cea by IFIP Conference on Optimization Techniques (7 1975 Nice, Cea, Jean., ed Series: Lecture notes in computer science, 40 ; 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.424 GOO.
	244.	Optimization techniques modeling and optimization in the service of man, pt.2 ed. by G. Goos and J. Hartmanis by IFIP Conference on Optimization Techniques (7 1975 Nice, Goos, G., ed Hartmanis, J., ed Series: Lecture notes in computer science, 41 ; 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.424 GOO.
	245.	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.
	246.	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.
	247.	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.
	248.	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.
	249.	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.
	250.	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.
	251.	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.
	252.	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.
	253.	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.
	254.	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.
	255.	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.
	256.	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.
	257.	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.
	258.	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.
	259.	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.
	260.	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.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 331 results.