Your search returned 331 results.

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

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

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

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

145.
Graph-theoretic concepts in computer science 18th International Workshop, WG'92 Wiesbaden-naurod, Germany, June 1992 Proceedings by E W Mayr by
  • Mayr, E W
  • International Workshop, WG '92
Series: Lecture Notes in Computer Science 657
Material type: Text Book
Publication details: Berlin Springer 1993
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 006.6 N933.

146.
Mathematical foundations of programming semantics ed by M Main, et al by
  • Intl. Conf. on Mathematical foundations...(New Orleans 1989)
  • Main, M., ed
Series: Lecture notes in computer science ; 442
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.131 N904.

147.
Machines, languages and complexity ed. by J. Dassow, J. Kelemen. by
  • International meeting of young computer scientists.( Smoleince, 1988)
  • Dassow, J.,ed. Kelemen, J.,ed
Series: Lecture notes in computer science No.381
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: 006.3 N89.

148.
VDM '90 : VDM & Z -formal methods in software development by
  • ed. by D. Bjorner, C.A.R. Hoare and H. Langmaack
  • Bjorner, D., ed
  • Hoare, C.A.R., ed
  • Langmaack, H., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N90.

149.
Uncertainity in knowledge-based systems ed. by B. Bouchon and R.R. Yager. by
  • Bouchon, B., ed
  • Yager, R.R., ed
Series: Lecture notes in computer science ;
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: 006.33015192 N87.

150.
Mathematics of program construction. by
  • Snepscheut, J.L.A. Vande
  • Intl. Conference on Mathematics of Program Construction. Groningen, Netherlands 1989
Series: Lecture notes in computer science ; 375
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: 511.3 N892.

151.
Rewriting techniques and applications ed. by Nachum Dershowitz. by
  • Dershowitz, Nachum., ed
  • Intl. Conference on Rewriting Techniques and Applications ( Chapel Hill : 1989 )
Series: Lecture notes in computer science ;
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: 005.13 N898.

152.
Trends, techniques and problems in theoretical computer science ed. by Alica Kelemenova and Jozef Kelemen by
  • Kelemenova, Alica., ed
  • Kelemen, Jozef., ed
Series: Lecture notes in computer science ;
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 N87.

153.
Database machines ed. by H. Boral and P. Faudemay. by
  • Boral, H., ed
  • Faudemay, P., ed
  • Intl. Workshop IWDM '89 ( Deauville, France : 1989 )
Series: Lecture notes in computer science ; 368
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.74 N894.

154.
Algebraic and logic programming ed. by J. Grabowski, P. Lescarme and W. Wechler. by
  • Grabowski, J., ed
  • Lescarme, P., ed
  • Wechler, W., 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: 006.3 N8820.

155.
Graph-theoretic concepts in computer science ed. by Gottfried Tinhofer and Gunther Schimidt. by
  • Tinhofer, Gottfried., ed
  • Schmidt, Gunther., ed
  • Intl. Workshop on Graphic Theoretic Concepts in Computer Science. ( Bernreid : 1986 )
Series: Lecture notes in computer science ; v.246
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: 511.5 N872.

156.
Graph-theoretic concepts in computer science ed. by J. Van Leeuwen. by
  • Van Leeuwen, J., ed
  • Intl. Workshop on Graph-theoretic Concepts in Computer Science. ( Amsterdam : 1988 )
Series: Lecture notes in computer science ; v.344
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: 511.5 N891.

157.
Graph-theoretic concepts in computer science ed. by M. Nagl. by
  • Intl. Workshop on Graph-theoretic Concepts in Computer Science (WG '89), Castle Rolduc, 1989
  • Nagl, M., ed
Series: Lecture notes in computer science V.411
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N902.

158.
Parallel processing CONPAR'92-VAPPV - Proceedings ed. by L. Bouge, [et al] by
  • 2nd International Conference, Lyon,France, September 1-4, 1992
  • Bouge, L., ed., [et al]
Series: Lecture Notes in computer science ; 634
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: 004.35 N922.

159.
Semantics of systems of concurrent processes; LITP spring school on ... /ed. (by) I. Guessarin by
  • Guessarin, I
  • LITP Spring School on Theoretical Computer Science
Series: Lecture Notes in Computer Science ; 469
Material type: Text Book
Publication details: Berlin S-V 1990
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.35015113 N90.

160.
Formal properties of finite automata and applications ed. by J.E. Pin by
  • LITP Spring School on Theoretical Computer Science (Ramatuelle,1988)
  • Pin, J.E.,ed
Series: Lecture Notes in Computer Science No.386
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: 004.015113 N89.

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