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

Results
	161.	Interval mathematics - Proceedings ed. by K. Nickle. by Intl. Symposium Karlsruhe, West Germany, May 20-24, 1975 Nickle, K., ed Series: Lecture Notes in Computer Science 29 Material type: Text Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 515 N75.
	162.	Software engineering An advanced course ed by F L Bauer., et al. by Bauer, F. L., ed Series: Lecture notes in Computer Science ; 30 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.6425 N752.
	163.	Analysis of drum and disk storage units by Samuel H. Fuller by Fuller, Samuel H Series: Lecture Notes in Computer Science ; 31 Material type: Text Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.5 N75.
	164.	Mathematical foundations of computer science 1975 ed by J Becvar by Symposium on Mathematical foundations of computer science(4 1975 Marianske Lazne) Becvar, J., ed Series: Lecture notes in computer science ; 32 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.64 N759.
	165.	G1-5.Jahrestagung(Dortmund October 8-10, 1975) ed. by G. Goos and J. Hartmanis by Goos, G., ed Hartmanis, J., ed Series: Lecture notes in computer science ; 34 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.64 N754.
	166.	International symposium on theoretical programming ed by Andrei Ershov and Valery A. Nepomniaschy by Ershov, Andrei., ed Nepomniaschy, Valery A., ed Series: Lecture Notes in Computer Science ; V.5 Material type: Text Publication details: Berlin Springer-Verlag 1974 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N747.
	167.	Programming symposium - Proceedings (Paris 1974) ed by B. Robinet by Robinet, B., ed Series: Lecture Notes in Computer Science ; V.19 Material type: Text Publication details: Berlin Springer-Verlag 1974 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64206 N74.
	168.	Simple program schemes and formal languages by Joose Engelfriet by Engelfriet, Joose Series: Lecture Notes in Computer Science ; V.20 Material type: Text Publication details: Berlin Springer-Verlag 1974 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N746.
	169.	Gl-4.Jahrestagung(Berlin October 9-12, 1974) ed. by G.Goos and J.Hartmanis. by Goos, G., ed Hartmanis, J., ed Series: Lecture notes in computer science ; 26 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.64 N753.
	170.	Data base systems - Proceedings ed. by H. Hasselmeier , W. G. Spruth. by Hasselmeier, H., ed Spruth, W. G., ed Series: Lecture notes in Computer Science ; 39 Material type: Text Publication details: Berlin Springer Verlag 1976 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N762.
	171.	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.
	172.	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.
	173.	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.
	174.	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.
	175.	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.
	176.	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.
	177.	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.
	178.	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.
	179.	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.
	180.	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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 361 results.