Results of search for 'ccl=Provider:Springer, and su-geo:Artificial intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	621.	Leveraging Applications of Formal Methods, Verification and Validation: Applications [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12478 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)
	622.	Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12476 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)
	623.	Big Data Management and Analytics [electronic resource] : 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 – July 5, 2019, Revised Selected Papers / by Kutsche, Ralf-Detlef [editor.] Zimányi, Esteban [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 390 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)
	624.	Language and Automata Theory and Applications [electronic resource] : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by Leporati, Alberto [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12638 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)
	625.	From Data to Models and Back [electronic resource] : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / by Bowles, Juliana [editor.] Broccia, Giovanna [editor.] Nanni, Mirco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12611 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)
	626.	Virtual, Augmented and Mixed Reality [electronic resource] : 13th International Conference, VAMR 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / by Chen, Jessie Y. C [editor.] Fragomeni, Gino [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12770 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)
	627.	Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. AI, Product and Service [electronic resource] : 12th International Conference, DHM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by Duffy, Vincent G [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12778 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)
	628.	Design, User Experience, and Usability: UX Research and Design [electronic resource] : 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by Soares, Marcelo M [editor.] Rosenzweig, Elizabeth [editor.] Marcus, Aaron [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12779 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)
	629.	Advances in Swarm Intelligence [electronic resource] : 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12689 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)
	630.	Advances of Science and Technology [electronic resource] : 8th EAI International Conference, ICAST 2020, Bahir Dar, Ethiopia, October 2-4, 2020, Proceedings, Part I / by Delele, Mulugeta Admasu [editor.] Bitew, Mekuanint Agegnehu [editor.] Beyene, Abebech Abera [editor.] Fanta, Solomon Workneh [editor.] Ali, Addisu Negash [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 384 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)
	631.	Frontiers of Computer Vision [electronic resource] : 27th International Workshop, IW-FCV 2021, Daegu, South Korea, February 22–23, 2021, Revised Selected Papers / by Jeong, Hieyong [editor.] Sumi, Kazuhiko [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1405 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)
	632.	e-Learning, e-Education, and Online Training [electronic resource] : 7th EAI International Conference, eLEOT 2021, Xinxiang, China, June 20-21, 2021, Proceedings Part II / by Fu, Weina [editor.] Liu, Shuai [editor.] Dai, Jianhua [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 390 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)
	633.	Trends in Functional Programming [electronic resource] : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / by Zsók, Viktória [editor.] Hughes, John [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12834 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)
	634.	Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 20th Asian Simulation Conference, AsiaSim 2021, Virtual Event, November 17–20, 2021, Proceedings / by Chang, Byeong-Yun [editor.] Choi, Changbeom [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1636 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)
	635.	Geomatics for Green and Digital Transition [electronic resource] : 25th Italian Conference, ASITA 2022, Genova, Italy, June 20–24, 2022, Proceedings / by Borgogno-Mondino, Enrico [editor.] Zamperlin, Paola [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1651 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)
	636.	User Modeling, Adaptation and Personalization [electronic resource] : 23rd International Conference, UMAP 2015, Dublin, Ireland, June 29 -- July 3, 2015. Proceedings / by Ricci, Francesco [editor.] Bontcheva, Kalina [editor.] Conlan, Owen [editor.] Lawless, Séamus [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9146 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)
	637.	Toward Category-Level Object Recognition [electronic resource] / by Ponce, Jean [editor.] Hebert, Martial [editor.] Schmid, Cordelia [editor.] Zisserman, Andrew [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4170 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	638.	Patch-Based Techniques in Medical Imaging [electronic resource] : Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings / by Wu, Guorong [editor.] Munsell, Brent C [editor.] Zhan, Yiqiang [editor.] Bai, Wenjia [editor.] Sanroma, Gerard [editor.] Coupé, Pierrick [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10530 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)
	639.	Advances in Swarm Intelligence [electronic resource] : 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Coello Coello, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8794 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)
	640.	Modeling Decisions for Artificial Intelligence [electronic resource] : 11th International Conference, MDAI 2014, Tokyo, Japan, October 29-31, 2014, Proceedings / by Torra, Vicenç [editor.] Narukawa, Yasuo [editor.] Endo, Yasunori [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8825 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

Places

Topics

Your search returned 8148 results.