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

Results
	2181.	Introduction to Computation [electronic resource] : Haskell, Logic and Automata / by Sannella, Donald [author.] Fourman, Michael [author.] Peng, Haoran [author.] Wadler, Philip [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
	2182.	Relational Calculus for Actionable Knowledge [electronic resource] / by Barès, Michel [author.] Bossé, Éloi [author.] SpringerLink (Online service) Series: Information Fusion and Data Science 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)
	2183.	Wireless and Satellite Systems [electronic resource] : 12th EAI International Conference, WiSATS 2021, Virtual Event, China, July 31 – August 2, 2021, Proceedings / by Guo, Qing [editor.] Meng, Weixiao [editor.] Jia, Min [editor.] Wang, Xue [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 410 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)
	2184.	Algorithms and Discrete Applied Mathematics [electronic resource] : 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings / by Balachandran, Niranjan [editor.] Inkulu, R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13179 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)
	2185.	Information Systems and Design [electronic resource] : Second International Conference, ICID 2021, Virtual Event, September 6–7, 2021, Revised Selected Papers / by Taratukhin, Victor [editor.] Matveev, Mikhail [editor.] Becker, Jörg [editor.] Kupriyanov, Yury [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1539 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)
	2186.	Transactions on Petri Nets and Other Models of Concurrency XVI [electronic resource] / by Koutny, Maciej [editor.] Kordon, Fabrice [editor.] Moldt, Daniel [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 13220 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2187.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III / by Mikyška, Jiří [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 ; 10475 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)
	2188.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV / by Mikyška, Jiří [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 ; 10476 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)
	2189.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II / by Mikyška, Jiří [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 ; 14074 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)
	2190.	Formal Concept Analysis [electronic resource] : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings / by Dürrschnabel, Dominik [editor.] López Rodríguez, Domingo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13934 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)
	2191.	Advances in Swarm Intelligence [electronic resource] : 14th International Conference, ICSI 2023, Shenzhen, China, July 14–18, 2023, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Luo, Wenjian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13968 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)
	2192.	Engineering Psychology and Cognitive Ergonomics [electronic resource] : 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I / by Harris, Don [editor.] Li, Wen-Chin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14017 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)
	2193.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / by Galmiche, Didier [editor.] Larchey-Wendling, Dominique [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8123 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2194.	Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / by James, Phillip [editor.] Roggenbach, Markus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10644 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)
	2195.	Mobile and Ubiquitous Systems: Computing, Networking and Services [electronic resource] : 18th EAI International Conference, MobiQuitous 2021, Virtual Event, November 8-11, 2021, Proceedings / by Hara, Takahiro [editor.] Yamaguchi, Hirozumi [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 419 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)
	2196.	Metaheuristics and Nature Inspired Computing [electronic resource] : 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings / by Dorronsoro, Bernabé [editor.] Yalaoui, Farouk [editor.] Talbi, El-Ghazali [editor.] Danoy, Grégoire [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1541 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)
	2197.	Algorithms and Architectures for Parallel Processing [electronic resource] : 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part III / by Lai, Yongxuan [editor.] Wang, Tian [editor.] Jiang, Min [editor.] Xu, Guangquan [editor.] Liang, Wei [editor.] Castiglione, Aniello [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13157 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)
	2198.	Secure Knowledge Management In The Artificial Intelligence Era [electronic resource] : 9th International Conference, SKM 2021, San Antonio, TX, USA, October 8–9, 2021, Proceedings / by Krishnan, Ram [editor.] Rao, H. Raghav [editor.] Sahay, Sanjay K [editor.] Samtani, Sagar [editor.] Zhao, Ziming [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1549 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)
	2199.	Services Computing – SCC 2021 [electronic resource] : 18th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings / by Katangur, Ajay [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12995 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)
	2200.	Inductive Logic Programming [electronic resource] : 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings / by Katzouris, Nikos [editor.] Artikis, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13191 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.