Your search returned 21 results.

Sort
Results
1.
Distributed sytems by M.W. Alford, ed. by M. Paul, H.J. Siegert by
  • Alford, M.W
  • Paul, M., ed
  • Siegert, H.J., ed
Series: Lecture notes in computer science ; 190
Material type: Text Book
Publication details: Berlin S-V 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.36 N85.

2.
Foundations of software technology and theoretical computer science proceedings /ed. by S.N. Maheshwari. by
  • Maheshwari, S.N
  • Conference on Foundations of Software Technology and theoritical technology ( New Delhi : 1985)
Series: Lecture notes in computer science ; 206
Material type: Text Book
Publication details: Berlin S-V 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N851.

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

4.
P-functions & boolean matrix factorization by
  • Thayse, Andre
Series: Lecture Notes in Computer Science ; 175
Material type: Text Book; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer-Verlag, 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.32 THA.

5.
Foundations of Software Technology and Theoretical Computer Science Proceedings ed by G Goos and J Hartmanis by
  • Conference on Foundations of Software Technology and Theoretical Computer Science (5th New Delhi Dec 1985)
  • Goos, G., ed
  • Hartmanis, J., ed
Series: Lecture Notes in Computer Science ; 206
Material type: Text Book
Publication details: Berlin springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N851;1.

6.
Advances in cryptology - Crypto 1985 Proceedings ed. by H.C. Williams by
  • International Cryptology Conference
  • Williams, H C., ed
Series: Lecture notes in computer science
Material type: Text Book
Publication details: Berlin S-V 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 .

7.
Foundations of software technology and theoretical computer science Proceedings ed by S N Maheshwari by
  • Conference on Foundations of software technology and theoretical computer science (5 New Delhi 1985)
  • Maheshwari,S.N., ed
Series: Lecture notes in computer science ; Vol.206
Material type: Text Book
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N854.

8.
Eurocal '85 European conforence on computer algebra Liz, Australia, April 1985 ed by Burno Buchberger by
  • Buchberger, Burno
Series: Lecture notes in computer science
Material type: Text Book
Publication details: New York Springer Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.4 N856.1.

9.
Functional Programming Languages and Computer architectur ed by Jean-Pierre Jouannaud by
  • Jouannaud, Jean-Pierre
Series: Lecture Notes in Computer Science 201
Material type: Text Book
Publication details: New York Springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8518.

10.
Advances in in petri nets 1984 ed by G Rozenberg by
  • Rozenberg, G
Series: Lecture Notes in Computer Science 188
Material type: Text Book
Publication details: New York Springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N854.

11.
Advances in Cryptology Proceedings of CRYPTO 84 ed by G Goos and J Hartmanis by
  • Goos, G
  • Hartmanis, J
Series: Lecture Notes in Computer Science 196
Material type: Text Book
Publication details: New York Springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.54360285 N85.

12.
Analsis of concurrent systems ed by B T Denvir, et al by
  • Denvir, B T, et al
Series: Lecture notes in computer science ; 207
Material type: Text Book
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6 N858.

13.
Logics of Programs Rohit Parikh by
  • Parikh, Rohit
Series: Lecture Notes in Computer Science
Material type: Text Book
Publication details: Berlin S-V 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N8512.

14.
A Survey of Verification Techniques for Parallel Programs Howard Barringer by
  • Barringer, Howard
Series: Lecture Notes in Computer Science-191
Material type: Text Book
Publication details: Berlin S-V 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.64404 N852.

15.
Automata, Languages and Programming Wilfried Brauer by
  • Brauer, Wilfried
Series: Lecture Notes in Computer Science-194
Material type: Text Book
Publication details: Berlin S-V 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N858.

16.
A Hierarchical Associative Processing System Heinrich J. Stuttgen by
  • Stuttgen, J. Heinrich
Series: Lecture Notes in Computer Science-195
Material type: Text Book
Publication details: Berlin S-V 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6 N852.

17.
Fundamentals of Computation Theory Lothar Budach by
  • Budach, Lothar
Series: Lecture Notes in Computer Science-199
Material type: Text Book
Publication details: Berlin S-V 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N851.

18.
Trace Theory and VLSI Design ed by G Goss and J Hartmanis by
  • Goss, G
  • Hartmanis, J
Series: Lecture Notes in Computer Science 200
Material type: Text Book
Publication details: New York Springer 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.38173 N8511.

19.
Distributed systems ed by G Goos and J Hartmanis by
  • Goos, G., ed
  • Hartmanis, J., ed
Series: Lecture notes in computer science ; 190
Material type: Text Book
Publication details: Berlin Springer 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N856;1.

20.
STACS 85 ed by K Mehlhorn by
  • Symp.on theoretical aspects of computer sciene (2 Germany 85
  • Mehlhorn, K., ed
Series: Lecture Notes in Computer Science ; 182
Material type: Text Book
Publication details: New York Springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.64 N854.

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