Results of search for 'ccl=su:{Computer science.} and holdingbranch:IIIT and su-geo:Computer science and itype:BK' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	321.	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)
	322.	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)
	323.	Foundations of multithreaded, parallel, and distributed programming by Andrews, Gregory R Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Addison-Wesley, ©2000 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	324.	Possible minds : twenty-five ways of looking at AI by Brockman, John [editor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Penguin Press, ©2019 Availability: Items available for loan: IIITD (1)Call number: 006.3 BRO-P . Place hold Add to cart (remove)
	325.	Principles of distributed database systems by Ozsu, M. Tamer Valduriez, Patrick Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Noida : Pearson, ©2006 Availability: Items available for loan: IIITD (1)Call number: 005.75 OZS-P. Place hold Add to cart (remove)
	326.	Distributed databases : principles and systems by Ceri, Stefano Pelagatti, Giuseppe Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : McGraw-Hill Education, ©1984 Availability: Items available for loan: IIITD (1)Call number: 001.64 CER-D. Place hold Add to cart (remove)
	327.	Computing with quantum cats : from alan turing to teleportation by Gribbin, John Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Black Swan, ©2013 Availability: Items available for loan: IIITD (1)Call number: 004.1 GRI-C. Place hold Add to cart (remove)
	328.	Artificial intelligence : a guide for thinking humans by Mitchell, Melanie Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Zealand : Pelican Books, ©2019 Availability: Items available for loan: IIITD (2)Call number: 006.3 MIT-A, ... Place hold Add to cart (remove)
	329.	Producing open source software : how to run a successful free software project by Fogel, Karl Material type: Text; Format: print ; Literary form: Not fiction Publication details: Sebastopol : O'Reilly, @2005 Online access: Table of contents Electronic version Publisher description Availability: Items available for loan: IIITD (1)Call number: 005.1 FOG-P. Place hold Add to cart (remove)
	330.	Computer networkings and internets : with internet applications by Comer, Douglas E Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersy : Pearson, ©2004 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 004.678 COM-C. Add to cart (remove)
	331.	Computer networking : a top-down approach by kurose, James F Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Pearson, ©2010 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 004.678 KUR-C. Add to cart (remove)
	332.	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)
	333.	Computer security by Gollmann, Dieter Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chichester : Wiley, ©2006 Availability: Items available for loan: IIITD (1)Call number: 005.8 GOL-C. Place hold Add to cart (remove)
	334.	A people's history of computing in the United States by Rankin, Joy Lisi Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Harvard University Press, ©2018 Availability: Items available for loan: IIITD (1)Call number: 004.097 RAN-P. Place hold Add to cart (remove)
	335.	A practical guide to SysML : the systems modeling language by Friedenthal, Sanford Moore, Alan Steiner, Rick Edition: 3rd ed. Publication details: London : Elsevier, ©2009 Availability: Items available for reference: IIITD: Not for loan (1)Call number: 620.001 FRI-P. Add to cart (remove)
	336.	Artificial intelligence : what everyone needs to know by Kaplan, Jerry Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Oxford University press, ©2016 Availability: Items available for loan: IIITD (1)Call number: 006.3 KAP-A. Place hold Add to cart (remove)
	337.	Implementing spectral methods for partial differential equations : algorithms for scientists and engineers by Kopriva, David A Series: Scientific computation Material type: Text; Format: print ; Literary form: Not fiction Publication details: Netherlands : Springer, ©2010 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 515.72 KOP-I. Add to cart (remove)
	338.	Object-oriented programming with C++ by Balagurusamy, E Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : McGraw-Hill, ©2013 Availability: Items available for loan: IIITD (1)Call number: 005.133 BAL-O. Place hold Add to cart (remove)
	339.	Introduction to information technology by Rajaraman, V Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : PHI Learning, ©2018 Availability: Items available for loan: IIITD (1)Call number: CBIA 004 RAJ-I. Place hold Add to cart (remove)
	340.	2062 : the world that AI made by Walsh, Toby Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Speaking Tiger Books, ©2020 Availability: Items available for loan: IIITD (1)Call number: 006.3 WAL-2. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 418 results.