Your search returned 3 results.

Results
		Logic-based program synthesis and transformation : 24th international symposium, LOPSTR, Canterbury, UK, Sep. 9-11, 2014 (e-book) by Proietti, Maurizio [Editor] \| Seki, Hirohisa [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.8981 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		No cover image available Optimization and evaluation of nested queries and procedures (R) by Guravannavar, Ravindra [Author] \| Sudarshan, S [Supervisor] \| Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2009. Language: English Publication details: Bombay ; IIT ; 2009Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2009 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.02:681.3.06 Gur. Add to cart (remove)
		Logic-based program synthesis and transformation : 25th international symposium, LOPSTR, Siena, Italy, July 13-15, 2015 (e-book) by Falaschi, Moreno [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9527 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search