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

Results
	301.	Artificial Intelligence and Symbolic Computation [electronic resource] : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings / by Fleuriot, Jacques [editor.] Wang, Dongming [editor.] Calmet, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11110 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)
	302.	Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12–14, 2018, Proceedings / by Agre, Gennady [editor.] van Genabith, Josef [editor.] Declerck, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11089 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)
	303.	Studies on Speech Production [electronic resource] : 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers / by Fang, Qiang [editor.] Dang, Jianwu [editor.] Perrier, Pascal [editor.] Wei, Jianguo [editor.] Wang, Longbiao [editor.] Yan, Nan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10733 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)
	304.	Information Security Practice and Experience [electronic resource] : 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings / by Su, Chunhua [editor.] Kikuchi, Hiroaki [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11125 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)
	305.	Information Retrieval [electronic resource] : 24th China Conference, CCIR 2018, Guilin, China, September 27–29, 2018, Proceedings / by Zhang, Shichao [editor.] Liu, Tie-Yan [editor.] Li, Xianxian [editor.] Guo, Jiafeng [editor.] Li, Chenliang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11168 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)
	306.	Leveraging Applications of Formal Methods, Verification and Validation. Modeling [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11244 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)
	307.	Leveraging Applications of Formal Methods, Verification and Validation. Verification [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11245 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)
	308.	Graphics Recognition. Current Trends and Evolutions [electronic resource] : 12th IAPR International Workshop, GREC 2017, Kyoto, Japan, November 9-10, 2017, Revised Selected Papers / by Fornés, Alicia [editor.] Lamiroy, Bart [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11009 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)
	309.	AI 2018: Advances in Artificial Intelligence [electronic resource] : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / by Mitrovic, Tanja [editor.] Xue, Bing [editor.] Li, Xiaodong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11320 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)
	310.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by Liefooghe, Arnaud [editor.] Paquete, Luís [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11452 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)
	311.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / by Bertrand, Nathalie [editor.] Jansen, Nils [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12288 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)
	312.	Transactions on Computational Collective Intelligence XXXV [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Mercik, Jacek [editor.] Motylska-Kuźma, Anna [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 12330 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	313.	Mobile Internet Security [electronic resource] : 4th International Symposium, MobiSec 2019, Taichung, Taiwan, October 17–19, 2019, Revised Selected Papers / by You, Ilsun [editor.] Chen, Hsing-Chung [editor.] Leu, Fang-Yie [editor.] Kotenko, Igor [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1121 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)
	314.	Optimization and Applications [electronic resource] : 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Proceedings / by Olenev, Nicholas [editor.] Evtushenko, Yuri [editor.] Khachay, Michael [editor.] Malkova, Vlasta [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12422 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)
	315.	Formal Methods – Fun for Everybody [electronic resource] : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / by Cerone, Antonio [editor.] Roggenbach, Markus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1301 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)
	316.	Principles and Practice of Constraint Programming [electronic resource] : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings / by O'Sullivan, Barry [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8656 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)
	317.	Algorithms and Data Structures [electronic resource] : 15th International Symposium, WADS 2017, St. John’s, NL, Canada, July 31 – August 2, 2017, Proceedings / by Ellen, Faith [editor.] Kolokolova, Antonina [editor.] Sack, Jörg-Rüdiger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10389 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)
	318.	Social, Cultural, and Behavioral Modeling [electronic resource] : 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings / by Thomson, Robert [editor.] Dancy, Christopher [editor.] Hyder, Ayaz [editor.] Bisgin, Halil [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10899 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)
	319.	High Performance Computing in Science and Engineering [electronic resource] : Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers / by Kozubek, Tomáš [editor.] Čermák, Martin [editor.] Tichý, Petr [editor.] Blaheta, Radim [editor.] Šístek, Jakub [editor.] Lukáš, Dalibor [editor.] Jaroš, Jiří [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11087 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)
	320.	PRICAI 2018: Trends in Artificial Intelligence [electronic resource] : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part II / by Geng, Xin [editor.] Kang, Byeong-Ho [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11013 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 3496 results.