Results of search for 'ccl=su:{SCIENCE} and su-to:Artificial intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	901.	Declarative Programming and Knowledge Management [electronic resource] : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / by Seipel, Dietmar [editor.] Hanus, Michael [editor.] Abreu, Salvador [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10997 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)
	902.	Advances and Trends in Artificial Intelligence. From Theory to Practice [electronic resource] : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / by Wotawa, Franz [editor.] Friedrich, Gerhard [editor.] Pill, Ingo [editor.] Koitz-Hristov, Roxane [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11606 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)
	903.	Combating Security Challenges in the Age of Big Data [electronic resource] : Powered by State-of-the-Art Artificial Intelligence Techniques / by Fadlullah, Zubair Md [editor.] Khan Pathan, Al-Sakib [editor.] SpringerLink (Online service) Series: Advanced Sciences and Technologies for Security Applications 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)
	904.	Automated Technology for Verification and Analysis [electronic resource] : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings / by Hung, Dang Van [editor.] Sokolsky, Oleg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12302 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)
	905.	Logic-Based Program Synthesis and Transformation [electronic resource] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / by Fernández, Maribel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12561 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)
	906.	Modelling and Development of Intelligent Systems [electronic resource] : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers / by Simian, Dana [editor.] Stoica, Laura Florentina [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1341 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)
	907.	Data Science and Internet of Things [electronic resource] : Research and Applications at the Intersection of DS and IoT / by Fortino, Giancarlo [editor.] Liotta, Antonio [editor.] Gravina, Raffaele [editor.] Longheu, Alessandro [editor.] SpringerLink (Online service) Series: Internet of Things, Technology, Communications and Computing 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)
	908.	Data-Driven Mining, Learning and Analytics for Secured Smart Cities [electronic resource] : Trends and Advances / by Chakraborty, Chinmay [editor.] Lin, Jerry Chun-Wei [editor.] Alazab, Mamoun [editor.] SpringerLink (Online service) Series: Advanced Sciences and Technologies for Security Applications 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)
	909.	Algorithms and Complexity [electronic resource] : 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by Calamoneri, Tiziana [editor.] Corò, Federico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12701 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)
	910.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III / by Karlapalem, Kamal [editor.] Cheng, Hong [editor.] Ramakrishnan, Naren [editor.] Agrawal, R. K [editor.] Reddy, P. Krishna [editor.] Srivastava, Jaideep [editor.] Chakraborty, Tanmoy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12714 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)
	911.	Reservoir Computing [electronic resource] : Theory, Physical Implementations, and Applications / by Nakajima, Kohei [editor.] Fischer, Ingo [editor.] SpringerLink (Online service) Series: Natural Computing Series Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	912.	String Processing and Information Retrieval [electronic resource] : 28th International Symposium, SPIRE 2021, Lille, France, October 4–6, 2021, Proceedings / by Lecroq, Thierry [editor.] Touzet, Hélène [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12944 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)
	913.	Computational Collective Intelligence [electronic resource] : 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 – October 1, 2021, Proceedings / by Nguyen, Ngoc Thanh [editor.] Iliadis, Lazaros [editor.] Maglogiannis, Ilias [editor.] Trawiński, Bogdan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12876 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)
	914.	Computer Security – ESORICS 2021 [electronic resource] : 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part I / by Bertino, Elisa [editor.] Shulman, Haya [editor.] Waidner, Michael [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12972 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)
	915.	Conceptual Modeling [electronic resource] : 41st International Conference, ER 2022, Hyderabad, India, October 17–20, 2022, Proceedings / by Ralyté, Jolita [editor.] Chakravarthy, Sharma [editor.] Mohania, Mukesh [editor.] Jeusfeld, Manfred A [editor.] Karlapalem, Kamalakar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13607 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)
	916.	Objective Information Theory [electronic resource] / by Xu, Jianfeng [author.] Wang, Shuliang [author.] Liu, Zhenyu [author.] Wang, Yashi [author.] Wang, Yingfei [author.] Dang, Yingxu [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	917.	Artificial Intelligence and Data Science Based R&D Interventions [electronic resource] : Proceedings of NERC 2022 / by Bhattacharjee, Ratnajit [editor.] Neog, Debanga Raj [editor.] Mopuri, Konda Reddy [editor.] Vipparthi, Santosh Kumar [editor.] SpringerLink (Online service) 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)
	918.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7609 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)
	919.	Transactions on Petri Nets and Other Models of Concurrency XIII [electronic resource] / by Koutny, Maciej [editor.] Kristensen, Lars Michael [editor.] Penczek, Wojciech [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 11090 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	920.	Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by Sekerinski, Emil [editor.] Moreira, Nelma [editor.] Oliveira, José N [editor.] Ratiu, Daniel [editor.] Guidotti, Riccardo [editor.] Farrell, Marie [editor.] Luckcuck, Matt [editor.] Marmsoler, Diego [editor.] Campos, José [editor.] Astarte, Troy [editor.] Gonnord, Laure [editor.] Cerone, Antonio [editor.] Couto, Luis [editor.] Dongol, Brijesh [editor.] Kutrib, Martin [editor.] Monteiro, Pedro [editor.] Delmas, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12233 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

Topics

Your search returned 3659 results.