Results of search for 'ccl=su:{SCIENCE} and su-to:Artificial intelligence and se:Theoretical Computer Science and General Issues' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	401.	Graph Drawing and Network Visualization [electronic resource] : 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers / by Di Giacomo, Emilio [editor.] Lubiw, Anna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9411 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)
	402.	Quantum Interaction [electronic resource] : 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers / by Atmanspacher, Harald [editor.] Filk, Thomas [editor.] Pothos, Emmanuel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9535 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)
	403.	Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers / by Symth, W. F [editor.] Arumugam, Subramanian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7643 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)
	404.	Combinatorial Algorithms [electronic resource] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / by Mäkinen, Veli [editor.] Puglisi, Simon J [editor.] Salmela, Leena [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9843 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)
	405.	Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / by Parthasarathy, Madhusudan [editor.] Seshia, Sanjit A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7358 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)
	406.	Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / by Urban, Christian [editor.] Zhang, Xingyuan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9236 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)
	407.	Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I / by Rojas, Ignacio [editor.] Joya, Gonzalo [editor.] Cabestany, Joan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7902 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)
	408.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings / by Liefooghe, Arnaud [editor.] López-Ibáñez, Manuel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10782 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)
	409.	Frontiers in Algorithmics [electronic resource] : 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings / by Chen, Jianer [editor.] Lu, Pinyan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10823 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)
	410.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / by Chicano, Francisco [editor.] Hu, Bin [editor.] García-Sánchez, Pablo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9595 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)
	411.	Artificial Evolution [electronic resource] : 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers / by Talbi, El-ghazali [editor.] Liardet, Pierre [editor.] Collet, Pierre [editor.] Lutton, Evelyne [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3871 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)
	412.	Swarm Intelligence Based Optimization [electronic resource] : First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers / by Siarry, Patrick [editor.] Idoumghar, Lhassane [editor.] Lepagnot, Julien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8472 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)
	413.	Parallel Problem Solving from Nature, PPSN XI [electronic resource] : 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II / by Schaefer, Robert [editor.] Cotta, Carlos [editor.] Kolodziej, Joanna [editor.] Rudolph, Günter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6239 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	414.	Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / by Hill, Patricia M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3901 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)
	415.	Artificial Immune Systems [electronic resource] : 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings / by Hart, Emma [editor.] McEwan, Chris [editor.] Timmis, Jon [editor.] Hone, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6209 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	416.	Learning and Intelligent Optimization [electronic resource] : 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers / by Battiti, Roberto [editor.] Kvasov, Dmitri E [editor.] Sergeyev, Yaroslav D [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10556 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)
	417.	Advances in Computer Games [electronic resource] : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3–5, 2017, Revised Selected Papers / by Winands, Mark H.M [editor.] van den Herik, H. Jaap [editor.] Kosters, Walter A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10664 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)
	418.	Computer Aided Systems Theory – EUROCAST 2017 [electronic resource] : 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I / by Moreno-Díaz, Roberto [editor.] Pichler, Franz [editor.] Quesada-Arencibia, Alexis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10671 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)
	419.	Computing and Combinatorics [electronic resource] : 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings / by Wang, Lusheng [editor.] Zhu, Daming [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10976 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)
	420.	Theory and Applications of Models of Computation [electronic resource] : 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings / by Cai, Jin-Yi [editor.] Cooper, Barry S [editor.] Zhu, Hong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4484 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1004 results.