Your search returned 1546 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1461.
Foundations of software technology and theoretical computer science Proceedings ed by K V Nori and C E Veni Madhavan by
  • Foundations of software technology and theoretical computer science, 10th conference (10 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-Verlog 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9020;1.

Place hold
1462.
Foundations of software technology and theoretical computer science proceedings by Kesav V. Nori and C E Veni Madhavan by
  • Foundation of software technology and theoretical computer science (Bangalore, India, 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;3.

Place hold
1463.
Implementation and application of automata Proceedings ed by Jacques Farre, et al by
  • International Conference on Implementation and application of automata (10th Sophia Antipolis 2005)
  • Farre, Jacques., ed
Series: Lecture Notes in Computer Science ; 3845
Material type: Text Book
Publication details: Berlin Springer 2006
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 629.8 P062.

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

Place hold
1465.
Foundations of software technology and theoretical computer science Proceedings ed by Ramesh Hariharan, et al by
  • Conference on Foundations of software technology and theoretical computer science (21 Bangalore 2001)
  • Hariharan, Ramesh., et al
Series: Lecture notes in computer science, 2245
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P019.

Place hold
1466.
Concurrent object-oriented programming and Petri nets Advance in Petri nets ed by Gul A Agha, et.al by
  • Agha, Gul A., ed
  • Cindio, Fiorella De., ed
  • Rozenberg, Grzegorz., ed
Series: Lecture notes in computer science 2001
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.13 P011.

Place hold
1467.
Typed lambda calculi and applications Proceedings ed by Samson Abramsky by
  • International conference on typed lambda calculi and applications(5 Krakow 2001)
  • Abramsky, Samson
Series: Lecture notes in computer science ; Vol.2044
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P012.

Place hold
1468.
Vector and parallel processing- VECPAR 2000 Proceedings ed by M L M Palma, et al by
  • International Conference on Vector and parallel processing- VECPAR 2000 (4 Porto 2000)
  • Palma, M. L. M., ed
Series: Lecture Notes in Computer Science ; 1981
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.35 P01.

Place hold
1469.
Compiler Optimizations for Scalable Parallel Systems Languages, Compilation techniques and Run Time Systems ed by Santosh Pande and Dharma P Agrawal by
  • Pande, Santosh
  • Agrawal, Dharma P
Series: Lecture Notes in Computer Science
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.453 P01.

Place hold
1470.
Foundations of software technology and theoretical computer science Proceedings ed by K V Nori and C E Veni Madhavan by
  • Foundations of software technology and theoretical computer science, 10th conference (10 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;2.

Place hold
1471.
No cover image available
Advanced Memory Optimization Techniques for Low-Power Embedded Processors by Manish Verma and Peter Marwedel by
  • Verma, Manish
  • Marwedel, Peter
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: 004.5 (e-book).

Place hold
1472.
Foundations of software technology and theoretical computer science Proceedings ed by R Shyamasundar by
  • Conference on Foundations of software technology and theoretical computer science (12 New Delhi 1992)
  • Shyamasundar, R., ed
Series: Lecture Notes in Computer Science ; 652
Material type: Text Book
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N921;1.

Place hold
1473.
High Performance Computing- HiPC 2002 Proceedings ed by Sartaj Sahni by
  • International Conf. on HiPC 2002 (9th Bangalore 2002)
  • Sahni, Sartaj., ed
Series: Lecture notes in computer science ; 2552
Material type: Text Book
Publication details: Berlin Springer-Verlag 2002
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 P021.

Place hold
1474.
Formal techniques in real-time and fault-tolerant systems Proceedings ed by Mathai Joseph by
  • International symposium, FTRTFT(6 Pune 2000)
  • Joseph, Mathai., ed
Series: Lecture notes in computer science 1926
Material type: Text Book
Publication details: Berlin Springer 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 P001.

Place hold
1475.
Foundations of Intelligent Systems Proceedings ed by Zbingniew W Ras and Setsuo Ohsuga by
  • International symposium ISMIS (12 USA 2000)
  • Ras, Zbinginew, W., ed
  • Ohsuga, Setsuo., ed
Series: Lecture Notes in computer science ; v.1932 | Lecture notes in artificial intelligence
Material type: Text Book
Publication details: Berlin Heidelberg Springer 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.33 P002.

Place hold
1476.
Information hiding Proceedings ed by Andreas Pfitzmann by
  • International workshop on information hiding(3 Dresden 1999)
  • Pfitzmann, Andreas
Series: Lecture notes in computer science ; Vol.1768
Material type: Text Book
Publication details: Berlin Springer 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 501.2 P10.

Place hold
1477.
Multi-Agent systems and applications 9th ECCAI advanced course, ACAI 2001 and agent link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2001 : selected tutorial papers ed by Michael Luck, et al by
  • ECCAI Advanced course, ACAI 2001 (9 Prague 2001),
  • Luck, Michael, et al
Series: Lecture notes in computer science ; V.2086 | Lecture notes in artificial intelligence
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 MIC.

Place hold
1478.
Power-aware computer systems Proceedings ed by B Falsafi, et al by
  • International workshop on Power-aware computer systems(1 Cambridge 2000)
  • Falsafi, B., ed
Series: Lecture notes in computer science ; Vol.2008
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.25 P01.

Place hold
1479.
Innovative internet computing systems Proceedings ed by Thomas Bohme, et al by
  • International workshop on Innovative internet computing systems(Ilmenau 2001)
  • Bohme, Thomas., ed
Series: Lecture notes in computer science ; Vol.2060
Material type: Text Book
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.678 P012.

Place hold
1480.
Human Society and the Internet Internet-Related Socio-Economic Issues:Proceedings by
  • International conference on Human Society and the Internet (Korea, 2001)
Series: Lecture notes in computer science 2105
Material type: Text Book
Publication details: Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.019 P01.

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