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

Results
	1681.	Biomedical Engineering Systems and Technologies [electronic resource] : 13th International Joint Conference, BIOSTEC 2020, Valletta, Malta, February 24–26, 2020, Revised Selected Papers / by Ye, Xuesong [editor.] Soares, Filipe [editor.] De Maria, Elisabetta [editor.] Gómez Vilda, Pedro [editor.] Cabitza, Federico [editor.] Fred, Ana [editor.] Gamboa, Hugo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1400 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)
	1682.	Mathematical Optimization Theory and Operations Research [electronic resource] : 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Proceedings / by Pardalos, Panos [editor.] Khachay, Michael [editor.] Mazalov, Vladimir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13367 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)
	1683.	Structural Information and Communication Complexity [electronic resource] : 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings / by Parter, Merav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13298 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)
	1684.	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)
	1685.	Digital Business and Intelligent Systems [electronic resource] : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4–6, 2022, Proceedings / by Ivanovic, Mirjana [editor.] Kirikova, Marite [editor.] Niedrite, Laila [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1598 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)
	1686.	Formal Methods: Foundations and Applications [electronic resource] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / by Ribeiro, Leila [editor.] Lecomte, Thierry [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10090 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)
	1687.	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)
	1688.	Technological Innovation for Life Improvement [electronic resource] : 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Costa de Caparica, Portugal, July 1–3, 2020, Proceedings / by Camarinha-Matos, Luis M [editor.] Farhadi, Nastaran [editor.] Lopes, Fábio [editor.] Pereira, Helena [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 577 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)
	1689.	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)
	1690.	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)
	1691.	Advances in Cryptology – ASIACRYPT 2020 [electronic resource] : 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7–11, 2020, Proceedings, Part I / by Moriai, Shiho [editor.] Wang, Huaxiong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12491 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)
	1692.	Web and Internet Economics [electronic resource] : 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings / by Chen, Xujin [editor.] Gravin, Nikolai [editor.] Hoefer, Martin [editor.] Mehta, Ruta [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12495 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)
	1693.	Information Systems Security [electronic resource] : 16th International Conference, ICISS 2020, Jammu, India, December 16–20, 2020, Proceedings / by Kanhere, Salil [editor.] Patil, Vishwas T [editor.] Sural, Shamik [editor.] Gaur, Manoj S [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12553 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)
	1694.	Green Transportation and New Advances in Vehicle Routing Problems [electronic resource] / by Derbel, Houda [editor.] Jarboui, Bassem [editor.] Siarry, Patrick [editor.] 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)
	1695.	Population Genomics: Wildlife [electronic resource] / by Hohenlohe, Paul A [editor.] Rajora, Om P [editor.] SpringerLink (Online service) Series: Population Genomics 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)
	1696.	Knowledge Graphs and Semantic Web [electronic resource] : Second Iberoamerican Conference and First Indo-American Conference, KGSWC 2020, Mérida, Mexico, November 26–27, 2020, Proceedings / by Villazón-Terrazas, Boris [editor.] Ortiz-Rodríguez, Fernando [editor.] Tiwari, Sanju M [editor.] Shandilya, Shishir K [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1232 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)
	1697.	Advances in Information Retrieval [electronic resource] : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part II / by Hiemstra, Djoerd [editor.] Moens, Marie-Francine [editor.] Mothe, Josiane [editor.] Perego, Raffaele [editor.] Potthast, Martin [editor.] Sebastiani, Fabrizio [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12657 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)
	1698.	Theoretical Computer Science [electronic resource] : 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers / by He, Kun [editor.] Zhong, Cheng [editor.] Cai, Zhiping [editor.] Yin, Yitong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1352 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)
	1699.	Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future [electronic resource] : Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement / by Aiello, Marco [editor.] Bouguettaya, Athman [editor.] Tamburri, Damian Andrew [editor.] van den Heuvel, Willem-Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12521 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)
	1700.	Interactivity and Game Creation [electronic resource] : 9th EAI International Conference, ArtsIT 2020, Aalborg, Denmark, December 10–11, 2020, Proceedings / by Brooks, Anthony [editor.] Brooks, Eva Irene [editor.] Jonathan, Duckworth [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 367 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

Places

Topics

Titles

Your search returned 5827 results.