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

Results
	4841.	SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / by Wiedermann, Jirí [editor.] Tel, Gerard [editor.] Pokorný, Jaroslav [editor.] Bieliková, Mária [editor.] Štuller, Július [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3831 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4842.	Reasoning Web. Semantic Interoperability on the Web [electronic resource] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / by Ianni, Giovambattista [editor.] Lembo, Domenico [editor.] Bertossi, Leopoldo [editor.] Faber, Wolfgang [editor.] Glimm, Birte [editor.] Gottlob, Georg [editor.] Staab, Steffen [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10370 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)
	4843.	Computational Science and Its Applications -- ICCSA 2004 [electronic resource] : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I / by Laganà, Antonio [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Mun, Youngsong [editor.] Tan, C.J. Kenneth [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3043 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)
	4844.	Number-Theoretic Methods in Cryptology [electronic resource] : First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers / by Kaczorowski, Jerzy [editor.] Pieprzyk, Josef [editor.] Pomykała, Jacek [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10737 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)
	4845.	Autonomous Control for a Reliable Internet of Services [electronic resource] : Methods, Models, Approaches, Techniques, Algorithms, and Tools / by Ganchev, Ivan [editor.] van der Mei, R. D [editor.] van den Berg, Hans [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10768 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)
	4846.	Human Interface and the Management of Information. Information-Rich and Intelligent Environments [electronic resource] : Thematic Area, HIMI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by Yamamoto, Sakae [editor.] Mori, Hirohiko [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12766 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)
	4847.	Database and Expert Systems Applications - DEXA 2022 Workshops [electronic resource] : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings / by Kotsis, Gabriele [editor.] Tjoa, A Min [editor.] Khalil, Ismail [editor.] Moser, Bernhard [editor.] Taudes, Alfred [editor.] Mashkoor, Atif [editor.] Sametinger, Johannes [editor.] Martinez-Gil, Jorge [editor.] Sobieczky, Florian [editor.] Fischer, Lukas [editor.] Ramler, Rudolf [editor.] Khan, Maqbool [editor.] Czech, Gerald [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1633 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)
	4848.	Co-creating for Context in the Transfer and Diffusion of IT [electronic resource] : IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2022, Maynooth, Ireland, June 15–16, 2022, Proceedings / by Elbanna, Amany [editor.] McLoughlin, Shane [editor.] Dwivedi, Yogesh K [editor.] Donnellan, Brian [editor.] Wastell, David [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 660 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)
	4849.	Rigorous State-Based Methods [electronic resource] : 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings / by Glässer, Uwe [editor.] Creissac Campos, Jose [editor.] Méry, Dominique [editor.] Palanque, Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14010 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)
	4850.	Transactions on Petri Nets and Other Models of Concurrency XVII [electronic resource] / by Koutny, Maciej [editor.] Bergenthum, Robin [editor.] Ciardo, Gianfranco [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 14150 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4851.	Tools and Methods of Program Analysis [electronic resource] : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers / by Yavorskiy, Rostislav [editor.] Cavalli, Ana Rosa [editor.] Kalenkova, Anna [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1559 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4852.	Incentive Mechanism for Mobile Crowdsensing [electronic resource] : A Game-theoretic Approach / by Li, Youqi [author.] Li, Fan [author.] Yang, Song [author.] Zhang, Chuan [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4853.	R-Calculus, V: Description Logics [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4854.	Graph Drawing and Network Visualization [electronic resource] : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part II / by Bekos, Michael A [editor.] Chimani, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14466 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)
	4855.	Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15–16, 2024, Proceedings / by Gebser, Martin [editor.] Sergey, Ilya [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14512 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)
	4856.	Trends in Applied Intelligent Systems [electronic resource] : 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III / by García-Pedrajas, Nicolás [editor.] Herrera, Francisco [editor.] Fyfe, Colin [editor.] Benítez Sánchez, José Manuel [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6098 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4857.	Rough Sets, Fuzzy Sets, Data Mining and Granular Computing [electronic resource] : 13th International Conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011, Proceedings / by Kuznetsov, Sergei O [editor.] Ślęzak, Dominik [editor.] Hepting, Daryl H [editor.] Mirkin, Boris G [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6743 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4858.	Computer and Communication Engineering [electronic resource] : First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings / by Botto-Tobar, Miguel [editor.] Barzola-Monteses, Julio [editor.] Santos-Baquerizo, Eduardo [editor.] Espinoza-Andaluz, Mayken [editor.] Yánez-Pazmiño, Wendy [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 959 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)
	4859.	Artificial Intelligence for Communications and Networks [electronic resource] : First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / by Han, Shuai [editor.] Ye, Liang [editor.] Meng, Weixiao [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 286 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)
	4860.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection [electronic resource] : 20th International Conference, PAAMS 2022, L'Aquila, Italy, July 13–15, 2022, Proceedings / by Dignum, Frank [editor.] Mathieu, Philippe [editor.] Corchado, Juan Manuel [editor.] De La Prieta, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13616 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.