Your search returned 235 results.

Sort
Results
161.
Evolutionary computing - Selected papers ed. by Terence C. Fogarty by
  • AISB Workshop, Brighton, U.K., April 1-2, 1996
Series: Lecture Notes in computer science ; 1143
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N962.

162.
Formal systems specification the RPC-memory specification case study ed. by Manfred Broy, Stephan Merz and Katharina Spies by
  • Merz, Stephan., ed
  • Spies, Katharina., ed
  • Broy, Manfred., ed
Series: Lecture Notes in computer science ; V.1169
Material type: Text Book
Publication details: New York Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.2 N9615.

163.
Information security and privacy - Proceedings ed. by Josef Pieprzyk, Jennifer Seberry by
  • Australasian Conference on Information Security and Privacy, ACISP'96,Australia,June 24-26, 1996
  • Pieprzyk, Josef., ed
  • Seberry, Jennifer., ed
Series: Lecture notes in computer science ; 1172
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.8 N96.

164.
Managing information highways PRISM book principles, methods and case studies for designing telecommunications managment systems ed. by Kim Berquist, Andrew Berquist by
  • Berquist, Kim., ed
  • Berquist, Andrew., ed
Series: Lecture notes in computer science ; V.1164
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.65 N96.

165.
Combinatorics and computer science - Proceedings ed. by Michel Deza, Reinhardt Euler and Ioannis Manoussakis by
  • 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3-5, 1995
Series: Lecture Notes in computer science ; V.1120
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.3 N96.

166.
Object-based parallel and distributed computation ed. by Jean-Pierre Briot, Jean-Marc Geib and Akinori Yonezaw by
  • Geib, Jean-Marc., ed
  • Yonezawa, Akinori., ed
  • Briot, Jean-Pierre., ed
Series: Lecture notes in computer science ; 1107
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.36 N96.

167.
Computer aided verification - Proceedings ed. by Rajeev Alur, Thomas A. Henzinger by
  • 8th International Conference held at New Brunswick, New Jersey, July 31-Aug 3, 1996
  • Alur, Rajeev., ed
  • Henzinger, Thomas A., ed
Series: Lecture Notes in computer science ; V.1102
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.6 N964.

168.
Algebraic methodology and software technology - Proceedings ed. by Martin Wirsing, Maurice Nivat by
  • 5th International Conference, AMAST'96, Munich, Germany Wirsing, July 1-5, 1996
  • Wirsing, Martin., ed
  • Nivat, Maurice., ed
Series: Lecture Notes in computer science ; 1101
Material type: Text Book
Publication details: New York Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N961.

169.
Symbolic and algebraic computation ed. by Edward W. Ng. by
  • Ng., Edward W., ed
Series: Lecture notes in computer science 72
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: 519.4 N791.

170.
Mathematical foundations of computer sciences 1980 ed. by P. Dembinski. by
  • symposium(9th0 held in Poland, sept. 1-5, 1980
Series: Lecture notes in computer science 88
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: 519.7 N80.

171.
Using sophisticated models in resolution theorem proving by David M. Sandford. by
  • Sandford, David M
Series: Lecture notes in computer science 90
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: 519.4 N803.

172.
Calculus of communicating systems By Robin, Milner. by
  • Milner, Robin
Series: Lecture notes in computer science 92
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.64 N803.

173.
Sementics-directed compiler generation by Neil D. Jones. by
  • Jones, Neil D
Series: Lecture notes in computer science
Material type: Text Book
Publication details: New york Springer-Verlag 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N801.

174.
Codes for boundary value problems in ordinary differential equations ed by B. Childs [et al] by
  • proceedings of a working conference may 14-17,1978
  • Childs, B.[et al], ed
Series: Lecture notes in computer science 76
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: 519.4 N794.

175.
Relational theory of computing ed. by John G. Sanderson by
  • Sanderson, John G., ed
Series: Lecture Notes in Computer Science ; V.82
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: 005.1 N801.

176.
Hardware specification, verification and synthesis : mathematical aspects ed. by M. Leeser and G. Brown. by
  • Leeser, M., ed
  • Brown, G., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: New York Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3920151 N90.

177.
Relational theory of computing by John G. Sanderson by
  • Sanderson, John G
Series: Lecture Notes in Computer Science ; V.82
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: 005.1 N801;1.

178.
Computing and combinatorics - Proceedings ed. by Jin-Yi Cai, Chak Kuen Wong by
  • 2nd Annual International Conference, COCOON, 96, Hong Kong, June 17-19, 1996
  • Cai, Jin-Yi., ed
  • Wong, Chak Kuen., ed
Series: Lecture Notes in computer science ; 1090
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015116 N96.

179.
Advances in crytology- CRYPTO'96 - Proceedings ed. by Neal Koblitz by
  • 16th Annual International Cryptology Conference, Santa Barbara, California, August 18-22, 1996
  • Koblitz, Neal., ed
Series: Lecture notes in computer science, 1109
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.82 N961.

180.
EUROCODE'90 - Proceedings ed. by Gerard Cohen, Pascale Charpin by
  • Cohen G. 1990),
  • Cohen, Gerard., ed
  • Charpin, Pascale., ed
Series: Lecture notes in computer science ; V.514
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: 003.54 COH.

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