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

Results
	41.	Evolutionary Multi-Criterion Optimization [electronic resource] : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II / by Gaspar-Cunha, António [editor.] Henggeler Antunes, Carlos [editor.] Coello, Carlos Coello [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9019 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)
	42.	DNA Computing and Molecular Programming [electronic resource] : 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings / by Murata, Satoshi [editor.] Kobayashi, Satoshi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8727 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)
	43.	Genetic Programming [electronic resource] : 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings / by McDermott, James [editor.] Castelli, Mauro [editor.] Sekanina, Lukas [editor.] Haasdijk, Evert [editor.] García-Sánchez, Pablo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10196 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)
	44.	Ant Colony Optimization and Swarm Intelligence [electronic resource] : 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings / by Dorigo, Marco [editor.] Gambardella, Luca Maria [editor.] Birattari, Mauro [editor.] Martinoli, Alcherio [editor.] Poli, Riccardo [editor.] Stützle, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4150 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)
	45.	Artificial Neural Networks - ICANN 2006 [electronic resource] : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part I / by Kollias, Stefanos [editor.] Stafylopatis, Andreas [editor.] Duch, Wlodzislaw [editor.] Oja, Erkki [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4131 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)
	46.	DNA Computing and Molecular Programming [electronic resource] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / by Rondelez, Yannick [editor.] Woods, Damien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9818 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)
	47.	Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 9th European Conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011, Proceedings / by Pizzuti, Clara [editor.] Ritchie, Marylyn D [editor.] Giacobini, Mario [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6623 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)
	48.	Biologically Inspired Approaches to Advanced Information Technology [electronic resource] : Second International Workshop, BioADIT 2006, Osaka, Japan 26-27, 2006, Proceedings / by Ijspeert, Auke Jan [editor.] Masuzawa, Toshimitsu [editor.] Kusumoto, Shinji [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3853 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)
	49.	Artificial Evolution [electronic resource] : 8th International Conference, Evolution Artificielle, EA 2007 Tours, France, October 29-31, 2007, Revised Selected Papers / by Monmarché, Nicolas [editor.] Talbi, El-Ghazali [editor.] Collet, Pierre [editor.] Schoenauer, Marc [editor.] Lutton, Evelyne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4926 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)
	50.	Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings / by Leivant, Daniel [editor.] de Queiroz, Ruy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4576 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)
	51.	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / by Abramsky, Samson [editor.] Gavoille, Cyril [editor.] Kirchner, Claude [editor.] Meyer auf der Heide, Friedhelm [editor.] Spirakis, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6198 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)
	52.	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11246 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)
	53.	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11247 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)
	54.	Membrane Computing [electronic resource] : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / by Hinze, Thomas [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11399 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)
	55.	Trends in Functional Programming [electronic resource] : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers / by Bowman, William J [editor.] Garcia, Ronald [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12053 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)
	56.	Parallel Problem Solving from Nature – PPSN XVI [electronic resource] : 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II / by Bäck, Thomas [editor.] Preuss, Mike [editor.] Deutz, André [editor.] Wang, Hao [editor.] Doerr, Carola [editor.] Emmerich, Michael [editor.] Trautmann, Heike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12270 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)
	57.	Advances in Neuro-Information Processing [electronic resource] : 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II / by Köppen, Mario [editor.] Kasabov, Nikola [editor.] Coghill, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5507 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)
	58.	Evolutionary Multi-Criterion Optimization [electronic resource] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings / by Fonseca, Carlos M [editor.] Gandibleux, Xavier [editor.] Hao, Jin-Kao [editor.] Sevaux, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5467 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)
	59.	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Third Joint International Conference, FAW-AAIM 2013, Dalian,China, June 26-28, 2013, Proceedings / by Fellows, Michael [editor.] Tan, Xuehou [editor.] Zhu, Binhai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7924 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)
	60.	Genetic Programming [electronic resource] : 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings / by Esparcia-Alcazar, Anna Isabel [editor.] Ekart, Aniko [editor.] Silva, Sara [editor.] Dignum, Stephen [editor.] Uyar, A. Sima [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6021 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 514 results.