Your search returned 824 results.

Results
	821.	Formal Techniques for Distributed Systems by Dirk Beyer, Michele Boreale Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2013 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	822.	Automated Deduction in Geometry by Tetsuo Ida, Jacques Fleuriot Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2013 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	823.	ECOOP 2013 -- Object-Oriented Programming by Giuseppe Castagna Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2013 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)
	824.	Logic, Language, Information, and Computation by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz Material type: Text; Format: print ; Literary form: Not fiction Publication details: 2013 Online access: Click here to access online Availability: Items available for loan: Acharya Institute of Technology (1). Place hold Add to cart (remove)

Refine your search