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

Results
	1721.	Probabilistic Extensions of Various Logical Systems [electronic resource] / by Ognjanović, Zoran [editor.] SpringerLink (Online service) 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)
	1722.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / by Pang, Jun [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12153 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)
	1723.	Machine Learning and Knowledge Discovery in Databases. Research Track [electronic resource] : European Conference, ECML PKDD 2021, Bilbao, Spain, September 13–17, 2021, Proceedings, Part II / by Oliver, Nuria [editor.] Pérez-Cruz, Fernando [editor.] Kramer, Stefan [editor.] Read, Jesse [editor.] Lozano, Jose A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12976 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)
	1724.	A Brief History of Intelligence [electronic resource] : From the Big Bang to the Metaverse / by Yu, F. Richard [author.] Yu, Angela W [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1725.	From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries [electronic resource] : 24th International Conference on Asian Digital Libraries, ICADL 2022, Hanoi, Vietnam, November 30 – December 2, 2022, Proceedings / by Tseng, Yuen-Hsien [editor.] Katsurai, Marie [editor.] Nguyen, Hoa N [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13636 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)
	1726.	Network and System Security [electronic resource] : 16th International Conference, NSS 2022, Denarau Island, Fiji, December 9–12, 2022, Proceedings / by Yuan, Xingliang [editor.] Bai, Guangdong [editor.] Alcaraz, Cristina [editor.] Majumdar, Suryadipta [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13787 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)
	1727.	Artificial Intelligence and Cybersecurity [electronic resource] : Theory and Applications / by Sipola, Tuomo [editor.] Kokkonen, Tero [editor.] Karjalainen, Mika [editor.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1728.	Machine Translation [electronic resource] : 18th China Conference, CCMT 2022, Lhasa, China, August 6–10, 2022, Revised Selected Papers / by Xiao, Tong [editor.] Pino, Juan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1671 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)
	1729.	Blockchain and Trustworthy Systems [electronic resource] : 4th International Conference, BlockSys 2022, Chengdu, China, August 4–5, 2022, Revised Selected Papers / by Svetinovic, Davor [editor.] Zhang, Yin [editor.] Luo, Xiapu [editor.] Huang, Xiaoyan [editor.] Chen, Xingping [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1679 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)
	1730.	Theoretical Computer Science [electronic resource] : 40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers / by Cai, Zhiping [editor.] Chen, Yijia [editor.] Zhang, Jialin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1693 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)
	1731.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings / by Dong, Wei [editor.] Talpin, Jean-Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13649 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)
	1732.	Practical Aspects of Declarative Languages [electronic resource] : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Hanus, Michael [editor.] Inclezan, Daniela [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13880 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1733.	Hardware and Software: Verification and Testing [electronic resource] : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / by Piterman, Nir [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9434 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)
	1734.	E-Voting and Identity [electronic resource] : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings / by Haenni, Rolf [editor.] Koenig, Reto E [editor.] Wikström, Douglas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9269 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)
	1735.	Information Security and Privacy [electronic resource] : 20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 -- July 1, 2015, Proceedings / by Foo, Ernest [editor.] Stebila, Douglas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9144 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)
	1736.	Advances in Artificial Intelligence [electronic resource] : 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings / by Barbosa, Denilson [editor.] Milios, Evangelos [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9091 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)
	1737.	Logic-Based Program Synthesis and Transformation [electronic resource] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by Falaschi, Moreno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9527 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)
	1738.	Advanced Concepts for Intelligent Vision Systems [electronic resource] : 16th International Conference, ACIVS 2015, Catania, Italy, October 26-29, 2015. Proceedings / by Battiato, Sebastiano [editor.] Blanc-Talon, Jacques [editor.] Gallo, Giovanni [editor.] Philips, Wilfried [editor.] Popescu, Dan [editor.] Scheunders, Paul [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9386 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)
	1739.	DNA Computing and Molecular Programming [electronic resource] : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / by Phillips, Andrew [editor.] Yin, Peng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9211 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)
	1740.	Practical Aspects of Declarative Languages [electronic resource] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / by Gavanelli, Marco [editor.] Reppy, John [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9585 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 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 8324 results.