Results of search for 'ccl=su:{Computer science.} and holdingbranch:IIIT and (( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) )) and su-geo:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	321.	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)
	322.	Turing computability by Soare, Robert Irving Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chicago : Springer, ©2016 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.352 SOA-T. Add to cart (remove)
	323.	Deep learning by Kelleher, John D Series: The MIT press essential knowledge series Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : MIT Press, ©2019 Availability: Items available for loan: IIITD (1)Call number: 006.31 KEL-D. Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	324.	System design with system C by Grötker, Thorsten Liao, Stan Martin, Grant Swan, Stuart Material type: Text; Format: print ; Literary form: Not fiction Publication details: [s.l.] Springer, ©2002 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 004.21 GRO-S. Add to cart (remove)
	325.	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)
	326.	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)
	327.	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)
	328.	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)
	329.	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)
	330.	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)
	331.	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)
	332.	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)
	333.	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)
	334.	No cover image available Forensics enabled secure mobile computing system for enterprises by Govindaraj, Jayaprakash Gupta, Gaurav [Advisor] Chang, Donghoon [Advisor] Material type: Computer file; Format: electronic Publication details: New Delhi : IIIT-Delhi, ©2018 Online access: Click here to access online Availability: Items available for reference: IIITD: Not for loan (1)Call number: https://shodhganga.inflibnet.ac.in/handle/10603/244766. Add to cart (remove)
	335.	No cover image available Enforcing privacy for location based services by Saxena, Anuj Shanker Goyal, Vikram [Advisor] Bera, Debajyoti [Advisor] Material type: Computer file; Format: electronic Publication details: New Delhi : IIIT-Delhi, ©2019 Online access: Click here to access online Availability: Items available for reference: IIITD: Not for loan (1). Add to cart (remove)
	336.	No cover image available Data-driven thermostats : for feedback, comfort, and reliability by Jain, Milan Singh, Amarjeet [Advisor] Chandan, Vikas [Advisor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : IIIT-Delhi, ©2019 Online access: Click here to access online Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF CSE 2019. Add to cart (remove)
	337.	No cover image available Design, implementation and analysis of efficient hardware-based security primitives by Anandakumar, N.Nalla Sanadhya, Somitra Kumar [Advisor] Hashmi, Mohammad S [Advisor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : IIIT-Delhi, ©2019 Online access: Click here to access online Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF CSE 2019. Add to cart (remove)
	338.	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)
	339.	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)
	340.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 422 results.