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

Results
	521.	Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by Russo, Alessandra [editor.] Schürr, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10802 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	522.	Intelligent Robotics and Applications [electronic resource] : 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II / by Chen, Zhiyong [editor.] Mendes, Alexandre [editor.] Yan, Yamin [editor.] Chen, Shifeng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10985 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	523.	Static Analysis [electronic resource] : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings / by Podelski, Andreas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11002 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	524.	Engineering Trustworthy Software Systems [electronic resource] : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / by Bowen, Jonathan P [editor.] Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11174 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	525.	Emerging Technologies for Authorization and Authentication [electronic resource] : First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings / by Saracino, Andrea [editor.] Mori, Paolo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11263 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	526.	Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data [electronic resource] : 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Vienna, Austria, August 20-24, 2018, Revised Selected Papers / by Kosta, Eleni [editor.] Pierson, Jo [editor.] Slamanig, Daniel [editor.] Fischer-Hübner, Simone [editor.] Krenn, Stephan [editor.] SpringerLink (Online service) Series: IFIP AICT Tutorials ; 547 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)
	527.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by Pérez, Jorge A [editor.] Yoshida, Nobuko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11535 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)
	528.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / by Rodrigues, João M. F [editor.] Cardoso, Pedro J. S [editor.] Monteiro, Jânio [editor.] Lam, Roberto [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11540 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)
	529.	Smart Blockchain [electronic resource] : Second International Conference, SmartBlock 2019, Birmingham, UK, October 11–13, 2019, Proceedings / by Qiu, Meikang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11911 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)
	530.	Optimization and Learning [electronic resource] : Third International Conference, OLA 2020, Cádiz, Spain, February 17–19, 2020, Proceedings / by Dorronsoro, Bernabé [editor.] Ruiz, Patricia [editor.] de la Torre, Juan Carlos [editor.] Urda, Daniel [editor.] Talbi, El-Ghazali [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1173 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)
	531.	Progress in Cryptology - AFRICACRYPT 2020 [electronic resource] : 12th International Conference on Cryptology in Africa, Cairo, Egypt, July 20 – 22, 2020, Proceedings / by Nitaj, Abderrahmane [editor.] Youssef, Amr [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12174 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)
	532.	Modeling Decisions for Artificial Intelligence [electronic resource] : 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings / by Torra, Vicenç [editor.] Narukawa, Yasuo [editor.] Nin, Jordi [editor.] Agell, Núria [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12256 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)
	533.	Advances in Information and Computer Security [electronic resource] : 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings / by Aoki, Kazumaro [editor.] Kanaoka, Akira [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12231 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)
	534.	Geometric Science of Information [electronic resource] : 5th International Conference, GSI 2021, Paris, France, July 21–23, 2021, Proceedings / by Nielsen, Frank [editor.] Barbaresco, Frédéric [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12829 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)
	535.	Cyberspace Safety and Security [electronic resource] : 14th International Symposium, CSS 2022, Xi'an, China, October 16–18, 2022, Proceedings / by Chen, Xiaofeng [editor.] Shen, Jian [editor.] Susilo, Willy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13547 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)
	536.	Games and Learning Alliance [electronic resource] : 11th International Conference, GALA 2022, Tampere, Finland, November 30 – December 2, 2022, Proceedings / by Kiili, Kristian [editor.] Antti, Koskinen [editor.] de Rosa, Francesca [editor.] Dindar, Muhterem [editor.] Kickmeier-Rust, Michael [editor.] Bellotti, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13647 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)
	537.	Human Brain and Artificial Intelligence [electronic resource] : Third International Workshop, HBAI 2022, Held in Conjunction with IJCAI-ECAI 2022,Vienna, Austria, July 23, 2022, Revised Selected Papers / by Ying, Xiaomin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1692 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	538.	Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 21st Asia Simulation Conference, AsiaSim 2022, Changsha, China, December 9-11, 2022, Proceedings, Part I / by Fan, Wenhui [editor.] Zhang, Lin [editor.] Li, Ni [editor.] Song, Xiao [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1712 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)
	539.	Theory and Applications of Satisfiability Testing - SAT 2014 [electronic resource] : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / by Sinz, Carsten [editor.] Egly, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8561 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	540.	Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings / by Demri, Stéphane [editor.] Kapur, Deepak [editor.] Weidenbach, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8562 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 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

Titles

Your search returned 1700 results.