Your search returned 1546 results.

Sort
Results
301.
Software configuration management Proceedings ed. by Reidar Conradi by
  • Workshop on Software Configuration Management(7th 1997 Boston)
  • Conradi, Reidar., ed
Series: Lecture notes in computer science, v.1235
Material type: Text Book
Publication details: Berlin S-V 1997
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N975.

302.
Languages and compilers for parallel computing Proceedings ed. by David Sehr...(et al) by
  • International Workshop on Languages and Compilers for Parallel Computing(9th 1996 San Jose, California)
  • Sehr, David., et al., ed
Series: Lecture notes in computer science, v.1239
Material type: Text Book
Publication details: Berlin S-V 1997
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.45 N97.

303.
Computer performance evalution Modelling techniques and tools ed. by Raymond Marie, Brigitte Plateau, Maria Calzarossa by
  • International Conference on Computer Performance Evaluation(9th 1997 St.Malo, France)
  • Marie, Raymond., ed
  • Plateau, Brigette., ed
  • Calzarossa., ed
Series: Lecture notes in computer science, v.1245
Material type: Text Book
Publication details: Berlin S-V 1997
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.24 N97.

304.
Advances in Cryptology-EUROCRYPT'97. ed. by Walter Fumy by
  • International Conference on the Theory and Application of Cryptographic Techniques(Konstanz, Germany 1997)
  • Fumy, Walter., ed
Series: Lecture notes in computer science, 1233
Material type: Text Book
Publication details: Berlin Springer-Verlag 1997
Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.82 N97.

305.
New trends in formal languages Control, Cooperation, and Combinatorics. ed. by Gheorghe Paun, Arto Salomaa by
  • Paun, Gheorghe., ed
  • Salomaa, Arto., ed
Series: Lecture notes in computer science, v.1218
Material type: Text Book
Publication details: Berlin Springer 1997
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N972.

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

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

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

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

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

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

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

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

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

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

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

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

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

319.
Graph-grammer and their application to computer science and biology ed. by Volker Claus, Hartmut Ehrig and Grzegorz Rozenberg by
  • Intl. Workshop, Bad Honnef, Oct 30 - Nov 3, 1978
  • Claus, Volker., ed
  • Ehrig, Hartmut., ed
  • Rozenberg, Grzegorz., ed
Series: Lecture Notes in Computer Science ; 73
Material type: Text Book
Publication details: Berlin Springer-Verlag 1979
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.66 N79.

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

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