Your search returned 4 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.	Interaction design : beyond human-computer interaction by Sharp, Helen Rogers, Yvonne Preece, Jennifer Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Indianapolis : John Wiley & Sons, ©2019 Online access: Click here to access online Availability: Items available for loan: IIITD (2)Call number: 004.019 SHA-I, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 004.019 SHA-I. Place hold Add to cart (remove)
	3.	Modern language models and computation : theory with applications by Meduna, Alexander Soukup, Ondrej Material type: Text; Format: print ; Literary form: Not fiction Publication details: Switzerland : Springer, ©2017 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	4.	Programming massively parallel processors: a hands-on approach by Kirk, David B Hwu, Wen-mei W Edition: 2nd. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Elsevier, ©2010 Availability: Items available for loan: IIITD (2)Call number: 004.35 KIR-P, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 004.35 KIR-P. Tags: gpu (1) (1 votes) Place hold Add to cart (remove)

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