Your search returned 1557 results.

Sort
Results
1501.
Algorithms and computation Proceedings ed by D T Lee, et al by Series: Lecture Notes in Computer Science ; 1969
Material type: Text Text
Publication details: Berlin Springer-Verlag 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P003.

1502.
Advances in exception handling techniques by Alexander Romanovsky. et al by Series: Lecture notes in computer science
Material type: Text Text
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 P011.

1503.
Web engineering managing diversity and complexity of web application development ed by San Murugesan and Yogesh Deshpande by Series: Lecture notes in computer science
Material type: Text Text
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.678 P01.

1504.
Quality of service-IWQOS 2001 Proceedings ed by Lars Wolf. et al by Series: Lecture notes in computer science 2092
Material type: Text Text
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.60688 P01.

1505.
Advances in web- age information management Proceedings ed by X Sean Wang, et al by Series: Lecture Notes in Computer Science ; 2118
Material type: Text Text
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 025.04 P014.

1506.
Information security and privacy Proceedings ed by Vijay Varadharajan, et al by Series: Lecture Notes in Computer Science ; 2119
Material type: Text Text
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 P011.

1507.
Formal Techniques in Real-Time and Fault-Tolerant Systems (proceedings) ed by Mathai Joseph by Series: Lecture notes in computer science ; 1926
Material type: Text Text
Publication details: Berlin Springer-Verlag 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 P001;1.

1508.
Foundations of software technology and theoretical computer science Proceedings ed by G Goos, et al by Series: Lecture Notes in Computer Science ; 181
Material type: Text Text
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N84;1.

1509.
Correct hardware design and verification methods Proceedings ed by Tiziana Margaria, et al by Series: Lecture notes in computer science ; Vol.2144
Material type: Text Text
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.390284 P01.

1510.
Algorithms in bioinformatics Proceedings ed by Olivier Gascuel and Bernard M E Moret by Series: Lecture notes in computer science 2149
Material type: Text Text
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 570.28551 P01.

1511.
1512.
1513.
Algorithm engineering Proceedings ed by Stefan Naher and Dorothea Wagner by Series: Lecture Notes in Computer Science ; 1982
Material type: Text Text
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.10287 P01.

1514.
Automata, languages and programming Proceedings ed by Fernando Orejas, et al by Series: Lecture Notes in Computer Science ; 2076
Material type: Text Text
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 629.892 P014.

1515.
Advances in cryptology- CRYPTO 2000 Proceedings ed by Mihir Bellare by Series: Lecture Notes in Computer Science ; 1880
Material type: Text Text
Publication details: Berlin Springer 2000
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 P001.

1516.
Algorithm engineering Proceedings ed by Gerth Stolting Brodal, et al by Series: Lecture Notes in Computer Science ; 2141
Material type: Text Text
Publication details: Berlin Springer 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P018.

1517.
Approximation, Randomization and Combinatorial Optimization Algorithms and techniques by Michel Goemans et al by Series: Lecture Notes in Computer Science
Material type: Text Text
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.4 P011.

1518.
Implementation and application of automata ed by Sheng Yu and Andrei Paun by Series: Lecture notes in computer science 2088
Material type: Text Text
Publication details: Berlin Springer-Verlag 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 629.8 P011.

1519.
ESEC '91 3rd international engineering conforence Proceedings ed by A van Lamsweerde and A Fugetta by Series: Lecture Notes in computer science 550
Material type: Text Text
Publication details: New York Springer Verlag 1991
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9110.

1520.
VDM '91 Formal Software development methods ed by S Prehn and W J Toetenel by Series: Lecture Notes in Computer Science 551
Material type: Text Text
Publication details: New York Springer Verlag xii, 698p
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 N91.

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

                             Contact   Phone: +91 80 2293 2832