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

Results
	4581.	Progress in Cryptology -- AFRICACRYPT 2013 [electronic resource] : 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013, Proceedings / by Youssef, Amr [editor.] Nitaj, Abderrahmane [editor.] Hassanien, Aboul Ella [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7918 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4582.	Computer Security -- ESORICS 2009 [electronic resource] : 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009, Proceedings / by Backes, Michael [editor.] Ning, Peng [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5789 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)
	4583.	Reasoning Web. Semantic Technologies for Intelligent Data Access [electronic resource] : 9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings / by Rudolph, Sebastian [editor.] Gottlob, Georg [editor.] Horrocks, Ian [editor.] van Harmelen, Frank [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8067 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4584.	Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 12th International Joint Conference, IC3K 2020, Virtual Event, November 2-4, 2020, Revised Selected Papers / by Fred, Ana [editor.] Aveiro, David [editor.] Dietz, Jan [editor.] Salgado, Ana [editor.] Bernardino, Jorge [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1608 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)
	4585.	Optimization and Applications [electronic resource] : 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023, Revised Selected Papers / by Olenev, Nicholas [editor.] Evtushenko, Yuri [editor.] Jaćimović, Milojica [editor.] Khachay, Michael [editor.] Malkova, Vlasta [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14395 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)
	4586.	Fundamentals of Software Engineering [electronic resource] : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / by Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7141 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4587.	Biomimetic and Biohybrid Systems [electronic resource] : First International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012, Proceedings / by Prescott, Tony T [editor.] Lepora, Nathan F [editor.] Mura, Anna [editor.] Verschure, Paul F.M.J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7375 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4588.	Swarm Intelligence [electronic resource] : 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012, Proceedings / by Birattari, Mauro [editor.] Blum, Christian [editor.] Christensen, Anders Lyhne [editor.] Engelbrecht, Andries P [editor.] Groß, Roderich [editor.] Dorigo, Marco [editor.] Stützle, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7461 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4589.	Rough Sets and Current Trends in Computing [electronic resource] : 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings / by Yao, JingTao [editor.] Yang, Yan [editor.] Slowiński, Roman [editor.] Greco, Salvatore [editor.] Li, Huaxiong [editor.] Mitra, Sushmita [editor.] Polkowski, Lech [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7413 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4590.	Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013, Proceedings / by Beal, Marie-Pierre [editor.] Carton, Olivier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7907 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4591.	Artificial Intelligence and Computational Intelligence [electronic resource] : 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012, Proceedings / by Lei, Jingsheng [editor.] Wang, Fu Lee [editor.] Deng, Hepu [editor.] Miao, Duoqian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7530 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4592.	Logic, Language and Meaning [electronic resource] : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers / by Aloni, Maria [editor.] Kimmelman, Vadim [editor.] Roelofsen, Floris [editor.] Sassoon, Galit [editor.] Schulz, Katrin [editor.] Westera, Matthijs [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7218 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4593.	Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings / by Chatterjee, Krishnendu [editor.] Sgall, Jirí [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8087 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4594.	Swarm and Evolutionary computation [electronic resource] : International Symposium, SIDE 2012, held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29 - May 3, 2012, Proceedings / by Rutkowski, Leszek [editor.] Korytkowski, Marcin [editor.] Scherer, Rafał [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi [editor.] Zurada, Jacek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7269 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4595.	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012, Proceedings / by Snoeyink, Jack [editor.] Lu, Pinyan [editor.] Su, Kaile [editor.] Wang, Lusheng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7285 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4596.	Rough Sets and Knowledge Technology [electronic resource] : 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings / by Li, Tianrui [editor.] Nguyen, Hung Son [editor.] Wang, Guoyin [editor.] Grzymala-Busse, Jerzy W [editor.] Janicki, Ryszard [editor.] Hassanien, Aboul Ella [editor.] Yu, Hong [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7414 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4597.	Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / by Derrick, John [editor.] Gnesi, Stefania [editor.] Latella, Diego [editor.] Treharne, Helen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7321 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4598.	Algebra and Coalgebra in Computer Science [electronic resource] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings / by Corradini, Andrea [editor.] Klin, Bartek [editor.] Cîrstea, Corina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6859 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)
	4599.	Advances in Brain Inspired Cognitive Systems [electronic resource] : 5th International Conference, BICS 2012, Shenyang, Liaoning, China, July 11-14, 2012 Proceedings / by Zhang, Huaguang [editor.] Hussain, Amir [editor.] Liu, Derong [editor.] Wang, Zhanshan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7366 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4600.	Computational Processing of the Portuguese Language [electronic resource] : 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012, Proceedings / by Caseli, Helena [editor.] Villavicencio, Aline [editor.] Teixeira, António [editor.] Perdigao, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7243 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 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.