Your search returned 2 results.

Results
		No cover image available Variants of reachability timed games: recursion, robustness and rewards (R) by Lakshmi, Manasa G [Author] \| Krishna, Shankara Narayanan [Supervisor] \| Indian Institute of Technology Bombay Department of Computer Science and Engineering. Language: English Publication details: Bombay ; IIT ; 2016Dissertation note: Thesis Ph.D Indian Institute of Technology Bombay. Department of Computer Science and Engineering 2016 Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:519.28Lak. Add to cart (remove)
		Computability theory by Weber, Rebecca. Series: Student mathematical library ; v.62Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Providence American Mathematical Society 2012Availability: Items available for loan: 1 Call number: 517.1 Web. Lists: Display List 09/07/2018-15/07/2018. Place hold Add to cart (remove)

Refine your search