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.	The calculus of computation : decision procedures with applications to verification by Bradley, Aaron R Manna, Zohar Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2007 Availability: Items available for loan: IIITD (2)Call number: 004.015 BRA-C, ... Items available for reference: IIITD: Not for loan (1)Call number: 004.015 BRA-C. Place hold Add to cart (remove)
	3.	Data structures and algorithms using Python by Necaise, Rance D Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Wiley, ©2011 Availability: Items available for loan: IIITD (1)Call number: 005.73 NEC-D. Place hold Add to cart (remove)
	4.	Data structures, algorithms, and software principles in C by Standish, Thomas A Material type: Text; Format: print ; Literary form: Not fiction Publication details: Massachusetts. : Addison-Wesley, ©1995 Availability: Items available for loan: IIITD (1)Call number: 005.133 STA-D. Place hold Add to cart (remove)
	5.	Analyzing evolutionary algorithms : the computer science perspective by Jansen, Thomas Series: Natural computing series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, c2013 Availability: Items available for loan: IIITD (1)Call number: REF 006.3 JAN-A. Place hold Add to cart (remove)

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

Powered by Koha