Results of search for 'ccl=su:{Computers}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	721.	Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12224 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	722.	Multi-Agent-Based Simulation XX [electronic resource] : 20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers / by Paolucci, Mario [editor.] Sichman, Jaime Simão [editor.] Verhagen, Harko [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12025 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	723.	Applications of Computational Intelligence [electronic resource] : Third IEEE Colombian Conference, ColCACI 2020, Cali, Colombia, August 7-8, 2020, Revised Selected Papers / by Orjuela-Cañón, Alvaro David [editor.] Lopez, Jesus [editor.] Arias-Londoño, Julián David [editor.] Figueroa-García, Juan Carlos [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1346 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	724.	Self Aware Security for Real Time Task Schedules in Reconfigurable Hardware Platforms [electronic resource] / by Guha, Krishnendu [author.] Saha, Sangeet [author.] Chakrabarti, Amlan [author.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	725.	Human and Machines [electronic resource] : Philosophical Thinking of Artificial Intelligence / by Gu, Jun [author.] Guo, Yike [author.] SpringerLink (Online service) Series: Human Intelligence Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	726.	Intelligence Science IV [electronic resource] : 5th IFIP TC 12 International Conference, ICIS 2022, Xi'an, China, October 28–31, 2022, Proceedings / by Shi, Zhongzhi [editor.] Jin, Yaochu [editor.] Zhang, Xiangrong [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 659 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	727.	Multimedia Technology and Enhanced Learning [electronic resource] : 4th EAI International Conference, ICMTEL 2022, Virtual Event, April 15-16, 2022, Proceedings / by Wang, Shui-Hua [editor.] Zhang, Yu-Dong [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 446 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	728.	Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13704 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	729.	Computer Vision – ECCV 2022 [electronic resource] : 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XX / by Avidan, Shai [editor.] Brostow, Gabriel [editor.] Cissé, Moustapha [editor.] Farinella, Giovanni Maria [editor.] Hassner, Tal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13680 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	730.	Cloud Computing and Services Science [electronic resource] : 11th International Conference, CLOSER 2021, Virtual Event, April 28–30, 2021, Revised Selected Papers / by Ferguson, Donald [editor.] Helfert, Markus [editor.] Pahl, Claus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1607 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	731.	NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet [electronic resource] : 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007, Proceedings / by Akyildiz, Ian F [editor.] Sivakumar, Raghupathy [editor.] Ekici, Eylem [editor.] Cavalcante de Oliveira, Jaudelice [editor.] McNair, Janise [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4479 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	732.	Algorithmic Game Theory [electronic resource] : 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013, Proceedings / by Vöcking, Berthold [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8146 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	733.	Financial Cryptography and Data Security [electronic resource] : 16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012, Revised Selected Papers / by Keromytis, Angelos D [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7397 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	734.	Human-Computer Interaction: Users and Contexts of Use [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III / by Kurosu, Masaaki [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8006 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	735.	Robot Intelligence Technology and Applications [electronic resource] : 6th International Conference, RiTA 2018, Kuala Lumpur, Malaysia, December 16–18, 2018, Revised Selected Papers / by Kim, Jong-Hwan [editor.] Myung, Hyung [editor.] Lee, Seung-Mok [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1015 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	736.	Encyclopedia of Algorithms [electronic resource] / by Kao, Ming-Yang [editor.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature Living Reference Online access: Click here to access online Availability: No items available. Add to cart (remove)
	737.	Nordic Artificial Intelligence Research and Development [electronic resource] : Third Symposium of the Norwegian AI Society, NAIS 2019, Trondheim, Norway, May 27–28, 2019, Proceedings / by Bach, Kerstin [editor.] Ruocco, Massimiliano [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1056 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	738.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / by Chakraborty, Supratik [editor.] Navas, Jorge A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12031 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	739.	Service-Oriented and Cloud Computing [electronic resource] : 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings / by Brogi, Antonio [editor.] Zimmermann, Wolf [editor.] Kritikos, Kyriakos [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12054 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	740.	Sustainable Energy for Smart Cities [electronic resource] : First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings / by Afonso, João L [editor.] Monteiro, Vítor [editor.] Pinto, José Gabriel [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 315 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 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

Places

Topics

Titles

Your search returned 4955 results.