Your search returned 1488 results.

Sort
Results
101.
TAPSOFT '93 theory and practice of software development - Proceedings ed. by M.-C. Gaudel, J.-P. Jouannaud, by
  • International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993
  • Gaudel, M.-C., ed
  • Jouannaud, J.-P., ed
Series: Lecture Notes in Computer Science ; No.668
Material type: Text Book
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N939.

102.
Theory and practice of software development '91 - proceedings ed. by S. Abramsky and T.S.E. Maibaum. by
  • International Joint Conference held in Brighton, UK, April 8-12, 1991
  • Abramsky, S. ed
  • Maibaum, T.S.E. ed
Series: Lecture notes in Computer Science ; 493
Material type: Text Book
Publication details: Berlin Springer-Verlag 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N912.1.

103.
TAPSOFT '89 proceedings of the international joint......; v.1 :advanced seminar on foundations of innovative software development..... by J. Diaz and F. Ovejas. by
  • Diaz, J
  • Ovejas, F
  • International Joint Conference on Theory and Practice of Software development ( Barcelona : 1989 )
Series: Lecture notes in computer science ; no.351
Material type: Text Book
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N8918.1.

104.
PARLE '93 parallel architectures and languages europe - Proceedings ed. by Arndt Bode, Mike Reeve and Gottfried Wolf by
  • 5th International PARLE Conference, Munich, Germany, June 14-17, 1993
  • Bode, Arndt., ed
  • Reeve, Mike., ed
  • Wolf, Gottfried., ed
Series: Lecture Notes in Computer Science ; 694
Material type: Text Book
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N93.

105.
Algorithmic number theory - Proceedings ed. by Leonard M. Adleman, Ming-Deh Huang by
  • 1st International symposium, ANTS-I(Ithaca, New York, May 6-9, 1994)
  • Adleman, Leonard M., ed
  • Huang, Ming-Deh., ed
Series: Lecture Notes in Computer Science 877
Material type: Text Book
Publication details: Berlin Springer-Verlag 1994
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.7028551 N94.

106.
Design and implementation of symbolic computation systems. by
  • Miola, A
  • International Symposium DISCO '90. Capri 1990
Series: Lecture notes in computer science ; 429
Material type: Text Book
Publication details: Berlin S-V 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N901.

107.
Algorithms and computation - Proceedings ed. by T. Ibaraki, [et al] by
  • 3rd International Symposium, ISAAC'92, Nagoya, Japan, December 16-18, 1992
  • Ibaraki, T., ed., [et al]
Series: Lecture Notes in computer science ; 650
Material type: Text Book
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N924.

108.
Mathematical foundations of computer science 1992 - Proceedings ed. by I.M. Havel, V. Koubek by
  • 17th International Symposium held at Prague, Czechoslovakia, August 24-28, 1992
  • Havel, I.M., ed
  • Koubek, V., ed
Series: Lecture Notes in computer science ; 629
Material type: Text Book
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N92.

109.
Optimal algorithms international symposium /ed by H. Djidjer. by
  • International Symposium on Optimal Algorithms. Varna 1989
Series: Lecture notes in computer science ; 401
Material type: Text Book
Publication details: Berlin S-V 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N8913.

110.
Statistical and scientific database management ed. by M. Rafanelli, J. C. Klensin, P. Svensson by
  • International Working Conference SSDBM (Rome 1988)
  • Rafanelli, M., ed
  • Klensin, J. C., ed
  • Svensson, P., ed
Series: Lecture notes in computer science no.339
Material type: Text Book
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8923.

111.
Computational geometry and its applications. by
  • International Workshop on Computational Geometry Wurzburg 1988
  • Noltemeier, Hartmut
Series: Lecture notes in computer science ; 333
Material type: Text Book
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 516.02854 N88;1.

112.
Computational geometry and its applications. by
  • Noltemeier, Hartmut
  • International Workshop on Computational Geometry Wurzburg 1988
Series: Lecture notes in computer science ; 333
Material type: Text Book
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 516.02854 N88.

113.
Distributed algorithms. by J Van Leeuwen by
  • Leeuwen, J Van
Series: Lecture notes in computer science ; no.312
Material type: Text Book
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N8814.

114.
Distributed algorithms. by
  • Van Leeuwen, J
  • International Workshop on Distributed Algorithms Amsterdam 1987
Series: Lecture notes in computer science ; no.312
Material type: Text Book
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6442 N885;1.

115.
Graph grammars and their application to computer science - Proceedings ed. by H. Ehrig, H.J. Kreowski and G. Rozenberg by
  • International Workshop, held at Bremen, Germany, March 5-9, 1990
  • Ehrig, H., ed
  • Kreowski, H.J., ed
  • Rozenberg, G ., ed
Series: Lecture Notes in Computer Science ; 532
Material type: Text Book
Publication details: Berlin Springer-Verlag 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015115 N91;1.

116.
Graph-grammars and their application to computer science ed.by H. Ehrig, M. Nagl , G.R. Rozenberg. by
  • International Workshop on Graph-grammars and their application to computer science( 3rd Warrenton, 1986)
  • Ehrig, H.,ed. Nagl, M. ,ed. Rozenberg, G.,ed
Series: Lecture notes in computer science No.291
Material type: Text Book
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015115 N87.

117.
Languages and compilers for parallel computing ed. by Utpal Banerjee, [et al] by
  • 5th International Workshop, New Haven, USA, August 3-5, 1992
  • Banerjee, Utpal., ed., [et al]
Series: Lecture Notes in Computer Science ; 757
Material type: Text Book
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N938.

118.
Advances in object-oriented database systems. ed K R Dittrich by
  • Dittrich, K R., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.74 N889.

119.
Automated and algorithmic debugging ed. by Peter A. Fritzson by
  • International Workshop, AADEBUG'93, Linkoping, Sweden, May 3-5, 1993
  • Fritzson, Peter A., ed
Series: Lecture Notes in Computer science ; 749
Material type: Text Book
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.14 N93;1.

120.
Meta-programming in logic - Proceedings ed. by A. Pettorossi by
  • 3rd International Workshop, META'92, Uppasala, Sweden, June 10-12, 1992
  • Pettorossi, A., ed
Series: Lecture Notes in computer science ; 649
Material type: Text Book
Publication details: Berin Springer-Verlag 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N921.

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