Your search returned 331 results.

Sort
Results
201.
Advances in cryptology Eurocrypt '91 /ed. by D.W. Davies. by
  • Workshop on the Theory & Applications of Cryptographic Techniques
Series: Lecture notes in computer science ; 547
Material type: Text Book
Publication details: Berlin S-V 1991
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.82 N911.

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

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

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

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

206.
Parallel database systems ed by Pierre American. by
  • American, Pierre., ed
Series: Lecture notes in Computer Science, 503 ;
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.35 N9114.

207.
Foundations of object oriented languages ed by J.W. De Bakker, W.P. De Roever and G. Rozenberg by
  • De Bakker, J.W., ed
  • De Roever, W.P., ed
  • Rozenberg, G., ed
Series: Lecture Notes in Computer Science, 489 ;
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.11 N911.

208.
Boltic computer science : selected papers ed. by J. Barzdins, D. Bjorner. by
  • Barzdins, J., ed
  • Bjorner, D., ed
Series: Lecture notes in Computer Science, 502 ;
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.09474 N91.

209.
Digital image processing systems ed. by Leonard Bolc, Zenon Kulpa by
  • Bolc, Leonard., ed
  • Kulpa, Zenon., ed
Series: Lecture notes in computer science ; 109
Material type: Text Book
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.380414 N811.

210.
Context-free grammers covers, normal forms and parsing by Anton, Nijholt by
  • Nijholt, Anton
Series: Lecture notes in Computer Science V.93
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: 511.3 N80.

211.
Algebraic semantics by Irene Guessarian by
  • Guessarian, Irene
Series: Lecture notes in Computer Science V.99
Material type: Text Book
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N815.

212.
Grammar and l forms an introduction by Derick Wood by
  • Wood, Derick
Series: Lecture Notes in Computer Science V.91
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: 511.3 N808.

213.
Boolean calculus of differences by Andre Thayse by
  • Thayse, Andre
Series: Lecture Notes in Computer Science V.101
Material type: Text Book
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N81.

214.
First-order dynamic logic by David Harel, by
  • Harel, David
Series: Lecture Notes in Computer Science V.68
Material type: Text Book
Publication details: Berlin Springer-Verlag 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N795.

215.
Proceedings of the symposium .... /ed. by C. Bohm by
  • Bohm, C
  • Calculus and Computer Science Theory Rome 1975
Series: Lecture Notes in Computer Science ; 37
Material type: Text Book
Publication details: Berlin. Springer-Verlag 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N758.

216.
Trees in algebra and programming ed. by G. Ausiello and M. Protasi by
  • Proceedings on Trees in Algebra and Programming, L'Aquila, 1983
  • Ausiello, G., ed
  • Protasi, M., ed
Series: Lecture Notes in Computer Science V.159
Material type: Text Book
Publication details: Berlin Springer-Verlag 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N831.

217.
Foundations of Computation Theory (Borghholm 1983) ed. by Marek Karpinski by
  • Conference on foundation of computation theory
  • Karpinski, Marek
Series: Lecture Notes in Computer Science V.158
Material type: Text Book
Publication details: Berlin Springer-Verlag 1983
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N83.

218.
Proceedings of the 1977 international conference on fundamentals of computation theory ed. by Marek Karpinski by
  • Karpinski, Marek
  • Fundamentals of Computation Theory ( Poland : 1977 )
Series: Lecture notes in Computer Science ; V.56
Material type: Text Book
Publication details: Berlin Springer-Verlag 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N775.

219.
Graphtheoretic concepts in computer science ed. by Hartmut Nolterneier by
  • International Workshop on Graphotheoretic Concept in Computer Science, Bad Honnet,1980
  • Nolterneier, Hartmut., ed
Series: Lecture Notes in Computer Science V.100
Material type: Text Book
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N811.

220.
Semantics of Computer Computation Evian 1979 ed. by Gilles Kahn by
  • Proceedings of the international symposium on semantics of concurrent computation
  • Khan, Gilles., ed
Series: Lecture Notes in Computer Science V.70
Material type: Text Book
Publication details: Berlin Springer-Verlag 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N794.

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