Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1721.	Trends in Computational Intelligence, Security and Internet of Things [electronic resource] : Third International Conference, ICCISIoT 2020, Tripura, India, December 29-30, 2020, Proceedings / by Kar, Nirmalya [editor.] Saha, Ashim [editor.] Deb, Suman [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1358 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.	Big Data Analytics [electronic resource] : 8th International Conference, BDA 2020, Sonepat, India, December 15–18, 2020, Proceedings / by Bellatreche, Ladjel [editor.] Goyal, Vikram [editor.] Fujita, Hamido [editor.] Mondal, Anirban [editor.] Reddy, P. Krishna [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12581 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.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by Henglein, Fritz [editor.] Shoham, Sharon [editor.] Vizel, Yakir [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12597 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.	Recent Featured Applications of Artificial Intelligence Methods. LSMS 2020 and ICSEE 2020 Workshops [electronic resource] : Workshops of the 6th International Conference on Life System Modeling and Simulation, LSMS 2020, and 6th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2020, Shanghai, China, October 25, 2020, Proceedings / by Fei, Minrui [editor.] Li, Kang [editor.] Yang, Zhile [editor.] Niu, Qun [editor.] Li, Xin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1303 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1725.	Cerebral Aneurysm Detection and Analysis [electronic resource] : First Challenge, CADA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings / by Hennemuth, Anja [editor.] Goubergrits, Leonid [editor.] Ivantsits, Matthias [editor.] Kuhnigk, Jan-Martin [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 12643 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)
	1726.	Emerging Technologies and the Digital Transformation of Museums and Heritage Sites [electronic resource] : First International Conference, RISE IMET 2021, Nicosia, Cyprus, June 2–4, 2021, Proceedings / by Shehade, Maria [editor.] Stylianou-Lambert, Theopisti [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1432 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)
	1727.	Model Checking Software [electronic resource] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by Laarman, Alfons [editor.] Sokolova, Ana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12864 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)
	1728.	Advancing Research in Information and Communication Technology [electronic resource] : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups / by Goedicke, Michael [editor.] Neuhold, Erich [editor.] Rannenberg, Kai [editor.] SpringerLink (Online service) Series: IFIP AICT Festschrifts ; 600 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)
	1729.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by Kowalik, Łukasz [editor.] Pilipczuk, Michał [editor.] Rzążewski, Paweł [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12911 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)
	1730.	Mathematical Optimization Theory and Operations Research: Recent Trends [electronic resource] : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Revised Selected Papers / by Strekalovsky, Alexander [editor.] Kochetov, Yury [editor.] Gruzdeva, Tatiana [editor.] Orlov, Andrei [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1476 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)
	1731.	Society 5.0 [electronic resource] : First International Conference, Society 5.0 2021, Virtual Event, June 22–24, 2021, Revised Selected Papers / by Gerber, Aurona [editor.] Hinkelmann, Knut [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1477 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)
	1732.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection [electronic resource] : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings / by Dignum, Frank [editor.] Corchado, Juan Manuel [editor.] De La Prieta, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12946 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)
	1733.	Service-Oriented Computing [electronic resource] : 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings / by Barzen, Johanna [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1429 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)
	1734.	Nature Inspired Optimisation for Delivery Problems [electronic resource] : From Theory to the Real World / by Urquhart, Neil [author.] SpringerLink (Online service) Series: Natural Computing Series 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)
	1735.	The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13360 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)
	1736.	Advances in Artificial Intelligence and Security [electronic resource] : 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, Qinghai, China, July 15–20, 2022, Proceedings, Part III / by Sun, Xingming [editor.] Zhang, Xiaorui [editor.] Xia, Zhihua [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1588 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)
	1737.	Computer Performance Engineering [electronic resource] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings / by Gilly, Katja [editor.] Thomas, Nigel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13659 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)
	1738.	Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / by Dubois, Catherine [editor.] San Pietro, Pierluigi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13962 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)
	1739.	Automated Deduction – CADE 29 [electronic resource] : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / by Pientka, Brigitte [editor.] Tinelli, Cesare [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14132 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)
	1740.	Information Systems and Design [electronic resource] : Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12–13, 2022, Revised Selected Papers / by Taratukhin, Victor [editor.] Levchenko, Artem [editor.] Kupriyanov, Yury [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1767 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7886 results.