Your search returned 5 results.

Results
	1.	Semantics with Applications An Appetizer [electronic resource] by Hanne Riis Nielson by Nielson, Hanne Riis Material type: Text Publication details: London Springer-Verlag 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.456 (e-book). Place hold
	2.	Reliable systems on unreliable networked platforms [electronic resource] by Fabrice Kordon and Janos Sztipanovits by Kordon, Fabrice Sztipanovits, Janos Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 (e-book). Place hold
	3.	Program analysis and compilation, Theory and practice [electronic resource] by Thomas Reps Mooly Sagiv and J५rg Bauer by Reps, Thomas Sagiv, Mooly Bauer, J५rg Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 (e-book). Place hold
	4.	Formal Methods for Components and Objects [electronic resource] Proceedings by Frank S Boer and et al by International Symposium 2006) Amsterdam, FMCO (5 Bonsangue, Marcello M Graf, Susanne Roever, Willem-Paul Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.0151 (e-book). Place hold
	5.	Programming Languages and Systems [electronic resource] Proceedings by Zhong, Shao by Asian Symposium 2007) Singapore, APLAS (5 Shao, Zhong Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 (e-book). Place hold

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