Your search returned 26 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Foundations of software technology and theoretical computer science - Proceedings ed. by P.S. Thiagarajan by Series: Lecture Notes in Computer Science ; V.1026
Material type: Text Text
Publication details: Berlin Springer-Verlag 1995
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N954.

2.
Foundations of software technology and theoretical computer science - Proceedings ed. by R.K. Shyamasundar by Series: Lecture Notes in Computer Science ; 761
Material type: Text Text
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N9317.

3.
Foundations of software technology and theoretical computer science - Proceedings ed. by R.K. Shyamasundar by Series: Lecture Notes in Computer Science ; 761
Material type: Text Text
Publication details: Berlin Springer-verlag 1993
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9317;1.

Place hold
4.
Foundations of software technology and theoretical computer science Proceedings ed by R K Shyamasundar by Series: Lecture notes in computer science ; Vol.761
Material type: Text Text
Publication details: Berlin Springer-Verlog 1993
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N935.

Place hold
5.
Foundations of software technology and theoretical computer science Proceedings ed by R Shyamasundara by Series: Lecture notes in computer science ; Vol.652
Material type: Text Text
Publication details: Berlin Springer-Verlag
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N928.

Place hold
6.
7.
Foundations of software technology and theoretical computer science Proceedings ed by S N Maheshwari by Series: Lecture notes in computer science ; Vol.206
Material type: Text Text
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N854.

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

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

Place hold
12.
13.
Design Patterns for e-Science [electronic resource] by Henry Gardner. et al by
Material type: Text Text
Publication details: Berlin Springer 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 620.00420285 (e-book).

Place hold
14.
Automatic Quantum Computer Programming [electronic resource] A Genetic Programming Approach by Lee Spector by
Material type: Text Text
Publication details: Boston Springer Science+Business Media, Inc., 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.0153012 (e-book).

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

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

Place hold
17.
Conceptual Modeling of Information Systems [electronic resource] by Antoni Oliv़ by
Material type: Text Text
Publication details: Berlin Springer-Verlag 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 003.3 (e-book).

Place hold
18.
No cover image available
Software Measurement Establish . Extract . Evaluate . Execute [electronic resource] by Christof Ebert by
Material type: Text Text
Publication details: Berlin Springer-Verlag 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 (e-book).

Place hold
19.
No cover image available
Conceptual Modelling in Information Systems Engineering [electronic resource] by John Krogstie by
Material type: Text Text
Publication details: Berlin Springer-Verlag 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 025.04 (e-book).

Place hold
20.
Model Checking Software [electronic resource] Proceedings by Bo na ki Dragan and Edelkamp Stefan by
Material type: Text Text
Publication details: Berlin Springer 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.30287 (e-book).

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832