Results of search for 'ccl=su:{Mathematics.} and su-to:Mathematics of Computing' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	281.	Operations Research and Enterprise Systems [electronic resource] : 9th International Conference, ICORES 2020, Valetta, Malta, February 22–24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers / by Parlier, Greg H [editor.] Liberatore, Federico [editor.] Demange, Marc [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1623 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)
	282.	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)
	283.	Smart Cities, Green Technologies, and Intelligent Transport Systems [electronic resource] : 6th International Conference, SMARTGREENS 2017, and Third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017, Revised Selected Papers / by Donnellan, Brian [editor.] Klein, Cornel [editor.] Helfert, Markus [editor.] Gusikhin, Oleg [editor.] Pascoal, António [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 921 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)
	284.	Practical Optimization [electronic resource] : Algorithms and Engineering Applications / by Antoniou, Andreas [author.] Lu, Wu-Sheng [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	285.	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)
	286.	Recent Advances in Sustainable Energy and Intelligent Systems [electronic resource] : 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part II / by Li, Kang [editor.] Coombs, Tim [editor.] He, Jinghan [editor.] Tian, Yuchu [editor.] Niu, Qun [editor.] Yang, Zhile [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1468 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	287.	Thinking Programs [electronic resource] : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / by Schreiner, Wolfgang [author.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria 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)
	288.	R-Calculus, IV: Propositional Logic [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	289.	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)
	290.	Chance in Physics, Computer Science and Philosophy [electronic resource] : Chance as the Foundation of the World / by Hehl, Walter [author.] SpringerLink (Online service) Series: Die blaue Stunde der Informatik Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	291.	Intelligent Systems [electronic resource] : 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by Britto, André [editor.] Valdivia Delgado, Karina [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13073 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)
	292.	Applications of Computational Intelligence [electronic resource] : 5th IEEE Colombian Conference, ColCACI 2022, Cali, Colombia, July 27–29, 2022, Revised Selected Papers / by Orjuela-Cañón, Alvaro David [editor.] Lopez, Jesus [editor.] Arias-Londoño, Julian David [editor.] Figueroa-García, Juan Carlos [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1746 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)
	293.	Database Systems for Advanced Applications [electronic resource] : 28th International Conference, DASFAA 2023, Tianjin, China, April 17–20, 2023, Proceedings, Part III / by Wang, Xin [editor.] Sapino, Maria Luisa [editor.] Han, Wook-Shin [editor.] El Abbadi, Amr [editor.] Dobbie, Gill [editor.] Feng, Zhiyong [editor.] Shao, Yingxiao [editor.] Yin, Hongzhi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13945 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)
	294.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25–28, 2023, Proceedings, Part II / by Kashima, Hisashi [editor.] Ide, Tsuyoshi [editor.] Peng, Wen-Chih [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13936 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)
	295.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / by Gomes, Luis [editor.] Lorenz, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13929 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)
	296.	Advances in Knowledge Discovery and Data Mining [electronic resource] : 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25–28, 2023, Proceedings, Part IV / by Kashima, Hisashi [editor.] Ide, Tsuyoshi [editor.] Peng, Wen-Chih [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13938 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)
	297.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings / by Ghaffari, Mohsen [editor.] Nesterenko, Mikhail [editor.] Tixeuil, Sébastien [editor.] Tucci, Sara [editor.] Yamauchi, Yukiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11914 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)
	298.	Quality, Reliability, Security and Robustness in Heterogeneous Systems [electronic resource] : 16th EAI International Conference, QShine 2020, Virtual Event, November 29–30, 2020, Proceedings / by Wu, Xi [editor.] Wu, Kaishun [editor.] Wang, Cong [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 381 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)
	299.	Intelligent Equipment, Robots, and Vehicles [electronic resource] : 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part III / by Han, Qinglong [editor.] McLoone, Sean [editor.] Peng, Chen [editor.] Zhang, Baolin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1469 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	300.	Algorithmic Decision Theory [electronic resource] : 7th International Conference, ADT 2021, Toulouse, France, November 3–5, 2021, Proceedings / by Fotakis, Dimitris [editor.] Ríos Insua, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13023 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 673 results.