Your search returned 4 results.

Results
	1.	No cover image available Improving the precision of a scalable demand driven null dereference verification for java by Amogh Margoor by Margoor, Amogh Advised by Raghavan, K. V Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2013 Dissertation note: MSc(Engg);2013;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 P13 .
	2.	No cover image available Model-checking in presburger counter systems using accelerations by N Aravind Acharya by Aravind Acharya, N Advised by Raghavan, K. V Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2013 Dissertation note: MSc(Engg);2013;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 P13 .
	3.	No cover image available Matching Domain Model With Source Code Using Relationships by Patil Tejas Bharat by Bharat, Patil Tejas Advised by Raghavan, K. V Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2014 Dissertation note: MSc(Engg);2014;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.301154 P14 .
	4.	No cover image available Identifying method memoization opportunities in java programs by Pallavi Chugh by Chugh, Pallavi Advised by Raghavan, K V Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bangalore : Indian Institute of Science, 2016 Dissertation note: MSc(Engg);2016;Computer Science and Automation Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3762 P16 .

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