Search

Your search returned 4 results.

Results
		No cover image available 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 ; 2017Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2017 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:517.1Cha. Add to cart (remove)
		No cover image available 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 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:517.1 Pra. Lists: Display List 25/11/2019 - 01/12/2019. Add to cart (remove)
		No cover image available 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 2019Dissertation note: Thesis Ph.D. Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2019 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06 Shr. Lists: Display List 03/02/2020-09/02/2020. Add to cart (remove)
		Introduction to logic programming (e-book) by Genesereth, Michael [Author] \| Chaudhri, Vinay K [Author]. Series: Synthesis lectures on artificial intelligence and machine learningMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2020Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha