Your search returned 7 results.

Results
	1.	Real-time systems Specification, Verification and analysis ed. by Mathai Joseph by Joseph, Mathai., ed Series: Prentice Hall International series in computer science Material type: Text Publication details: London P-H 1996 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.33 N961.
	2.	Formal techniques in real-time and fault-tolerant systems ed by Mathai Joseph by International symposium, FTRTFT 2000 on formal techniques in Real-Time and Fault-Tolerant systems(6th Pune 2000) Joseph, Mathai, ed Series: Lecture notes in computer science ; 1926 Material type: Text Publication details: Berlin Springer-Verlag 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.2 P. Place hold
	3.	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 Publication details: Berlin Springer 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 P001. Place hold
	4.	Multiprocessor operating system by Mathai Joseph V R Prasad and N Natarajan by Joseph, Mathai Prasad, V R Natarajan, N Material type: Text Publication details: New Delhi Prentice- Hall 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 001.64 N8412. Place hold
	5.	Formal Techniques in Real-Time and Fault-Tolerant Systems (proceedings) ed by Mathai Joseph by International Symposium on FTRFT (6 Pune 2000) Joseph, Mathai., ed Series: Lecture notes in computer science ; 1926 Material type: Text Publication details: Berlin Springer-Verlag 2000 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 P001;1. Place hold
	6.	Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] Proceedings by Bertrand Meyer and Mathai Joseph by International Conference 2007) Switzerland, SEAFOOD (1 Meyer, Bertrand Joseph, Mathai Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 658.40580285 (e-book). Place hold
	7.	Multiprocessor operating system by Mathai Joseph, V R Prasad and N Natarajan by Joseph, Mathai Prasad, V R Natarajan, N Material type: Text Publication details: Engelwood cliffs Prentice- Hall 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.43 N846. Place hold

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