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

Results
	4261.	Algebraic Graph Algorithms [electronic resource] : A Practical Guide Using Python / by Erciyes, K [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
	4262.	Fundamentals of Logic and Computation [electronic resource] : With Practical Automated Reasoning and Verification / by Hou, Zhe [author.] SpringerLink (Online service) Series: Texts in Computer Science 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)
	4263.	Computational Intelligence [electronic resource] : A Methodological Introduction / by Kruse, Rudolf [author.] Mostaghim, Sanaz [author.] Borgelt, Christian [author.] Braune, Christian [author.] Steinbrecher, Matthias [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 3rd 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)
	4264.	Cooperative Information Systems [electronic resource] : 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4–7, 2022, Proceedings / by Sellami, Mohamed [editor.] Ceravolo, Paolo [editor.] Reijers, Hajo A [editor.] Gaaloul, Walid [editor.] Panetto, Hervé [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13591 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)
	4265.	Enterprise Design, Operations, and Computing [electronic resource] : 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3–7, 2022, Proceedings / by Almeida, João Paulo A [editor.] Karastoyanova, Dimka [editor.] Guizzardi, Giancarlo [editor.] Montali, Marco [editor.] Maggi, Fabrizio Maria [editor.] Fonseca, Claudenir M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13585 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)
	4266.	Health Information Science [electronic resource] : 11th International Conference, HIS 2022, Virtual Event, October 28–30, 2022, Proceedings / by Traina, Agma [editor.] Wang, Hua [editor.] Zhang, Yong [editor.] Siuly, Siuly [editor.] Zhou, Rui [editor.] Chen, Lu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13705 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4267.	Internet of Things [electronic resource] : Third International Conference, ICIoT 2022, Chennai, India, April 5–7, 2022, Revised Selected Papers / by Venkataraman, Revathi [editor.] Uthra, Annie [editor.] Sugumaran, Vijayan [editor.] Minu, R. I [editor.] Chelliah, Pethuru Raj [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1727 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)
	4268.	Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings / by Nagy, Benedek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14151 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)
	4269.	Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops [electronic resource] : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings / by Guiochet, Jérémie [editor.] Tonetta, Stefano [editor.] Schoitsch, Erwin [editor.] Roy, Matthieu [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14182 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)
	4270.	Learning with the Minimum Description Length Principle [electronic resource] / by Yamanishi, Kenji [author.] SpringerLink (Online service) 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)
	4271.	Natural Language Generation [electronic resource] : Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004, Proceedings / by Belz, Anja [editor.] Evans, Roger [editor.] Piwek, Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3123 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)
	4272.	Semantics of a Networked World. Semantics for Grid Databases [electronic resource] : First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, France, June 17-19, 2004. Revised Selected Papers / by Bouzeghoub, Mokrane [editor.] Goble, Carole [editor.] Kashyap, Vipul [editor.] Spaccapietra, Stefano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3226 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)
	4273.	Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / by Slind, Konrad [editor.] Bunker, Annette [editor.] Gopalakrishnan, Ganesh C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3223 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)
	4274.	Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers / by Aberer, Karl [editor.] Kalogeraki, Vana [editor.] Koubarakis, Manolis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2944 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)
	4275.	Logics in Artificial Intelligence [electronic resource] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings / by Fermé, Eduardo [editor.] Leite, Joao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8761 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)
	4276.	Intelligent Information Integration for the Semantic Web [electronic resource] / by Visser, Ubbo [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3159 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)
	4277.	Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings / by Fitzgerald, John S [editor.] Haxthausen, Anne E [editor.] Yenigun, Husnu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5160 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)
	4278.	Transactions on Rough Sets I [electronic resource] / by Peters, James F [editor.] Grzymala-Busse, Jerzy W [editor.] Kostek, Bozena [editor.] Swiniarski, Roman W [editor.] Szczuka, Marcin S [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 3100 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)
	4279.	Data Warehousing and Knowledge Discovery [electronic resource] : 6th International Conference, DaWaK 2004, Zaragoza, Spain, September 1-3, 2004, Proceedings / by Kambayashi, Yahiko [editor.] Mohania, Mukesh [editor.] Wöß, Wolfram [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3181 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)
	4280.	Semantic Technology [electronic resource] : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers / by Qi, Guilin [editor.] Kozaki, Kouji [editor.] Pan, Jeff Z [editor.] Yu, Siwei [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9544 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.