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

Results
	1601.	Integer Programming and Combinatorial Optimization [electronic resource] : 21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings / by Bienstock, Daniel [editor.] Zambelli, Giacomo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12125 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)
	1602.	Modern Information Technology and IT Education [electronic resource] : 13th International Conference, SITITO 2018, Moscow, Russia, November 29 – December 2, 2018, Revised Selected Papers / by Sukhomlin, Vladimir [editor.] Zubareva, Elena [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1201 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)
	1603.	Foundations of Finitely Supported Structures [electronic resource] : A Set Theoretical Viewpoint / by Alexandru, Andrei [author.] Ciobanu, Gabriel [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)
	1604.	KI 2020: Advances in Artificial Intelligence [electronic resource] : 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings / by Schmid, Ute [editor.] Klügl, Franziska [editor.] Wolter, Diedrich [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12325 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)
	1605.	Transactions on Intelligent Welding Manufacturing [electronic resource] : Volume III No. 3 2019 / by Chen, Shanben [editor.] Zhang, Yuming [editor.] Feng, Zhili [editor.] SpringerLink (Online service) Series: Transactions on Intelligent Welding Manufacturing Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1606.	Multi-Agent Systems [electronic resource] : 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers / by Rosenfeld, Ariel [editor.] Talmon, Nimrod [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12802 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)
	1607.	Algorithms and Data Structures [electronic resource] : 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023, Proceedings / by Morin, Pat [editor.] Suri, Subhash [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14079 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)
	1608.	Theory and Applications of Satisfiability Testing [electronic resource] : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / by Giunchiglia, Enrico [editor.] Tacchella, Armando [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2919 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1609.	Database and XML Technologies [electronic resource] : Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings / by Bressan, Stéphane [editor.] Ceri, Stefano [editor.] Hunt, Ela [editor.] Ives, Zachary G [editor.] Bellahsène, Zohra [editor.] Rys, Michael [editor.] Unland, Rainer [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3671 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)
	1610.	Hybrid Artificial Intelligent Systems [electronic resource] : 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings / by Martínez-Álvarez, Francisco [editor.] Troncoso, Alicia [editor.] Quintián, Héctor [editor.] Corchado, Emilio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9648 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)
	1611.	Computational Methods in Systems Biology [electronic resource] : 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings / by Mendes, Pedro [editor.] Dada, Joseph O [editor.] Smallbone, Kieran [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8859 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1612.	Distributed and Parallel Computing [electronic resource] : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings / by Hobbs, Michael [editor.] Goscinski, Andrzej [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3719 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)
	1613.	Advances in Artificial Intelligence -- IBERAMIA 2012 [electronic resource] : 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012, Proceedings / by Pavón, Juan [editor.] Duque-Méndez, Néstor D [editor.] Fuentes Fernández, Rubén [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7637 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1614.	Information Search, Integration, and Personalization [electronic resource] : 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers / by Kotzinos, Dimitris [editor.] Laurent, Dominique [editor.] Spyratos, Nicolas [editor.] Tanaka, Yuzuru [editor.] Taniguchi, Rin-ichiro [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1040 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)
	1615.	Hypothesis-Driven Simulation Studies [electronic resource] : Assistance for the Systematic Design and Conducting of Computer Simulation Experiments / by Lorig, Fabian [author.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1616.	Artificial Intelligence [electronic resource] : 18th Russian Conference, RCAI 2020, Moscow, Russia, October 10–16, 2020, Proceedings / by Kuznetsov, Sergei O [editor.] Panov, Aleksandr I [editor.] Yakovlev, Konstantin S [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12412 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)
	1617.	The Multi-Agent Programming Contest 2019 [electronic resource] : Agents Assemble – Block by Block to Victory / by Ahlbrecht, Tobias [editor.] Dix, Jürgen [editor.] Fiekas, Niklas [editor.] Krausburg, Tabajara [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12381 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)
	1618.	Frontiers in Algorithmics [electronic resource] : 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings / by Li, Minming [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12340 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)
	1619.	Algorithmic Aspects of Cloud Computing [electronic resource] : 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers / by Brandic, Ivona [editor.] Genez, Thiago A. L [editor.] Pietri, Ilia [editor.] Sakellariou, Rizos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12041 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)
	1620.	Universal Time-Series Forecasting with Mixture Predictors [electronic resource] / by Ryabko, Daniil [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.