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

Results
	4681.	Combinatorial Optimization and Applications [electronic resource] : 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15–17, 2023, Proceedings, Part II / by Wu, Weili [editor.] Guo, Jianxiong [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14462 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)
	4682.	Algorithmic Aspects of Cloud Computing [electronic resource] : 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers / by Chatzigiannakis, Ioannis [editor.] Karydis, Ioannis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14053 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)
	4683.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings / by Hermanns, Holger [editor.] Sun, Jun [editor.] Bu, Lei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14464 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)
	4684.	Programming-Based Formal Languages and Automata Theory [electronic resource] : Design, Implement, Validate, and Prove / by Morazán, Marco T [author.] SpringerLink (Online service) Series: Texts in Computer Science 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)
	4685.	Euro-Par 2008 Workshops - Parallel Processing [electronic resource] : VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers / by César, Eduardo [editor.] Alexander, Michael [editor.] Streit, Achim [editor.] Traff, Jesper Larsson [editor.] Cérin, Christophe [editor.] Knüpfer, Andreas [editor.] Kranzlmüller, Dieter [editor.] Jha, Shantenu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5415 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4686.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings / by Di Martino, Beniamino [editor.] Kranzlmüller, Dieter [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3666 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)
	4687.	Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / by Beckmann, Arnold [editor.] Berger, Ulrich [editor.] Löwe, Benedikt [editor.] Tucker, John V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3988 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)
	4688.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers / by Altmann, Jörn [editor.] Silaghi, Gheorghe Cosmin [editor.] Rana, Omer F [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9512 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)
	4689.	From Animals to Animats 10 [electronic resource] : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008, Proceedings / by Asada, Minoru [editor.] Hallam, John C. T [editor.] Meyer, Jean-Arcady [editor.] Tani, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5040 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)
	4690.	On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I / by Tari, Zahir [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4803 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)
	4691.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by McMillan, Kenneth [editor.] Rival, Xavier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8318 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4692.	Database and Expert Systems Applications [electronic resource] : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I / by Benslimane, Djamal [editor.] Damiani, Ernesto [editor.] Grosky, William I [editor.] Hameurlain, Abdelkader [editor.] Sheth, Amit [editor.] Wagner, Roland R [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10438 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)
	4693.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings / by Pham, Congduc [editor.] Altmann, Jörn [editor.] Bañares, José Ángel [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 10537 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)
	4694.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by Butler, Michael [editor.] Raschke, Alexander [editor.] Hoang, Thai Son [editor.] Reichl, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10817 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)
	4695.	Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers / by Vetulani, Zygmunt [editor.] Mariani, Joseph [editor.] Kubis, Marek [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10930 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)
	4696.	Pattern Recognition and Machine Intelligence [electronic resource] : 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I / by Deka, Bhabesh [editor.] Maji, Pradipta [editor.] Mitra, Sushmita [editor.] Bhattacharyya, Dhruba Kumar [editor.] Bora, Prabin Kumar [editor.] Pal, Sankar Kumar [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11941 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)
	4697.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection [electronic resource] : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / by Demazeau, Yves [editor.] Holvoet, Tom [editor.] Corchado, Juan M [editor.] Costantini, Stefania [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12092 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)
	4698.	Multimedia Technology and Enhanced Learning [electronic resource] : Second EAI International Conference, ICMTEL 2020, Leicester, UK, April 10-11, 2020, Proceedings, Part II / by Zhang, Yu-Dong [editor.] Wang, Shui-Hua [editor.] Liu, Shuai [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 327 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)
	4699.	Science and Technologies for Smart Cities [electronic resource] : 5th EAI International Summit, SmartCity360, Braga, Portugal, December 4-6, 2019, Proceedings / by Santos, Henrique [editor.] Pereira, Gabriela Viale [editor.] Budde, Matthias [editor.] Lopes, Sérgio F [editor.] Nikolic, Predrag [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 323 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)
	4700.	Applied Cryptography and Network Security Workshops [electronic resource] : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings / by Zhou, Jianying [editor.] Conti, Mauro [editor.] Ahmed, Chuadhry Mujeeb [editor.] Au, Man Ho [editor.] Batina, Lejla [editor.] Li, Zhou [editor.] Lin, Jingqiang [editor.] Losiouk, Eleonora [editor.] Luo, Bo [editor.] Majumdar, Suryadipta [editor.] Meng, Weizhi [editor.] Ochoa, Martín [editor.] Picek, Stjepan [editor.] Portokalidis, Georgios [editor.] Wang, Cong [editor.] Zhang, Kehuan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12418 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)