Results of search for 'ccl=se,phr:"Lecture Notes in Computer"'

Results
	261.	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: Text Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N751.
	262.	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: Text Publication details: Berlin Springer-Verlag 1976 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N764.
	263.	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: Text Publication details: Berlin Springer-Verlag 1976 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.424 GOO.
	264.	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: Text Publication details: Berlin Springer-Verlag 1976 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.424 GOO.
	265.	Complementary definitions of programming language semantics by James E. Donahue by Donahue, James E Series: Lecture Notes in Computer Science ; V.42 Material type: Text Publication details: Berlin Springer-Verlag 1976 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N761.
	266.	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: Text 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.
	267.	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: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N962.
	268.	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: Text 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.
	269.	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: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.8 N96.
	270.	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: Text Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.69 N965. Place hold
	271.	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.
	272.	Software configuration management Proceedings ed. by Ian Sommerville by International Workshop on Software Configuration Management(6th 1996 Berlin) Sommerville, Ian., ed Series: Lecture notes in computer science, Vol 1167 Material type: Text Publication details: New York S-V 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N964. Place hold
	273.	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: Text Publication details: Berlin Springer-Verrlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N962.
	274.	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.
	275.	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.
	276.	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.
	277.	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.
	278.	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
	279.	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
	280.	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.

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 1557 results.