Your search returned 98 results.

Results
	81.	Foundations of software technology and theoretical computer science Proceedings ed by R Shyamasundara by Conference on Foundations of software technology and theoretical computer science (12 New Delhi 1992) Shyamasundara, R Series: Lecture notes in computer science ; Vol.652 Material type: Book Publication details: Berlin Springer-Verlag Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N928. Place hold
	82.	Foundations of software technology and theoretical computer science proceedings /ed. by Kesav V. Nori. by Conference on Foundations of Software Technology and theoritical computer science (India : 1987) Series: Lecture notes in computer science ; 287 Material type: Book Publication details: Berlin S-V 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N875;2. Place hold
	83.	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: 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
	84.	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: 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
	85.	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: Book Publication details: Berlin Springer-Verlag 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N854. Place hold
	86.	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: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P019. Place hold
	87.	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: 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
	88.	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: 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
	89.	Objective coordination in multi-agent system engineering Design and implementation by Michael Schumacher by Schumacher, Michael Series: Lecture notes in computer science ; V.2039 Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 P0112. Place hold
	90.	Abstract state machines theory and applications Proceedings ed by Yuri Gurevich, et al by International Workshop on Abstract state machines theory and applications (Monte Verita 2000) Gurevich, Yuri., et al Series: Lecture Notes in Computer Science ; 1912 Material type: Book Publication details: Berlin Springer 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.392 P003. Place hold
	91.	Foundations of software technology and theoretical computer science Proceedings ed by G Goos, et al by Conference on Foundations of software technology and theoretical computer science (4th Bangalore 1984) Goos, G., ed Series: Lecture Notes in Computer Science ; 181 Material type: Book Publication details: Berlin Springer-Verlag 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N84;1. Place hold
	92.	Cryptographic hardware and embedded systems- CHES 2001 third international workshop, Paris, France, May 14-16, 2001: proceedings. by Koç, Çetin K.; Naccache, David; Paar, Christof,(ed.) by Koç, Çetin K, Koc, Cetin K., et al Series: Lecture Notes in Computer Science ; 2162 Material type: Book Publication details: Berlin; Springer, 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.82 KOC/C. Place hold
	93.	ESEC '91 3rd international engineering conforence Proceedings ed by A van Lamsweerde and A Fugetta by European Software Engineering Conference (3 Italy 1991) van Lamsweerde, A., ed Fugetta, A., ed Series: Lecture Notes in computer science 550 Material type: Book Publication details: New York Springer Verlag 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9110. Place hold
	94.	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: Book Publication details: Berlin Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N921. Place hold
	95.	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: 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
	96.	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: 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
	97.	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: Book Publication details: Heidelberg Springer 2015 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P15. Place hold
	98.	Automatic verification methods for finite state systems ed by J Sifakis by Sifakis, J., ed Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.62 N901. Place hold

First
Previous
1
2
3
4
5

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

Powered by Koha