Your search returned 7 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 .
	5.	No cover image available Model checking temporal properties of Presburger counter systems by Kommineni Vasanta Lakshmi by Lakshmi, Kommineni Vasanta, Raghavan, K. V Material type: Text Publication details: Bangalore IISc 2018 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.395 P18 (THESES). Place hold
	6.	No cover image available Static analysis and automated testing of file- processing programs By Raveendra Kumar Medicherla and K.V. Raghavan by Medicherla, Raveendra Kumar, Raghavan K.V Material type: Text Publication details: Bengaluru Indian Insitute of Science 2017 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.8 MED/S. Place hold
	7.	No cover image available Controller Synthesis Techniques for Infinite-State Reactive Systems / by Samuel, Stanly John Raghavan, K. V. [advisor] D'Souza, Deepak [advisor] Material type: Text; Format: print ; Literary form: Not fiction Language: en Publication details: Bangalore : Indian Institute of Science, 2025 Dissertation note: PhD ; 2025 ; Computer Science and Automation (CSA) Online resources: Click here to access online Availability: Items available for reference: JRD Tata Memorial Library: Not For Loan (1)Call number: 003.857 SAM.

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