Results of search for 'ccl=su:{Engineering} and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	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)
	42.	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)
	43.	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)
	44.	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)
	45.	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)
	46.	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)
	47.	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)
	48.	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)
	49.	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)
	50.	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)
	51.	Building microservices : designing fine-grained systems by Newman, Sam Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : O'Reilly, ©2021 Availability: Items available for loan: IIITD (1)Call number: 005.1 NEW-B. Place hold Add to cart (remove)
	52.	Deep learning : core concepts, methods and applications by Gopal, M Material type: Text; Format: print ; Literary form: Not fiction Publication details: Chennai : Pearson, ©2022 Availability: Items available for loan: IIITD (1)Call number: 006.31 GOP-D. Place hold Add to cart (remove)
	53.	Schaum's outline of theory and problems of software engineering by Gustafson, David A Series: Schaum's outline series Material type: Text; Format: print available online ; Literary form: Not fiction Publication details: Chennai : McGraw-Hill, ©2002 Other title: Theory and problems of software engineering Software engineering Availability: Items available for loan: IIITD (1)Call number: 005.1 GUS-S. Place hold Add to cart (remove)
	54.	How data happened : a history from the age of reason to the age of algorithms by Wiggins, Chris Jones, Matthew L Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : W.W. Norton & Company, ©2023 Availability: Items available for loan: IIITD (1)Call number: CB 310.9 WIG-H. Place hold Add to cart (remove)
	55.	Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Skrzypczak, Michał [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9802 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	56.	Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / by Meyer, Bertrand [editor.] Nordio, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8987 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	57.	Transactions on Computational Science X [electronic resource] : Special Issue on Security in Computing, Part I / by Gavrilova, Marina L [editor.] Tan, C. J. Kenneth [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 6340 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	58.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / by Abdulla, Parosh Aziz [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6605 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	59.	ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / by Black, Andrew [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3586 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	60.	Designing the Digital Transformation [electronic resource] : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings / by Maedche, Alexander [editor.] vom Brocke, Jan [editor.] Hevner, Alan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10243 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 3111 results.