Your search returned 1215 results.

Sort
Results
21.
Information hiding - Proceedings ed. by Ross Anderson by
  • 1st International Workshop held at Cambridge, U.K., May 30 - June 1, 1996
  • Anderson, Ross., ed
Series: Lecture Notes in computer science ; V.1174
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.69 N965.

22.
Software configuration management Proceedings ed. by Ian Sommerville by
  • International Workshop on Software Configuration Management(6th 1996 Berlin)
  • Sommerville, Ian., ed
Series: Lecture notes in computer science, Vol 1167
Material type: Text Book
Publication details: New York S-V 1996
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N964.

23.
Bounded incremental computation by G. Ramalingam by
  • Ramalingam, G
Series: Lecture Notes in computer science ; 1089
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N96.

24.
Matrix eigensystem routines - EISPACK guide by B.T.Smith,[et al] by
  • Smith, B.T., [ et al]
Series: Lecture notes in computer science 6
Edition: 2nd
Material type: Text Book
Publication details: Berlin Springer-Verlag 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.9430285425F N76.

25.
Algorithmic number theory - Proceedings ed. by Henri Cohen by
  • International Symposium on Algorithmic Number Theory(2nd, Talence, France, May 18-23, 1996)
  • Cohen, Henri., ed
Series: Lecture notes in computer science 1122
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.7028551 N96.

26.
Advances in Cryptology-EUROCRYPT'97. ed. by Walter Fumy by
  • International Conference on the Theory and Application of Cryptographic Techniques(Konstanz, Germany 1997)
  • Fumy, Walter., ed
Series: Lecture notes in computer science, 1233
Material type: Text Book
Publication details: Berlin Springer-Verlag 1997
Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.82 N97.

27.
Graph-grammer and their application to computer science and biology ed. by Volker Claus, Hartmut Ehrig and Grzegorz Rozenberg by
  • Intl. Workshop, Bad Honnef, Oct 30 - Nov 3, 1978
  • Claus, Volker., ed
  • Ehrig, Hartmut., ed
  • Rozenberg, Grzegorz., ed
Series: Lecture Notes in Computer Science ; 73
Material type: Text Book
Publication details: Berlin Springer-Verlag 1979
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.66 N79.

28.
Axiomatising the logic of computer programming by Robert Goldblatt. by
  • Goldblatt, Robert
Series: Lecture notes in computer science 130
Material type: Text Book
Publication details: Berlin Springer-Verlag 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.4 N821.

29.
Automatic differentiation Techniques and applications by Louis B. Rall. by
  • Rall, Louis B
Series: Lecture notes in computer science 120
Material type: Text Book
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.4 N814.

30.
Verifying concurrent processes using temporal logic by Brent T. Hailpern by
  • Hailpern, Brent T
Series: Lecture notes in computer science ; V.129
Material type: Text Book
Publication details: Berlin Springer-Verlag 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8212.

31.
Cryptography and coding - Proceedings ed. by Michael Darnell by
  • 6th IMA Intl. Conference, Cirencester, U.K. Dec 17-19, 1997
  • Darnell, Michael., ed
Series: Lecture notes in computer science ; 1355
Material type: Text Book
Publication details: Berlin Springer-Verlag 1997
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 N971.

32.
Foundations of software technology and theoretical computer science. by R. Shyamasundar. by
  • Shyamasundar, R
Series: Lecture notes in computer science. 652
Material type: Text Book
Publication details: Springer, Verlag 1992
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: .

33.
Foundation of software technology and theoretical computer science. by P.S. Thiagarajan. by
  • Thiagarajan, P.S
Series: Lecture notes in computer science
Material type: Text Book
Publication details: Springer, Verlag. 1994
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: .

34.
Fundamental algorithms for permutation groups by G. Butler by
  • Butler, G
Series: Lecture Notes in computer science ; 559
Material type: Text Book
Publication details: Berlin Springer-Verlag 1991
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N913;1.

35.
Algorithmic number theory - Proceedings ed. by J P Buhler by
  • International Symposium on Algorithmic Numer Theory(3rd Portland, Oregon 1998)
  • Buhler, J.P., ed
Series: Lecture notes in computer science 1423
Material type: Text Book
Publication details: Berlin Springer-Verlag 1998
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.7028551 N98.

36.
Distributed computing Proceedings ed. by Shay Kutten by
  • International Symposium on Distributed Computing(12th Andros, Greece 1998)
  • Kutten, Shay., ed
Series: Lecture notes in computer science, No. 1499
Material type: Text Book
Publication details: Berlin S-V 1998
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.36 N983.

37.
Topics in Cryptology-CT-RSA 2008 Proceedings ed by Tal Malkin by
  • Cryptograpers' Track at the RSA Conference( San Francisco 2008)
  • Malkin, Tal., ed by
Series: Lecture Notes in Computer Science 4964
Material type: Text Book
Publication details: New York Springer 2008
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 P082.

38.
View synthesis using stereo vision by Daniel Scharstein by
  • Scharstein, Daniel
Series: Lecture notes in computer science ; 1583
Material type: Text Book
Publication details: Berlin Springer-verlag 1999
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.37 N991.

39.
Foundations of software technology and theoretical computer science ed by C. Pandu Rangan, V. Raman and R. Ramanujam by
  • Conference on foundations of software technology and theoretical computer science(19th Chennai 1999)
  • Rangan, C. Pandu, ed
  • Raman, V., ed
  • Ramanujam, R., ed
Series: Lecture notes in computer science ; 1738
Material type: Text Book
Publication details: Berlin Springer-Verlag 1999
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N998.

40.
Formal techniques in real-time and fault-tolerant systems ed by Mathai Joseph by
  • International symposium, FTRTFT 2000 on formal techniques in Real-Time and Fault-Tolerant systems(6th Pune 2000)
  • Joseph, Mathai, ed
Series: Lecture notes in computer science ; 1926
Material type: Text Book
Publication details: Berlin Springer-Verlag 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.2 P.

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