Your search returned 1546 results.

Sort
Results
41.
Future parallel computers/ edited by P.Treleven, M.Vanneschi. by
  • Treleaven, P. Vanneschi, M
  • Advanced Course on Future Parallel Computers Pisa 1986
Series: Lecture notes in computer science ; 272
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 N8620;1.

42.
Mathematical models for the semantics of parallelism. by
  • Zilli, Marisa Venturini
  • Advanced School on Mathematical Models for the Semantics of Parallelism Rome 1986
Series: Lecture notes in computer science ; no.280
Material type: Text Book
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 510.02854404 N87.

43.
Petri Nets central models and their properties ed. by Brauer W, Reisig W, and Rozenberg G. by
  • Brauer, W., ed
  • Reisig, W., ed
  • Rozenberg, G., ed
  • Advances in Petri Nets. pt.1 (Advanced Course) ( Bad Honnef : 1986 )
Series: Lecture notes in computer science ; no.254
Material type: Text Book
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N873.1.

44.
Petri Nets applications and relationships to other models of concurrency ed. by W. Brauer, W. Reisig and Rozenberg G. by
  • Brauer, W., ed
  • Reisig, W., ed
  • Rozenberg, G., ed
  • Advances in Petri Nets. pt.2 (Advanced Course) ( Bad Honnef : 1986 )
Series: Lecture notes in computer science ; no.255
Material type: Text Book
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N873.2.

45.
VLSI algorithms and architectures/edited by J.H.Reif. by
  • Reif, J.H
  • Aegean Workshop on Computing, AWOC 88 Corfu 1988
Series: Lecture notes in computer science. v.319
Material type: Text Book
Publication details: New York Springer Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6424 N8837;2.

46.
VLSI algorithms and architectures ed by J.H.Reif. by
  • Reif, J.H., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: New York Springer Verlag 1988
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N8816.

47.
Programming language Ada reference manual ed by G. Goos and J.Hartmanis by
  • Goos, G., ed
  • Hartmanis, J., ed
Series: Lecture notes in computer science ;
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: 005.133 N837.

48.
Combinatorial pattern matching - Proceedings ed. A. Apostolico, [et al] by
  • 3rd Annual Symposium, Tuson, Arizona, April 29 - May 1, 1992
  • Apostolico, A., ed., [et al]
Series: Lecture notes in computer science ; 644
Material type: Text Book
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.4 N92.

49.
STACS' 89 ed. by B. Monein and R. Cori. by
  • Monien, B., ed
  • Cori, R., ed
  • Annual Symposium on Theoretical Aspects of Computer Science ( Paderborn : 1989 )
Series: Lecture notes in computer science ; v.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: 001.6 N892.

50.
STACS '90 ed. by C. Choffrut, T. Lengauer. by
  • Choffrut, C,
  • Choffrut, C., ed
  • Lengauer, T., ed
  • Annual Symposium on Theoretical Aspects of Computer Science (Rouen, France 1990)
Series: Lecture notes in computer science V.415 ;
Material type: Text Book
Publication details: Berlin S-V 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 CHO.

51.
STACS 86 ed. by B. Monien, G.Vidal-Naquet. by
  • Annual Symposium on Theoretical Aspects of Computer Science.( Orsay, France, 1986)
  • Monien, B.,ed. Vidal-Naquet, G.,ed
Series: Lecture notes in computer science No.210
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: 004.0151 N86.

52.
STACS 87 ed. by F.J.Brandenburg, G.Vidal-Naquet, M.Wirsing. by
  • Brandenburg, F.J.,ed. Vidal-Naquet, G.,ed. Wirsing, M.,ed
  • Annual symposium on theoretical aspects of computer science.(4th: Passau, 1987)
Series: Lecture notes in computer science No.247
Material type: Text Book
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N87.

53.
Compiler compilers and high speed compilation. ed. by D. Hammer. by
  • Hammer, D., ed
  • CCHSC Workshop ( Berlin : 1988 )
Series: Lecture notes in computer science ; 371
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.642 N89.

54.
Combinatorial pattern matching - Proceedings ed. by A. Apostolico, [et al] by
  • CPM'93, Annual Symposium, Padova, Italy, June 2-4, 1993
  • Apostolico, A., ed, [et al]
Series: Lecture Notes in computer science ; 684
Material type: Text Book
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.4015116 N93.

55.
System development and Ada ed. by A N Haberman and U Montanari by
  • Haberman, A.N., ed
  • Montanari, U., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: Berlin Springer-Verlg 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N877.

56.
Advances in cryptology - CRYPTO '88 ed. by S. Goldwasser. by
  • Conference on the theory and application of cryptography( California, 1988)
Series: Lecture notes in computer science 403
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 N90.

57.
Advances in cryptology - CRYPTO '89 ed.by G. Brassard. by
  • Conference on advances in cryptology
  • Brassard,G.,ed
Series: Lecture notes in computer science No.435
Material type: Text Book
Publication details: New York Springer-Verlag 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 N901.

58.
Coding theory and applications ed. by Cohen G, Wolfmann J. by
  • Cohen, G
  • Wolfmann, J
  • Colloquium on Coding Theory and Applications ( Toulon, France : 1988 )
Series: Lecture notes in computer science ; 388
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: 519.4 N893.

59.
Temporal logic in specification /ed. by B. Benieqbal, H. barringer, A. Pnueli. by
  • Benieqbal, B. Barringer, H. Pnueli, A
  • Colloquium on Temporal Logic in Specification. Altringham 1987
Series: Lecture notes in computer science ; 398
Material type: Text Book
Publication details: Berlin S-V 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N89.

60.
CAAP '92 /ed. by J.C. Raoult. by
  • Raoult, J.C
  • Colloquium on Trees in Algebra and Programming. Rennes 1992
Series: Lecture notes in computer science ; 581
Material type: Text Book
Publication details: Berlin S-V 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N92.

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