Your search returned 235 results.

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

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

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

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

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

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

107.
MFDBS '89. ed.by J. Demetrovics, B.Thalheim by
  • Symposium on Mathematical Fundamentals of Database Systems ( 2nd Visegrad, Hungary 1989 )
  • Demetrovics,J.,ed. Thalheim,B.,ed
Series: Lecture notes in computer science No.364
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.6442 N892.

108.
STACS 89 ed. by B. Monien, R. Cori by
  • Symposium on Theoretical Aspects of Computer Science (Paderborn,1989)
  • Monien, B.,ed. Cori, R.,ed
Series: Lecture Notes in Computer Science No.349
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.0151 N893.

109.
Parallel symbolic computing language, systems and applications - Proceedings ed. by Robert H. Halstead, Takayasu Ito by
  • US-Japan Workshop held at Cambridge, Oct 14-17, 1992
  • Halstead, Robert H., ed
  • Ito, Takayasu., ed
Series: Lecture Notes in Computer Science ; 748
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 N935.

110.
Parallel Lisp : languages and systems ed. by T.Ito and R.H. Halstead. by
  • Halstead, R.H., ed
  • Ito, T., 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.133 N9055.

111.
Algorithms and data structures ed. by F. Dahne, J. R. Sack, N. Santoro. by
  • Dahne, F., ed
  • Santoro, N., ed
  • Workshop WAOS '89 ( Ottawa : 1989 )
Series: Lecture notes in computer science ; 382
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 N8919.

112.
Foundations of logic and functional programming ed. by M. Boscarol, L Carlucci Aiello and G. Levi by
  • Boscarol, M., ed
  • Aiello, L Carlucci., ed
  • Levi, G., 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.115 N881.

113.
Mathematical foundations of programming language semantics ed. by M. Main etal. by
  • Main, M
  • Melton, A
  • Mislore, M
  • Workshop on Mathematical Foundations of Programming Language Semantics ( New Orleans : 1987 )
Series: Lecture notes in computer science ; 298
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: 510.02854 N88.

114.
WOPPLOT '86 Parallel Processing logic, organization and technology /ed. by J.D. Becker and I. Eisele. by
  • Becker, J.D. Eisele, I
  • Workshop on Parallel Processing: Logic, Organization and Technology. Neubiberg 1986
Series: Lecture notes in computer science ; no.253
Material type: Text Book
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8753.

115.
CSI '88. by
  • Workshop on computer science logic. ( Duisburg, FRG : 1988 )
Series: Lecture notes in computer science ; no.385
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.0285 N89.

116.
Advances in cryptology-EUROCRYPT '85 ed. by Franz Pichler. by
  • Workshop on the Theory and Applications of Cryptographic Techniques.( Linz, Austria,1985)
  • Pichler, Franz.,ed
Series: Lecture notes in computer science No.219
Material type: Text Book
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.82 N86.

117.
Net theory and applications /ed. by Wilfried Brauer by
  • Brauer, Wilfried
  • Advanced Course on General Net Theory of Processes and Systems
Series: Lecture Notes in Computer Science ; V.84
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: 001.61 N80.

118.
Ada : the choice for 92 ed by Dimitris Christodoulukis by
  • Christodoulukis, Dimitris
Series: Lecture notes in Computer Science, 499 ;
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.133 N9111.

119.
Rewriting techniques and applications : 4th International conference RTA proceedings by
  • ed by Ronald V. Book
  • Book, Ronald V., ed
Series: Lecture notes in Computer Science ,Vol.488 ;
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.13 N913.

120.
Next generation information system technology ed by J.W.Schmidt and A.A. Stogny by
  • Schmidt, J.W., ed
  • Stogny, A.A., ed
Series: Lecture notes in Computer Science, 504 ;
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.74 N912.

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