Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	6241.	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)
	6242.	Recent Advances in Intrusion Detection [electronic resource] : 7th International Symposium, RAID 2004, Sophia Antipolis, France, September 15-17, 2004, Proceedings / by Jonsson, Erland [editor.] Valdes, Alfonso [editor.] Almgren, Magnus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3224 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)
	6243.	Fun with Algorithms [electronic resource] : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014, Proceedings / by Ferro, Alfredo [editor.] Luccio, Fabrizio [editor.] Widmayer, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8496 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)
	6244.	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)
	6245.	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)
	6246.	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)
	6247.	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)
	6248.	Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / by Sokolsky, Oleg [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4839 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)
	6249.	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)
	6250.	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)
	6251.	Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / by Patitz, Matthew J [editor.] Stannett, Mike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10240 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)
	6252.	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)
	6253.	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)
	6254.	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)
	6255.	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)
	6256.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings / by van Hoeve, Willem-Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10848 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)
	6257.	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)
	6258.	Theoretical Aspects of Computing – ICTAC 2023 [electronic resource] : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings / by Ábrahám, Erika [editor.] Dubslaff, Clemens [editor.] Tarifa, Silvia Lizeth Tapia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14446 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)
	6259.	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)
	6260.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7935 results.