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

Results
	1761.	Big Data Analytics [electronic resource] : 8th International Conference, BDA 2020, Sonepat, India, December 15–18, 2020, Proceedings / by Bellatreche, Ladjel [editor.] Goyal, Vikram [editor.] Fujita, Hamido [editor.] Mondal, Anirban [editor.] Reddy, P. Krishna [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12581 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)
	1762.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by Henglein, Fritz [editor.] Shoham, Sharon [editor.] Vizel, Yakir [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12597 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)
	1763.	Space Information Network [electronic resource] : 5th International Conference SINC 2020, Shenzhen, China, December 19–20, 2020, Revised Selected Papers / by Yu, Quan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1353 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)
	1764.	Smart Computing and Communication [electronic resource] : 5th International Conference, SmartCom 2020, Paris, France, December 29–31, 2020, Proceedings / by Qiu, Meikang [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12608 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)
	1765.	Information Technology in Disaster Risk Reduction [electronic resource] : 5th IFIP WG 5.15 International Conference, ITDRR 2020, Sofia, Bulgaria, December 3–4, 2020, Revised Selected Papers / by Murayama, Yuko [editor.] Velev, Dimiter [editor.] Zlateva, Plamena [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 622 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)
	1766.	Model Checking Software [electronic resource] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by Laarman, Alfons [editor.] Sokolova, Ana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12864 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)
	1767.	Microelectronic Devices, Circuits and Systems [electronic resource] : Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers / by Arunachalam, V [editor.] Sivasankaran, K [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1392 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)
	1768.	Advancing Research in Information and Communication Technology [electronic resource] : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups / by Goedicke, Michael [editor.] Neuhold, Erich [editor.] Rannenberg, Kai [editor.] SpringerLink (Online service) Series: IFIP AICT Festschrifts ; 600 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)
	1769.	Graph-Based Representation and Reasoning [electronic resource] : 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, Proceedings / by Braun, Tanya [editor.] Gehrke, Marcel [editor.] Hanika, Tom [editor.] Hernandez, Nathalie [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12879 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)
	1770.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by Kowalik, Łukasz [editor.] Pilipczuk, Michał [editor.] Rzążewski, Paweł [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12911 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)
	1771.	Mathematical Optimization Theory and Operations Research: Recent Trends [electronic resource] : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Revised Selected Papers / by Strekalovsky, Alexander [editor.] Kochetov, Yury [editor.] Gruzdeva, Tatiana [editor.] Orlov, Andrei [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1476 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)
	1772.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection [electronic resource] : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings / by Dignum, Frank [editor.] Corchado, Juan Manuel [editor.] De La Prieta, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12946 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)
	1773.	Service-Oriented Computing [electronic resource] : 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings / by Barzen, Johanna [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1429 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)
	1774.	Nature Inspired Optimisation for Delivery Problems [electronic resource] : From Theory to the Real World / by Urquhart, Neil [author.] SpringerLink (Online service) Series: Natural Computing Series 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)
	1775.	The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13360 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)
	1776.	Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 19th International Conference, IPMU 2022, Milan, Italy, July 11–15, 2022, Proceedings, Part I / by Ciucci, Davide [editor.] Couso, Inés [editor.] Medina, Jesús [editor.] Ślęzak, Dominik [editor.] Petturiti, Davide [editor.] Bouchon-Meunier, Bernadette [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1601 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)
	1777.	Ubiquitous Networking [electronic resource] : 8th International Symposium, UNet 2022, Montreal, QC, Canada, October 25–27, 2022, Revised Selected Papers / by Sabir, Essaid [editor.] Elbiaze, Halima [editor.] Falcone, Francisco [editor.] Ajib, Wessam [editor.] Sadik, Mohamed [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13853 Edition: 1st 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)
	1778.	Automated Deduction – CADE 29 [electronic resource] : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / by Pientka, Brigitte [editor.] Tinelli, Cesare [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14132 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)
	1779.	Information Systems and Design [electronic resource] : Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12–13, 2022, Revised Selected Papers / by Taratukhin, Victor [editor.] Levchenko, Artem [editor.] Kupriyanov, Yury [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1767 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)
	1780.	Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / by Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6852 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.