Your search returned 12 results.

Results
	1.	Reactive systems : modelling, specification and verification by Aceto, Luca Anna Ingólfsdóttir Larsen, K. G Srba, Jiřiʹ Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi ; New York : Cambridge University Press, ©2007 Availability: Items available for loan: IIITD (1)Call number: REF 006.330 ACE-R. Place hold Add to cart (remove)
	2.	Introduction to information retrieval by Manning, Christopher D Raghavan, Prabhakar Schütze, Hinrich Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, 2008 Online access: Contributor biographical information Publisher description Table of contents only Companion web site Availability: Items available for loan: IIITD (21)Call number: 005.7 MAN-I, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.7 MAN-I. Not available: IIITD: Checked out (11). (1 votes) Place hold Add to cart (remove)
	3.	Modern computer algebra by Gathen, Joachim von zur Gerhard, Jurgen Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, ©2013 Availability: Items available for loan: IIITD (1)Call number: REF 512.002 JOA-M. Place hold Add to cart (remove)
	4.	Introduction to software testing by Ammann, Paul Offutt, Jeff Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, 2008 Online access: Table of contents only Publisher description Contributor biographical information Availability: Items available for loan: IIITD (1)Call number: 004.2 AMM-I. Place hold Add to cart (remove)
	5.	Software testing by Singh, Yogesh Material type: Text; Format: print ; Literary form: Not fiction Publication details: Noida : Cambridge University Press, ©2012 Availability: Items available for loan: IIITD (1)Call number: 005.14 SIN-S. Place hold Add to cart (remove)
	6.	Computer programming with C++ by Pimparkhede, Kunal Publication details: Delhi : Cambridge University Press, ©2017 Availability: Items available for loan: IIITD (1)Call number: 005.133 PIM-C. Place hold Add to cart (remove)
	7.	The cambridge handbook of artificial intelligence by Frankish, Keith Ramsey, William M Publication details: Cambridge : Cambridge University Press, ©2014 Availability: Items available for loan: IIITD (1)Call number: 006.3 FRA-C. Place hold Add to cart (remove)
	8.	No cover image available Logic in computer science : modelling and reasoning about systems by Huth, Michael Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2004 Availability: Items available for loan: IIITD (1)Call number: 005.101 HUT-L. Place hold Add to cart (remove)
	9.	Statistical methods for recommender systems by Agarwal, Deepak K Chung-Chen, Bee Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, ©2016 Online access: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: 006.3 AGA-S. Place hold Add to cart (remove)
	10.	Foundations of data science by Blum, Avrim Hopcroft, John Kannan, Ravindran Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, ©2020 Availability: Items available for loan: IIITD (1)Call number: 004 BLU-F. Place hold Add to cart (remove)
	11.	Neural machine translation by Koehn, Philipp Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, ©2020 Availability: Items available for loan: IIITD (1)Call number: 418.020 KOE-N. Place hold Add to cart (remove)
	12.	The computing universe : a journey through a revolution by Hey, Tony Papay, Gyuri Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, ©2015 Online access: Cover image Availability: Items available for loan: IIITD (1)Call number: CB 004.09 HEY-C. Place hold Add to cart (remove)

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