Your search returned 331 results.

Sort
Results
281.
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.

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

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

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

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

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

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

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

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

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

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

292.
Conference on formal aspects of cognitive processes(22 1972:Ann Arbor, Mich) ed by Thomas Storer and David Winter by
  • Storer, Thomas.,ed
  • Winter, David., ed
Series: Lecture notes in computer science ; 22
Material type: Text Book
Publication details: Berlin Spinger-Verlag 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.5306 N75.

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

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

295.
Mathematical foundation of computer science ed. by J. Gruska, M. Chytil. by
  • symposium Czechoslovokia, Aug 31 -Sept. 4 , 1981
  • Chytil, M
Series: Lecture notes in computer science 118
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.7 N812.

296.
Iota programming system a modular programming enviornment ed. by R. Nakajima, T. Yuasa. by
  • Goos, G,
  • Nakajima, R., ed
  • Yuasa, T., ed
Series: Lecture notes in computer science 160 ;
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: 001.642 GOO.

297.
Algorithms in modern mathematics and computer science ed. by A. P. Ershov, D. E. Knuth. by
  • proceedings, urgench, uzbek SSR
  • Ershov, A. P., ed
  • Knuth, D. E., ed
Series: Lecture notes in computer science
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.4 N813.

298.
On the integration of algebraic functions by James Harold Davenport by
  • Davenport, James Harold
Series: Lecture notes in computer science 102
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.4 N812.

299.
Introduction to the PL/CV2 programming logic by R.L. Constable, S.D. Johnson and C.D. Eichenlaub by
  • Constable, R.L
  • Johnson, S.D
  • Eichenlaub, C.D
Series: Lecture notes in computer science ; 135
Material type: Text Book
Publication details: Berlin Spriner-Verlag 1982
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N827.

300.
Computer algebra ed. by Van J. A. Hulzen. by
  • European computer algebra conference
  • Hulzen, Van J. A., ed
Series: Lecture notes in computer science 162
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: 519.4 N835.

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