Results of search for 'ccl=su:{Theory of Computation.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	401.	Natural Language Processing and Chinese Computing [electronic resource] : 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14–18, 2020, Proceedings, Part I / by Zhu, Xiaodan [editor.] Zhang, Min [editor.] Hong, Yu [editor.] He, Ruifang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12430 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)
	402.	Natural Language Processing and Chinese Computing [electronic resource] : 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14–18, 2020, Proceedings, Part II / by Zhu, Xiaodan [editor.] Zhang, Min [editor.] Hong, Yu [editor.] He, Ruifang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12431 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)
	403.	Theory and Practice of Natural Computing [electronic resource] : 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7–9, 2020, Proceedings / by Martín-Vide, Carlos [editor.] Vega-Rodríguez, Miguel A [editor.] Yang, Miin-Shen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12494 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)
	404.	Computational Science – ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I / by Groen, Derek [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13350 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)
	405.	Computational Science – ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part II / by Groen, Derek [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13351 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)
	406.	Computational Science – ICCS 2022 [electronic resource] : 22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part III / by Groen, Derek [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13352 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)
	407.	Formal Methods for Software Engineering [electronic resource] : Languages, Methods, Application Domains / by Roggenbach, Markus [author.] Cerone, Antonio [author.] Schlingloff, Bernd-Holger [author.] Schneider, Gerardo [author.] Shaikh, Siraj Ahmed [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS 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)
	408.	Computer Science – Theory and Applications [electronic resource] : 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 – July 1, 2022, Proceedings / by Kulikov, Alexander S [editor.] Raskhodnikova, Sofya [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13296 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)
	409.	Information Search, Integration, and Personalization [electronic resource] : 13th International Workshop, ISIP 2019, Heraklion, Greece, May 9–10, 2019, Revised Selected Papers / by Flouris, Giorgos [editor.] Laurent, Dominique [editor.] Plexousakis, Dimitris [editor.] Spyratos, Nicolas [editor.] Tanaka, Yuzuru [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1197 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)
	410.	Database and Expert Systems Applications [electronic resource] : DEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14–17, 2020, Proceedings / by Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] Fischer, Lukas [editor.] Moser, Bernhard [editor.] Mashkoor, Atif [editor.] Sametinger, Johannes [editor.] Fensel, Anna [editor.] Martinez-Gil, Jorge [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1285 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)
	411.	Applied Computer Sciences in Engineering [electronic resource] : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings / by Figueroa-García, Juan Carlos [editor.] Garay-Rairán, Fabián Steven [editor.] Hernández-Pérez, Germán Jairo [editor.] Díaz-Gutierrez, Yesid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1274 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)
	412.	Intelligent Computing Theories and Application [electronic resource] : 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part I / by Huang, De-Shuang [editor.] Bevilacqua, Vitoantonio [editor.] Hussain, Abir [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12463 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)
	413.	Reachability Problems [electronic resource] : 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings / by Schmitz, Sylvain [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12448 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)
	414.	Intelligent Systems [electronic resource] : 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II / by Cerri, Ricardo [editor.] Prati, Ronaldo C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12320 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)
	415.	Open Semantic Technologies for Intelligent System [electronic resource] : 10th International Conference, OSTIS 2020, Minsk, Belarus, February 19–22, 2020, Revised Selected Papers / by Golenkov, Vladimir [editor.] Krasnoproshin, Victor [editor.] Golovko, Vladimir [editor.] Azarov, Elias [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1282 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)
	416.	LATIN 2020: Theoretical Informatics [electronic resource] : 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings / by Kohayakawa, Yoshiharu [editor.] Miyazawa, Flávio Keidi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12118 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)
	417.	Advances in Swarm Intelligence [electronic resource] : 13th International Conference, ICSI 2022, Xi'an, China, July 15–19, 2022, Proceedings, Part II / by Tan, Ying [editor.] Shi, Yuhui [editor.] Niu, Ben [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13345 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)
	418.	Intelligent Data Engineering and Automated Learning – IDEAL 2019 [electronic resource] : 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II / by Yin, Hujun [editor.] Camacho, David [editor.] Tino, Peter [editor.] Tallón-Ballesteros, Antonio J [editor.] Menezes, Ronaldo [editor.] Allmendinger, Richard [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11872 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)
	419.	Understand Mathematics, Understand Computing [electronic resource] : Discrete Mathematics That All Computing Students Should Know / by Rosenberg, Arnold L [author.] Trystram, Denis [author.] 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)
	420.	Software Verification [electronic resource] : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers / by Christakis, Maria [editor.] Polikarpova, Nadia [editor.] Duggirala, Parasara Sridhar [editor.] Schrammel, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12549 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 2608 results.