Your search returned 7 results.

Results
			Derivation of imperative sequential programs from formal specifications (R) by Chaudhari, Dipak Liladhar [Author] Damani, Om [Supervisor] Indian Institute of Technology Bombay Department of Computer Science and Engineering Language: English Publication details: Bombay ; IIT ; 2017 Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2017 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:681.3.06:517.1Cha. Save to lists Add to cart (remove)
			Towards improved provisioning and utilization of resources in virtualized environments (R) by Sudevalayam, Sujesha [Author] Kulkarni, Purushottam [Supervisor] Indian Institute of Technology Bombay. Department of Computer Science and Engineering Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2018 Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay, Department of Computer Science and Engineering 2018 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:681.327.8:681.3.06 Sud. Save to lists Add to cart (remove)
			Algorithms for robust control system design using optimization techniques and parallel computation (R) by Purohit, Harsh Nataraj, P.S.V [Supervisor] Indian Institute of Technology Bombay. Interdisciplinary Programem in Systems and Control Engineering Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Mumbai IIT 2018 Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Interdisciplinary Programme in System and Control Engineering 2018 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:621-526:681.3.06 Pur. Lists: Display List 24/12/2018-30/12/2018. Save to lists Add to cart (remove)
			Dependence analysis of functional programs and its applications (R) by Prasanna Kumar, K [Author] Sanyal, Amitabha [Supervisor] Karkare, Amey Indian Institute of Technology Bombay. Department of Computer Science and Engineering Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2019 Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:681.3.06:517.1 Pra. Lists: Display List 25/11/2019 - 01/12/2019. Save to lists Add to cart (remove)
			Optimization of data access from imperative programs using static analysis (R) by Emani, K. Venkatesh [Author] Sudarshan, S [Supervisor] Indian Institute of Technology Bombay. Department of Computer Science and Engineering Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2019 Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:681.3.02:681.3.06 Ema. Lists: Display List 23/12/2019-29/12/2019. Save to lists Add to cart (remove)
			Scaling up property checking (R) by Shrawankumar [Author] Sanyal, Amitabha [Supervisor] Khedker, Uday [Supervisor] Indian Institute of Technology Bombay. Department of Computer Science and Engineering Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2019 Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 043:681.3.06 Shr. Lists: Display List 03/02/2020-09/02/2020. Save to lists Add to cart (remove)
			Bidirectionality in flow-sensitive demand-driven analysis (R) by Jaiswal, Swati [Author] Khedker, Uday P [Supervisor] Indian Institute of Technology Bombay. Department of Computer Science and Engineering Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Bombay IIT 2019 Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Central Library, IITB: Not for loan (1)Call number: 681.3 Jai. Lists: Display List 10/02/2020-16/02/2020. Save to lists Add to cart (remove)