Your search returned 1374 results.

Sort
Results
21.
Graph transformations in computer science - Proceedings ed. by Hans Jurgen Schneider, Hartmut Ehrig by
  • Schneider, Hans Jurgen., ed
  • Ehrig, Hartmut., ed
Series: Lecture Notes in Computer Science ; 776
Material type: Text Book
Publication details: Berlin Springer-Verlag 1994
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.6 N944.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

39.
CONPAR 86 Proceedings/edited by Wolfgang Handler (...) by
  • Handler, Wolfgang
  • Conference on Algorithms and Hardware for Parallel Processing Aachen 1986
Series: Lecture notes in computer science ; v.237.
Material type: Text Book
Publication details: Berlin Springer Verlag
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N8628.

40.
Foundations of software technology and theoretical computer science ed. by K. V. Nori and S. Kumar. by
  • Nori, K. V., ed
  • Kumar, S., ed
  • Conference on Foundations of Software Technology and Theoretical Computer Science. ( Pune, India : 1988 )
Series: Lecture notes in computer science ; no.338
Material type: Text Book
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 001.6425 N8849.

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