Your search returned 22 results.

Results
	21.	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)
	22.	Introduction to algorithms by Cormen, Thomas H Leiserson, Charles Eric Rivest, Ronald L Stein, Clifford Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : MIT Press, ©2022 Availability: Items available for reference: IIITD: Not for loan (2)Call number: 005.1 COR-I, ... Add to cart (remove)

Refine your search