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

Results
	4621.	Logic-Based Program Synthesis and Transformation [electronic resource] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / by Gupta, Gopal [editor.] Peña, Ricardo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8901 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)
	4622.	Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / by Panigrahi, Bijaya Ketan [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Das, Swagatam [editor.] Dash, Shubhransu Sekhar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8297 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4623.	Frontiers in Algorithmics [electronic resource] : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / by Wang, Jianxin [editor.] Yap, Chee [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9130 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4624.	Unconventional Computation and Natural Computation [electronic resource] : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings / by Calude, Cristian S [editor.] Dinneen, Michael J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9252 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4625.	Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings / by Rangarajan, Anand [editor.] Vemuri, Baba [editor.] Yuille, Alan L [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3757 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)
	4626.	Advances in Artificial Life [electronic resource] : 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings / by Capcarrere, Mathieu [editor.] Freitas, Alex A [editor.] Bentley, Peter J [editor.] Johnson, Colin G [editor.] Timmis, Jon [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3630 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)
	4627.	Knowledge Discovery in Databases: PKDD 2004 [electronic resource] : 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004, Proceedings / by Boulicaut, Jean-Francois [editor.] Esposito, Floriana [editor.] Giannotti, Fosca [editor.] Pedreschi, Dino [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3202 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)
	4628.	Developments in Language Theory [electronic resource] : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / by Charlier, Émilie [editor.] Leroy, Julien [editor.] Rigo, Michel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10396 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)
	4629.	Genetic Programming [electronic resource] : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by Machado, Penousal [editor.] Heywood, Malcolm I [editor.] McDermott, James [editor.] Castelli, Mauro [editor.] García-Sánchez, Pablo [editor.] Burelli, Paolo [editor.] Risi, Sebastian [editor.] Sim, Kevin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9025 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4630.	Quantitative Evaluation of Systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / by Campos, Javier [editor.] Haverkort, Boudewijn R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9259 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4631.	Genetic Programming [electronic resource] : 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings / by Castelli, Mauro [editor.] Sekanina, Lukas [editor.] Zhang, Mengjie [editor.] Cagnoni, Stefano [editor.] García-Sánchez, Pablo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10781 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)
	4632.	Computational Science and Its Applications – ICCSA 2021 [electronic resource] : 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part X / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Garau, Chiara [editor.] Blečić, Ivan [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Rocha, Ana Maria A. C [editor.] Tarantino, Eufemia [editor.] Torre, Carmelo Maria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12958 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)
	4633.	Knowledge and Systems Sciences [electronic resource] : 21st International Symposium, KSS 2022, Beijing, China, June 11–12, 2022, Proceedings / by Chen, Jian [editor.] Hashimoto, Takashi [editor.] Tang, Xijin [editor.] Wu, Jiangning [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1592 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4634.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings / by Bouraoui, Zied [editor.] Vesic, Srdjan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14294 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)
	4635.	Programming Languages and Systems [electronic resource] : 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings / by Hur, Chung-Kil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14405 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)
	4636.	Knowledge and Systems Sciences [electronic resource] : 22nd International Symposium, KSS 2023, Guangzhou, China, December 2–3, 2023, Proceedings / by Chen, Jian [editor.] Huynh, Van-Nam [editor.] Tang, Xijin [editor.] Wu, Jiangning [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1927 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)
	4637.	Blockchain and Trustworthy Systems [electronic resource] : 5th International Conference, BlockSys 2023, Haikou, China, August 8–10, 2023, Proceedings, Part I / by Chen, Jiachi [editor.] Wen, Bin [editor.] Chen, Ting [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1896 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)
	4638.	Blockchain and Trustworthy Systems [electronic resource] : 5th International Conference, BlockSys 2023, Haikou, China, August 8–10, 2023, Proceedings, Part II / by Chen, Jiachi [editor.] Wen, Bin [editor.] Chen, Ting [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1897 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)
	4639.	Neural Information Processing [electronic resource] : 30th International Conference, ICONIP 2023, Changsha, China, November 20–23, 2023, Proceedings, Part VII / by Luo, Biao [editor.] Cheng, Long [editor.] Wu, Zheng-Guang [editor.] Li, Hongyi [editor.] Li, Chaojie [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1961 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)
	4640.	Engineering Multi-Agent Systems [electronic resource] : 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers / by Ciortea, Andrei [editor.] Dastani, Mehdi [editor.] Luo, Jieting [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14378 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.