Your search returned 235 results.

Sort
Results
181.
Algorithms-ESA'96 - Proceedings ed. by Josep Diaz, Maria Serna by
  • 4th Annual European Symposium, Barcelona,Sep 25-27 1996
  • Diaz, Josep., ed
  • Serna, Maria., ed
Series: Lecture notes in computer science ; 1136
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.1 N966.

182.
Logic and machines : decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding by
  • Symposium on "Rekursive Kombinatorik" ( 1983 Westfalen)
  • Borger, E., ed
  • Hasenjaeger, G., ed
  • Rodding, D., ed
Series: Lecture Notes in Computer Science, 171
Material type: Text Book
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N84.

183.
Logic and Machines decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding by
  • Symposium on "Rekursive Kombinatorik" (Westfalen 1983)
  • Borger, E., ed
  • Hasenjaeger, G., ed
  • Rodding, D., ed
Series: Lecture notes in computer science, 171
Material type: Text Book
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N84;1.

184.
How to multiply matrices faster by Victor Pan by
  • Pan, Victor
Series: Lecture notes in computer science 179
Material type: Text Book
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.943 N841.

185.
Direct methods for sparse matrices by Ole Osterby, Zahari Zlatev by
  • Osterby, Ole
  • Zlatev, Zahari
Series: Lecture notes in computer science ; 157
Material type: Text Book
Publication details: Berlin Springer-Verlag 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.943 N83.

186.
VLSI engineering beyond software engineering ed. by Tosiyasu L.Kunii by
  • Kunii, Tosiyasu L., ed
Series: Lecture notes in computer science ; 163
Material type: Text Book
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38173 N84.

187.
Optimization techniques - part II. ed. by R. Conti and A. Ruberti by
  • IFIP Conference on Optimization Techniques (5 1973 Rome)
  • Conti, R., ed
  • Ruberti, A., ed
Series: Lecture notes in computer science, 4
Material type: Text Book
Publication details: Berlin Springer-Verlag 1973
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.424 N731.

188.
Program construction ed. by F.L. Bauer, M. Broy by
  • Bauer, F.L., ed
  • Broy, M., ed
Series: Lecture Notes in Computer Science ; V.69
Material type: Text Book
Publication details: Berlin Springer-Verlag 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N791;1.

189.
Anaphora in natural language understanding a survey by Graeme Hirst by
  • Hirst, Graeme
Series: Lecture notes in computer science 119
Material type: Text Book
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 410 N81.

190.
Adaption of virtual man-computer interfaces to user require-ments in dialogs by Waltrand Dehning, [et al] by
  • Dehning, Waltrand.[et al]
Series: Lecture notes in computer science V.110
Material type: Text Book
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.019 N81.

191.
Stochastic automata stability, non-determinism, and prediction by Ernst-Erich Boberkat by
  • Boberkat, Ernst-Erich
Series: Lecture notes in computer science 113
Material type: Text Book
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.287 N81.

192.
Abstract software specifications - Proceedings ed. by D. Bjorner by
  • Bjorner, D., ed
Series: Lecture Notes in Computer Science ; 86
Material type: Text Book
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N802.

193.
Using sophisticated models in resolution therem proving by David M. Sanford. by
  • Sanford, David M
Series: Lecture notes in computer science
Material type: Text 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;1.

194.
Computer programs for spelling correction an experiment in program design by James L. Peterson by
  • Peterson, James L
Series: Lecture Notes in Computer Science ; 96
Material type: Text Book
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.12 N80.

195.
Methods of algroithms language implementation. ed by A Ershov and C H A Koster by
  • Ershov, A., ed
  • Koster, C H A., ed
Series: Lecture notes in computer science ; 47
Material type: Text Book
Publication details: Berlin Springer-Verlag 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.453 N771.

196.
Concurrent pascal compiler for minicomputers by Alfred C. Hartmann by
  • Hartmann, Alfred C
Series: Lecture Notes in Computer Science ; 50
Material type: Text Book
Publication details: Berlin Springer-Verlag 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N777.

197.
Language design and programming methodology - Proceedings ed. by Jeffry M. Tobias by
  • Language design and programming methodology Symposium held in Sydney, Australia, 10-11 September, 1979
  • Tobias, Jeffry M., ed
Series: Lecture Notes in Computer Science ; 79
Material type: Text Book
Publication details: Berlin Springer-Verlag 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N79.

198.
International symposium on programming - Proceedings ed. by B. Robinet by
  • 4th Colloque Intl. Sur la Programmation,Paris,22-24 Apr 1980
  • Robinet, B., ed
Series: Lecture Notes in Computer science ; V.83
Material type: Text Book
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N80.

199.
Feedback shift registers by Christon, Ronse. by
  • Ronse, Christion
Series: Lecture notes in computer science V.169
Material type: Text Book
Publication details: Berlin Springer-Verlag 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N82.

200.
Database design techniques V.2 ed. by S. B. Yao, T. L. Kunii by
  • Yao, S. B., ed
  • Kunii, T. L., ed
Series: Lecture notes in computer science 133
Material type: Text Book
Publication details: Berlin Springer-Verlag 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8212.

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