Your search returned 361 results.

Sort
Results
141.
Proceedings of the symposium .... /ed. by C. Bohm by
  • Bohm, C
  • Calculus and Computer Science Theory Rome 1975
Series: Lecture Notes in Computer Science ; 37
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: 511.3 N758.

142.
Trees in algebra and programming ed. by G. Ausiello and M. Protasi by
  • Proceedings on Trees in Algebra and Programming, L'Aquila, 1983
  • Ausiello, G., ed
  • Protasi, M., ed
Series: Lecture Notes in Computer Science V.159
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: 511.5 N831.

143.
Foundations of Computation Theory (Borghholm 1983) ed. by Marek Karpinski by
  • Conference on foundation of computation theory
  • Karpinski, Marek
Series: Lecture Notes in Computer Science V.158
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: 511.3 N83.

144.
Proceedings of the 1977 international conference on fundamentals of computation theory ed. by Marek Karpinski by
  • Karpinski, Marek
  • Fundamentals of Computation Theory ( Poland : 1977 )
Series: Lecture notes in Computer Science ; V.56
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: 511.3 N775.

145.
Seventh international conference on automated deduction by R. E. Shostak by
  • International Conference on Automated Deduction (Napa, California 1984)
  • Shostak, R. E
Series: Lecture Notes in Computer Science V.170
Material type: Text Book
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N841.

146.
Graphtheoretic concepts in computer science ed. by Hartmut Nolterneier by
  • International Workshop on Graphotheoretic Concept in Computer Science, Bad Honnet,1980
  • Nolterneier, Hartmut., ed
Series: Lecture Notes in Computer Science V.100
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: 511.5 N811.

147.
Semantics of Computer Computation Evian 1979 ed. by Gilles Kahn by
  • Proceedings of the international symposium on semantics of concurrent computation
  • Khan, Gilles., ed
Series: Lecture Notes in Computer Science V.70
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: 511.3 N794.

148.
Graph theory and alogrithms ed. by N. Saito, T. Nishizeki by
  • Symposium on Graph Theory and Algorithms,Sendai,1980
  • Saito, N
  • Nishizeki, T
Series: Lecture Notes in Computer Science V.108
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: 511.5 N812.

149.
Logic of programs ed. by Edmund Clarke, Dexter Kozen by
  • Workshop on Logic of Programs (Pittsburgh 1983)
  • Clarke, Edmund
  • Kozen, Dexter
Series: Lecture Notes in Computer Science V.164
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.3 N843.

150.
Computing methods in applied sciences and engineering. pt 1 ed by R. Glowinski and J.L. Lions by
  • International Symposium on Computing methods in Applied Sciences and Engineering(1973 Versailles)
  • Glowinski, R.,ed
  • Lions, J.L.,ed
  • Institut de Recherche d'Informatique et d'Automatique
Series: Lecture Notes in Computer Science ; 10
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: 620.00285 N74.1;1.

151.
Computing methods in applied sciences and engineering. pt 2 ed by R. Glowinski and J.L. Lions by
  • International Symposium on Computing methods in Applied Sciences and Engineering(1973 Versailles)
  • Glowinski, R.,ed
  • Lions, J.L.,ed
  • Institut de Recherche d'Informatique et d'Automatique
Series: Lecture Notes in Computer Science ; 11
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: 620.00285 N74.2.

152.
Computing methods in applied sciences and engineering. Pt 1 ed by R. Glowinski and J.L. Lions by
  • International Symposium on Computing Methods in Applied Sciences and Engineering(1973 Versailles)
  • Glowinski, R.,ed
  • Lions, J.L.,ed
  • Institut de Recherche d'Informatique et d'Automatique
Series: Lecture Notes in Computer Science ; 10
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: 620.00285 N74.1.

153.
New trends in neural computation - Proceedings ed. by J Mira, J. Cabestany and A. Prieto by
  • International Workshop on Artificial Neural Networks (1993 Sitges,Spain)
  • Mira, J., ed
  • Cabestany, J., ed
  • Prieto, A., ed
Series: Lecture notes in computer science, 686
Material type: Text Book
Publication details: New York Springer-Verlag 1993
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 N939.

154.
Recent developments in computer vision ed. by S.Z. Li, [et al] by
  • Asian conference on computer vision(2nd Singapore 1995)
  • Li, S.Z., ed., [et al]
Series: Lecture notes in computer science ; 1035
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.37 N96.

155.
Operating systems engineering ed. by M. Maekawa and L. A. Belady by
  • Maekawa M., ed
  • Belady L. A., ed
Series: Lecture notes in computer science 143
Material type: Text Book
Publication details: Berlin Springer-Verlag 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.43 N82.

156.
Database techniques for pictorial applications ed by A. Blaser by
  • Conference on database techniques for pictorial applications (Florence 1979)
  • Blaser, A. ed
Series: Lecture notes in computer science ; 81
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: 621.381548 N80.

157.
Automata, languages and programming ed by Jacques Loeckx by
  • Loeckx, Jacques., ed
Series: Lecture Notes in Computer Science ; V.14
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 N748.

158.
Exercises in computer systems and analysis by W. Everling. by
  • Everling, W
Series: Lecture notes in Computer science,35
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 N729;1.

159.
Parallel processing Proceedings of the Sagamore computer conference (August 20-23, 1974) ed. by Tse-yun Feng. by
  • Feng, Tse-yun., ed
Series: Lecture notes in computer science ; 24
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 N752.

160.
Mathematical foundations of computer science ed. by A. Blikle. by
  • Symposium at Jadwisin June 17-22, 1974 (3rd)
  • Blikle, A., ed
Series: Lecture notes in computer science 28
Material type: Text Book
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.4 N755.

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