Your search returned 2 results.

Results
	1.	Automate this : how algorithms came to rule our world by Steiner, Christopher Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Penguin Books, ©2012 Availability: Items available for loan: IIITD (1)Call number: 332.0113 STE-A. Place hold Add to cart (remove)
	2.	Handbook of satisfiability by Biere, Armin [editor] Heule, Marijn [editor] Mareen, Hans Van [editor] Walsh, Toby [editor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, ©2009 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 BIE-H. Lists: Systems Programming. Add to cart (remove)

Refine your search