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

Results
	1921.	Cellular Automata [electronic resource] : 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12–15, 2022, Proceedings / by Chopard, Bastien [editor.] Bandini, Stefania [editor.] Dennunzio, Alberto [editor.] Arabi Haddad, Mira [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13402 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)
	1922.	Innovations in Digital Economy [electronic resource] : Third International Scientific Conference, SPBPU IDE 2021, Saint Petersburg, Russia, October 14–15, 2021, Revised Selected Papers / by Rodionov, Dmitrii [editor.] Kudryavtseva, Tatiana [editor.] Skhvediani, Angi [editor.] Berawi, Mohammed Ali [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1619 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)
	1923.	Digital-for-Development: Enabling Transformation, Inclusion and Sustainability Through ICTs [electronic resource] : 12th International Development Informatics Association Conference, IDIA 2022, Mbombela, South Africa, November 22–25, 2022, Revised Selected Papers / by Ndayizigamiye, Patrick [editor.] Twinomurinzi, Hossana [editor.] Kalema, Billy [editor.] Bwalya, Kelvin [editor.] Bembe, Mncedisi [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1774 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)
	1924.	Self-star Properties in Complex Information Systems [electronic resource] : Conceptual and Practical Foundations / by Babaoglu, Ozalp [editor.] Jelasity, Márk [editor.] Montresor, Alberto [editor.] Fetzer, Christof [editor.] Leonardi, Stefano [editor.] van Moorsel, Aad [editor.] van Steen, Maarten [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3460 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1925.	Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / by Erwig, Martin [editor.] Paige, Richard F [editor.] Van Wyk, Eric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8225 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1926.	Semantic Technology [electronic resource] : 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers / by Li, Yuan-Fang [editor.] Hu, Wei [editor.] Dong, Jin Song [editor.] Antoniou, Grigoris [editor.] Wang, Zhe [editor.] Sun, Jun [editor.] Liu, Yang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10055 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)
	1927.	Compiler Construction [electronic resource] : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / by Hendren, Laurie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4959 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1928.	DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings / by Soloveichik, David [editor.] Yurke, Bernard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8141 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1929.	Chinese Lexical Semantics [electronic resource] : 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers / by Wu, Yunfang [editor.] Hong, Jia-Fei [editor.] Su, Qi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10709 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)
	1930.	Data and Information in Online Environments [electronic resource] : First EAI International Conference, DIONE 2020, Florianópolis, Brazil, March 19-20, 2020, Proceedings / by Mugnaini, Rogério [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 319 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)
	1931.	Advanced Communication Systems and Information Security [electronic resource] : Second International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20–22, 2019, Revised Selected Papers / by Belkasmi, Mostafa [editor.] Ben-Othman, Jalel [editor.] Li, Cheng [editor.] Essaaidi, Mohamed [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1264 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)
	1932.	Reversible Computation [electronic resource] : 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by Yamashita, Shigeru [editor.] Yokoyama, Tetsuo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12805 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)
	1933.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15–17, 2020, Revised Selected Papers / by Okazaki, Naoaki [editor.] Yada, Katsutoshi [editor.] Satoh, Ken [editor.] Mineshima, Koji [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12758 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)
	1934.	Beginner's Guide to Kotlin Programming [electronic resource] / by Hunt, John [author.] SpringerLink (Online service) 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)
	1935.	Information and Software Technologies [electronic resource] : 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14–16, 2021, Proceedings / by Lopata, Audrius [editor.] Gudonienė, Daina [editor.] Butkienė, Rita [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1486 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)
	1936.	Algorithms on Trees and Graphs [electronic resource] : With Python Code / by Valiente, Gabriel [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: 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)
	1937.	Advances in Conceptual Modeling [electronic resource] : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings / by Reinhartz-Berger, Iris [editor.] Sadiq, Shazia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13012 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)
	1938.	Belief Functions: Theory and Applications [electronic resource] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings / by Denœux, Thierry [editor.] Lefèvre, Eric [editor.] Liu, Zhunga [editor.] Pichon, Frédéric [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12915 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)
	1939.	Formal Methods in Outer Space [electronic resource] : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by Bartocci, Ezio [editor.] Falcone, Yliès [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13065 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)
	1940.	Fundamentals of Software Engineering [electronic resource] : 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by Hojjat, Hossein [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12818 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.