Your search returned 1557 results.

Sort
Results
41.
Future parallel computers/ edited by P.Treleven, M.Vanneschi. by Series: Lecture notes in computer science ; 272
Material type: Text Text
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 Series: Lecture notes in computer science ; no.280
Material type: Text Text
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 Series: Lecture notes in computer science ; no.254
Material type: Text Text
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 Series: Lecture notes in computer science ; no.255
Material type: Text Text
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 Series: Lecture notes in computer science. v.319
Material type: Text Text
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 Series: Lecture notes in computer science ;
Material type: Text Text
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 Series: Lecture notes in computer science ;
Material type: Text Text
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 Series: Lecture notes in computer science ; 644
Material type: Text Text
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 Series: Lecture notes in computer science ; v.349
Material type: Text Text
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 Series: Lecture notes in computer science V.415 ;
Material type: Text Text
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 Series: Lecture notes in computer science No.210
Material type: Text Text
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 Series: Lecture notes in computer science No.247
Material type: Text Text
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 Series: Lecture notes in computer science ; 371
Material type: Text Text
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 Series: Lecture Notes in computer science ; 684
Material type: Text Text
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 Series: Lecture notes in computer science ;
Material type: Text Text
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 Series: Lecture notes in computer science 403
Material type: Text Text
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 Series: Lecture notes in computer science No.435
Material type: Text Text
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 Series: Lecture notes in computer science ; 388
Material type: Text Text
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 Series: Lecture notes in computer science ; 398
Material type: Text Text
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 Series: Lecture notes in computer science ; 581
Material type: Text Text
Publication details: Berlin S-V 1992
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.13 N92.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832