Your search returned 1546 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1521.
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.

Place hold
1522.
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.

Place hold
1523.
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.

Place hold
1524.
The Programming Language Ada Reference Manual-American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 G.Goos and J. Hartmanis by
  • Goos, G
  • Hartmanis, J
Series: Lecture Notes in Computer Science-155
Material type: Text Book
Publication details: Berlin S-V 1983
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N839.

Place hold
1525.
SWAT 88 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 1988 Proceedings R.Karlsson and A.Lingas by
  • Karlsson, R
  • Lingas, A
Series: Lecture Notes in Computer Science-318
Material type: Text Book
Publication details: Berlin S-V 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.0285 N88;1.

Place hold
1526.
ISA '91 Algorithms - 2nd International Symposium On Algorithms Taipei, Republic of China, December-1991 Proceedigs W.L.Hsu and R.C.T.Lee by
  • Hsu, W.L
  • Lee, R.C.T
Series: Lecture Notes in Computer Science-557
Material type: Text Book
Publication details: Berlin S-V 1991
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N911.

Place hold
1527.
Compiler Construction-An Advanced Course F.L.Bauer and J. Eickel by
  • Bauer, F.L
  • Eickel, J
Series: Lecture Notes in Computer Science-21
Material type: Text Book
Publication details: Berlin S-V 1974
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6425 N74.

Place hold
1528.
Verifying Concurrent Processes Using Temporal Logic Brent T. Hailpern by
  • Hailpern, T. Brent
Series: Lecture Notes in Computer Science
Material type: Text Book
Publication details: Berlin S-V 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.642 N826.

Place hold
1529.
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.

Place hold
1530.
Advancess in Petri Nets 1989 ed by Grzegorz Rozenberg by
  • Rozenberg, Grzegorz
Series: Lecture Notes in Computer Science 424
Material type: Text Book
Publication details: New York Springer-Verlag 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N901.

Place hold
1531.
Current Trends in Concurrency Overviews and Tutorials ed by J W De Bakker et.al. by
  • De Bakker, J W et.al
  • De Roever W P
Series: Lecture Notes in Computer Science 224
Material type: Text Book
Publication details: Berlin Springer 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.61 N861.

Place hold
1532.
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.

Place hold
1533.
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.

Place hold
1534.
Concurrency ed by S D Brookes by
  • Seminar on concurrency (Pittsburgh 1984)
  • Brookes, S D., ed
Series: Lecture notes in computer science ; 197
Material type: Text Book
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.6424 N8527.

Place hold
1535.
Foundations of software technology and theoretical computer science Proceedings ed by K.V. Nori and C.E. Veni Madhavan by
  • Foundation of software technology and theoretical computer science (10th Bangalore 1990)
  • Nori, K.V., ed
Series: Lecture notes in computer science ; vol.472
Edition: Veni Madhavan, C.E., ed.
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9020;5.

Place hold
1536.
Foundations of software technology and theoretical computer science Proceedings ed by K.V. Nori and C.E. Veni Madhavan by
  • Foundation of software technology and theoretical computer science (10th Bangalore 1990)
  • Nori, K.V., ed
  • Veni Madhavan, C.E., ed
Series: Lecture notes in computer science ; vol.472
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9020;4.

Place hold
1537.
No cover image available
Advanced Robust and Nonparametric Methods in Efficiency Analysis by Cinzia Daraio and L़opold Simar by
  • Daraio, Cinzia
  • Simar , L़opold
Series: Lecture notes in computer science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 658.4033 (dup) (e-book).

Place hold
1538.
Applied algebra algebraic algorithms and error-correcting codes ed. by L. Huguet, A. Poli by
  • International Conference, AAECC - 5, Menorca, June 15-19, 1987, Spain
  • Huguet, L., ed
  • Poli, A., ed
Series: Lecture notes in computer science 356
Material type: Text Book
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512.0285572 (e-book).

Place hold
1539.
Information security practice and experience 5th International conference ISPEC ed by Feng Bao, Hui Li and Guilin Wang by
  • Bao, Feng,.ed
  • Li, Hui,.ed
  • Wang, Guilin,.ed
Series: Lecture Notes in Computer Science.5451
Material type: Text Book
Publication details: Germany Springer 2009
Availability: Items available for loan: Electrical Communication Engineering (1)Call number: 005.8 P09 (ECE).

Place hold
1540.
Service-oriented computing: Proceedings ed by Alistar Barros et. al, by
  • International conference on Service-oriented computing (13th: 2015: Goa)
  • Barros, Alistair, ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: Heidelberg Springer 2015
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P15.

Place hold
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