Your search returned 235 results.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

96.
Parallel architectures and languages europe; v.2 by E. Odijk and M. Rem and J. C. Syre. by
  • Odijk, E
  • Rem, M
  • Syre, J. C
  • Parle Conference' 89. ( Eindhoven, Netherlands : 1989 )
Series: Lecture notes in computer science ; 365 & 366
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.64 N894.1,N894.2.

97.
Stepwise refinement of distributed systems : models, formalisms, correctness ed. by J W De Bakker, W P De Rower and G Rozenberg by
  • De Bakker, J. W., ed
  • De Rower, W. P., ed
  • Rozenberg, G., 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: 004.36 N9010.

98.
Software engineering education. ed by Lionel E Deimel by
  • Diemel, Lionel E., 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.107 N90.

99.
Algorithm theory - SWAT'92 - Proceedings ed. by O. Nurmi, E. Ukkonen by
  • 3rd Scandinavian Workshop, Helsinki, Finland, July 8-10, 1992
  • Nurmi, O., ed
  • Ukkonen, E., ed
Series: Lecture Notes in computer science ; 621
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 N927.

100.
SWAT '88 /ed. by R. Karlsson and A. Lingas. by
  • Karlsson, R. Lingas, A
  • Scandinavian Workshop on Algorithm Theory Halmstad 1988
Series: Lecture notes in computer science ; v.318
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: 511.0285 N88.

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