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

Results
	2041.	Innovation for Systems Information and Decision [electronic resource] : Third Innovation for Systems Information and Decision Meeting, INSID 2021, Virtual Event, December 1–3, 2021, Proceedings / by de Almeida, Adiel Teixeira [editor.] Morais, Danielle Costa [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 435 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)
	2042.	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)
	2043.	Large-Scale Scientific Computing [electronic resource] : 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13127 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)
	2044.	Bio-Inspired Computing: Theories and Applications [electronic resource] : 16th International Conference, BIC-TA 2021, Taiyuan, China, December 17–19, 2021, Revised Selected Papers, Part I / by Pan, Linqiang [editor.] Cui, Zhihua [editor.] Cai, Jianghui [editor.] Li, Lianghao [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1565 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2045.	Database Systems for Advanced Applications. DASFAA 2022 International Workshops [electronic resource] : BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings / by Rage, Uday Kiran [editor.] Goyal, Vikram [editor.] Reddy, P. Krishna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13248 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)
	2046.	Computability [electronic resource] / by Tourlakis, George [author.] SpringerLink (Online service) 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)
	2047.	Introduction to Transfer Learning [electronic resource] : Algorithms and Practice / by Wang, Jindong [author.] Chen, Yiqiang [author.] SpringerLink (Online service) Series: Machine Learning: Foundations, Methodologies, and Applications 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)
	2048.	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)
	2049.	Applied Cryptography and Network Security [electronic resource] : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I / by Tibouchi, Mehdi [editor.] Wang, XiaoFeng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13905 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)
	2050.	Higher Education Computer Science [electronic resource] : A Manual of Practical Approaches / by Carter, Jenny [editor.] O'Grady, Michael [editor.] Rosen, Clive [editor.] SpringerLink (Online service) Edition: 2nd ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2051.	Journal on Data Semantics VIII [electronic resource] / by Spaccapietra, Stefano [editor.] Atzeni, Paolo [editor.] Fages, Francois [editor.] Hacid, Mohand-Said [editor.] Kifer, Michael [editor.] Mylopoulos, John [editor.] Pernici, Barbara [editor.] Shvaiko, Pavel [editor.] Zaihrayeu, Ilya [editor.] SpringerLink (Online service) Series: Journal on Data Semantics ; 4380 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2052.	Advances in Brain Inspired Cognitive Systems [electronic resource] : 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings / by Liu, Cheng-Lin [editor.] Hussain, Amir [editor.] Luo, Bin [editor.] Tan, Kay Chen [editor.] Zeng, Yi [editor.] Zhang, Zhaoxiang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10023 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)
	2053.	Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / by Cavalheiro, Simone [editor.] Fiadeiro, José [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10623 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)
	2054.	Database Systems for Advanced Applications [electronic resource] : 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part I / by Jensen, Christian S [editor.] Lim, Ee-Peng [editor.] Yang, De-Nian [editor.] Lee, Wang-Chien [editor.] Tseng, Vincent S [editor.] Kalogeraki, Vana [editor.] Huang, Jen-Wei [editor.] Shen, Chih-Ya [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12681 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)
	2055.	Reachability Problems [electronic resource] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by Bell, Paul C [editor.] Totzke, Patrick [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13035 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)
	2056.	Modelling Puzzles in First Order Logic [electronic resource] / by Groza, Adrian [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)
	2057.	Guide to Discrete Mathematics [electronic resource] : An Accessible Introduction to the History, Theory, Logic and Applications / by O'Regan, Gerard [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)
	2058.	Machine Translation [electronic resource] : 17th China Conference, CCMT 2021, Xining, China, October 8–10, 2021, Revised Selected Papers / by Su, Jinsong [editor.] Sennrich, Rico [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1464 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)
	2059.	R-CALCULUS: A Logic of Belief Revision [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution 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)
	2060.	Autonomous Underwater Vehicles [electronic resource] : Localization, Tracking, and Formation / by Yan, Jing [author.] Yang, Xian [author.] Zhao, Haiyan [author.] Luo, Xiaoyuan [author.] Guan, Xinping [author.] SpringerLink (Online service) Series: Cognitive Intelligence and Robotics 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.