Your search returned 5 results.

Results
	1.	Decision procedures : an algorithmic point of view by Kroening, Daniel Strichman, Ofer Series: Texts in theoretical computer science an EATCS Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 519.542 KRO-D. Add to cart (remove)
	2.	Random numbers and computers by Kneusel, Ronald T Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer, ©2018 Availability: Items available for loan: IIITD (1)Call number: REF 518 KNE-R. Place hold Add to cart (remove)
	3.	Handbook of graph theory by Yellen, Jay [editor] Zhang, Ping [editor] Gross, Jonathan L [editor] Series: Discrete mathematics and its applications Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : CRC Press, ©2014 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	4.	Graph algorithms by Even, Shimon Guy Even Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, ©2012 Online access: Cover image Availability: Items available for loan: IIITD (1)Call number: REF 511.5 EVE-G. Place hold Add to cart (remove)
	5.	The golden ticket : P, NP, and the search for the impossible by Fortnow, Lance Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : Princeton University Press, 1963 Availability: Items available for loan: IIITD (2)Call number: REF 511.352 FOR-G, ... Place hold Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in