Your search returned 3 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.	Multimedia systems : with 172 figures by Steinmetz, Ralf Nahrstedt, Klara Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2004 Availability: Items available for loan: IIITD (1)Call number: 006.7 STE-M. Items available for reference: IIITD: Not for loan (1)Call number: REF 006.7 STE-M. Place hold Add to cart (remove)
	3.	Multimedia applications by Steinmetz, Ralf Nahrstedt, Klara Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Springer, ©2004 Availability: Items available for loan: IIITD (1)Call number: 006.7 STE-M. Items available for reference: IIITD: Not for loan (1)Call number: REF 006.7 STE-M. Place hold Add to cart (remove)

Refine your search