Your search returned 1557 results.

Sort
Results
301.
Software configuration management Proceedings ed. by Reidar Conradi by Series: Lecture notes in computer science, v.1235
Material type: Text Text
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 Series: Lecture notes in computer science, v.1239
Material type: Text Text
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.
304.
Advances in Cryptology-EUROCRYPT'97. ed. by Walter Fumy by Series: Lecture notes in computer science, 1233
Material type: Text Text
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 Series: Lecture notes in computer science, v.1218
Material type: Text Text
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 Series: Lecture notes in computer science, 4
Material type: Text Text
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 Series: Lecture Notes in Computer Science ; V.69
Material type: Text Text
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 Series: Lecture notes in computer science 119
Material type: Text Text
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 Series: Lecture notes in computer science V.110
Material type: Text Text
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 Series: Lecture notes in computer science 113
Material type: Text Text
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 Series: Lecture Notes in Computer Science ; 86
Material type: Text Text
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 Series: Lecture notes in computer science
Material type: Text Text
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 Series: Lecture Notes in Computer Science ; 96
Material type: Text Text
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 Series: Lecture notes in computer science ; 47
Material type: Text Text
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 Series: Lecture Notes in Computer Science ; 50
Material type: Text Text
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 Series: Lecture Notes in Computer Science ; 79
Material type: Text Text
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 Series: Lecture Notes in Computer science ; V.83
Material type: Text Text
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 Series: Lecture notes in computer science ; 22
Material type: Text Text
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.
320.
Feedback shift registers by Christon, Ronse. by Series: Lecture notes in computer science V.169
Material type: Text Text
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 © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832