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
	361.	Algorithm Theory – SWAT 2008 [electronic resource] : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings / by Gudmundsson, Joachim [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5124 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)
	362.	Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / by Puebla, Germán [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4407 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)
	363.	Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I / by Huang, De-Shuang [editor.] Zhang, Xiao-Ping [editor.] Huang, Guang-Bin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3644 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)
	364.	Advances in Computer Games [electronic resource] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / by Plaat, Aske [editor.] van den Herik, Jaap [editor.] Kosters, Walter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9525 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)
	365.	Artificial Neural Networks - ICANN 2008 [electronic resource] : 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II / by Kurkova-Pohlova, Vera [editor.] Koutnik, Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5164 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)
	366.	DNA Computing and Molecular Programming [electronic resource] : 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings / by Stefanovic, Darko [editor.] Turberfield, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7433 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)
	367.	Genetic Programming [electronic resource] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011, Proceedings / by Silva, Sara [editor.] Foster, James A [editor.] Nicolau, Miguel [editor.] Machado, Penousal [editor.] Giacobini, Mario [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6621 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)
	368.	Unconventional Computation and Natural Computation [electronic resource] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / by Amos, Martyn [editor.] Condon, Anne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9726 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)
	369.	Rigorous Methods for Software Construction and Analysis [electronic resource] : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / by Abrial, Jean-Raymond [editor.] Glässer, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5115 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)
	370.	Algorithmic Aspects of Cloud Computing [electronic resource] : Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers / by Alistarh, Dan [editor.] Delis, Alex [editor.] Pallis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10739 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)
	371.	Theory and Applications of Satisfiability Testing – SAT 2018 [electronic resource] : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings / by Beyersdorff, Olaf [editor.] Wintersteiger, Christoph M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10929 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)
	372.	Evolutionary Multi-Criterion Optimization [electronic resource] : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I / by Gaspar-Cunha, António [editor.] Henggeler Antunes, Carlos [editor.] Coello, Carlos Coello [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9018 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)
	373.	SOFSEM 2014: Theory and Practice of Computer Science [electronic resource] : 40th International Conference on Current Trends in Theory and Practice of Computer Science,Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings / by Geffert, Viliam [editor.] Preneel, Bart [editor.] Rovan, Branislav [editor.] Štuller, Július [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8327 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)
	374.	Neural Nets [electronic resource] : 16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers / by Apolloni, Bruno [editor.] Marinaro, Maria [editor.] Nicosia, Giuseppe [editor.] Tagliaferri, Roberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3931 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)
	375.	Structural Information and Communication Complexity [electronic resource] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012, Revised Selected Papers / by Even, Guy [editor.] Halldórsson, Magnús M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7355 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)
	376.	Artificial Immune Systems [electronic resource] : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008, Proceedings / by Bentley, Peter [editor.] Lee, Doheon [editor.] Jung, Sungwon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5132 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)
	377.	Neural Information Processing [electronic resource] : 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II / by Leung, Chi-Sing [editor.] Lee, Minho [editor.] Chan, Jonathan H [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5864 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)
	378.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings / by Masuzawa, Toshimitsu [editor.] Tixeuil, Sébastien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4838 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)
	379.	Algorithms - ESA 2009 [electronic resource] : 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, Proceedings / by Fiat, Amos [editor.] Sanders, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5757 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)
	380.	Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II / by Gao, Xiaofeng [editor.] Du, Hongwei [editor.] Han, Meng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10628 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1004 results.