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

Results
	521.	PRIMA 2020: Principles and Practice of Multi-Agent Systems [electronic resource] : 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings / by Uchiya, Takahiro [editor.] Bai, Quan [editor.] Marsá Maestre, Iván [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12568 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)
	522.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings / by Zhang, Yong [editor.] Xu, Yicheng [editor.] Tian, Hui [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12606 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)
	523.	Agents and Artificial Intelligence [electronic resource] : 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers / by Rocha, Ana Paula [editor.] Steels, Luc [editor.] van den Herik, Jaap [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13251 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)
	524.	Knowledge Science, Engineering and Management [electronic resource] : 15th International Conference, KSEM 2022, Singapore, August 6–8, 2022, Proceedings, Part I / by Memmi, Gerard [editor.] Yang, Baijian [editor.] Kong, Linghe [editor.] Zhang, Tianwei [editor.] Qiu, Meikang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13368 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)
	525.	Trends and Applications in Knowledge Discovery and Data Mining [electronic resource] : PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, Revised Selected Papers / by Kang, U [editor.] Lim, Ee-Peng [editor.] Yu, Jeffrey Xu [editor.] Moon, Yang-Sae [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10526 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)
	526.	NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by Dutle, Aaron [editor.] Muñoz, César [editor.] Narkawicz, Anthony [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10811 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)
	527.	Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by Hähnle, Reiner [editor.] van der Aalst, Wil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11424 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)
	528.	Mathematical Aspects of Computer and Information Sciences [electronic resource] : 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers / by Slamanig, Daniel [editor.] Tsigaridas, Elias [editor.] Zafeirakopoulos, Zafeirakis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11989 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)
	529.	AIxIA 2020 – Advances in Artificial Intelligence [electronic resource] : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / by Baldoni, Matteo [editor.] Bandini, Stefania [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12414 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)
	530.	Formal Concept Analysis [electronic resource] : 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings / by Braud, Agnès [editor.] Buzmakov, Aleksey [editor.] Hanika, Tom [editor.] Le Ber, Florence [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12733 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)
	531.	Search-Based Software Engineering [electronic resource] : 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings / by O'Reilly, Una-May [editor.] Devroey, Xavier [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12914 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)
	532.	Advances in Computer Games [electronic resource] : 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers / by Browne, Cameron [editor.] Kishimoto, Akihiro [editor.] Schaeffer, Jonathan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13262 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)
	533.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12–17, 2022, Revised Selected Papers / by Takama, Yasufumi [editor.] Yada, Katsutoshi [editor.] Satoh, Ken [editor.] Arai, Sachiyo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13859 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)
	534.	Web Technologies and Applications [electronic resource] : APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings / by Morishima, Atsuyuki [editor.] Zhang, Rong [editor.] Zhang, Wenjie [editor.] Chang, Lijun [editor.] Fu, Tom Z. J [editor.] Liu, Kuien [editor.] Yang, Xiaoyan [editor.] Zhu, Jia [editor.] Zhang, Zhiwei [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9865 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	535.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / by Fantechi, Alessandro [editor.] Lecomte, Thierry [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10598 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)
	536.	Relational and Algebraic Methods in Computer Science [electronic resource] : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by Fahrenberg, Uli [editor.] Gehrke, Mai [editor.] Santocanale, Luigi [editor.] Winter, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13027 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)
	537.	Applied Computer Sciences in Engineering [electronic resource] : 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings / by Figueroa-García, Juan Carlos [editor.] Duarte-González, Mario [editor.] Jaramillo-Isaza, Sebastián [editor.] Orjuela-Cañon, Alvaro David [editor.] Díaz-Gutierrez, Yesid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1052 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)
	538.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII / by Krzhizhanovskaya, Valeria V [editor.] Závodszky, Gábor [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] Brissos, Sérgio [editor.] Teixeira, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12143 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)
	539.	Advances in Computational Intelligence [electronic resource] : 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part I / by Batyrshin, Ildar [editor.] Gelbukh, Alexander [editor.] Sidorov, Grigori [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13067 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)
	540.	Domain Science and Engineering [electronic resource] : A Foundation for Software Development / by Bjørner, Dines [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS Series 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2608 results.