Your search returned 361 results.

Sort
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 Book
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 Book
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 Book
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 Book
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 Book
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 Book
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 Book
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 Book
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 Book
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 Book
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 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.

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 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.

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 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.

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 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.

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 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.

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 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.

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 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.

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 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.

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 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.

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 Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.69 N965.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha