Your search returned 331 results.

Sort
Results
161.
LATIN '92 1st. Latin American symposium on theoretical informatics /ed. by I. Simon by
  • Simon, I
  • Latin American Symposium on Theoretical Informatics
Series: Lecture Notes in Computer Science ; 583
Material type: Text Book
Publication details: Berlin S-V 1992
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.0151 N921.

162.
Mathematical foundations of computer science 1986 - Procedings /ed. byJ. Gruska, B. Rovan and J. Wiedermann. by
  • MFCS '86. Bratislava, Czechoslovak 1986
Series: Lecture notes in computer science ; 223
Material type: Text Book
Publication details: Berlin S-V 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N861.

163.
Mathematical foundations of computer science 1989 /ed. (by) A. Kreczmar and G. Mirkowska. by
  • MFCS '89. Porabka-Kozubniki, Poland 1989
Series: Lecture notes in computer science ; 379
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.131 N894.

164.
Mathematical foundations of computer science '1990 ed. by B. Rovan by
  • Rovan, B., ed
Series: Lecture notes in computer science ; 452
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 N90.

165.
Advanced information systems engineering /ed. by B. Steinholtz, A. Solvberg, L. Bergman. by
  • Steinholtz, B. Solvberg, A. Bergman, L
  • Nordic Conference CAISE '90. Stockholm 1990
Series: Lecture notes in computer science ; 436
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.1 N903.

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

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

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

169.
Algorithms international symposium SIGAL '90 /ed. by T. Asano, T. Ibaraki, H. Imai (...) by
  • Asano, T
  • SIGAL International Symposium on Algorithms
  • Ibaraki, T
  • Imai, H
Series: Lecture Notes in Computer Science ; 450
Material type: Text Book
Publication details: vii, 478p S-V 1990
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.1 N9022.

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

171.
SWAT '90 /ed. by J.R. Gilbert and R. Karlsson by
  • Gilbert, J.R
  • Scandinavian Workshop on Algorithm Theory
  • Karlsson, R
Series: Lecture Notes in Computer Science ; 447
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: 005.1 N9021.

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

173.
SWAT '88 ed. by R. Karlsson and A. Lingas. by
  • Karlsson, R., ed
  • Lingas, A., 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: 511.0285 N881.

174.
Natural language at the computer ed. by A. Blaser. by
  • Blaser, A., 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.35 N881.

175.
Computation theory proceedings ed. by Andrzej Skowron. by
  • Symposium on Computation Theory.( Zaborow, Poland, 1984)
  • Skowron, Andrzej.,ed
Series: Lecture notes in computer science No.208
Material type: Text Book
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N85.

176.
Formal techniques in real-time and fault-tolerant systems. ed. by M. Joseph. by
  • Joseph, M., e.d
  • Symposium on Formal Techniques in Real-time and Fault-tolerant Systems ( Warwick : 1988 )
Series: Lecture notes in computer science ; no.331
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.64404 N8828.

177.
Logic at Botik '89 ed. by A. R. Meyer, M. A. Taitslin by
  • Symposium on Logical Foundations of Computer Science
  • Meyer, A. R., ed
  • Taitslin, M. A., ed
Series: Lecture notes in computer science V.363
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 N891.

178.
Logic at Botik '89. by
  • Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky 1989
Series: Lecture notes in computer science ; 363
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.13 N89.

179.
Mathematical foundations of computer science 1988 ed. by M. P. Chytil (...) by
  • Chytil, M. P., ed
  • Janiga, L., ed
  • Koubek, V., ed
  • Symposium on Mathematical Foundations of Computer Science - MFCS '88 ( Carlsbad : 1988 )
Series: Lecture notes in computer science ; v.324
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: 519.7 N881.

180.
Mathematical foundations of computer science 1977 proceedings /ed. by J. Gruska. by
  • Gruska, J
  • Symposium on Mathe matical Foundations of Computer Science 1977. Tatranska 1977
Series: Lecture notes in computer science ; 53.
Material type: Text Book
Publication details: Berlin S-V 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N771.

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