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
	361.	Computer Science Logic [electronic resource] : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings / by Duparc, Jacques [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4646 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)
	362.	Optical Supercomputing [electronic resource] : Second International Workshop, OSC 2009, Bertinoro, Italy, November 18-20, 2009, Proceedings / by Dolev, Shlomi [editor.] Oltean, Mihai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5882 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)
	363.	Neural Information Processing [electronic resource] : 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part I / by Wang, Jun [editor.] Chan, Laiwan [editor.] Wang, DeLiang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4232 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)
	364.	Computer and Information Sciences - ISCIS 2006 [electronic resource] : 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings / by Levi, Albert [editor.] Savas, Erkay [editor.] Yenigün, Hüsnü [editor.] Balcisoy, Selim [editor.] Saygin, Yücel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4263 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)
	365.	Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / by van den Herik, H. Jaap [editor.] Iida, Hiroyuki [editor.] Plaat, Aske [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6515 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)
	366.	Computer Science -- Theory and Applications [electronic resource] : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings / by Grigoriev, Dima [editor.] Harrison, John [editor.] Hirsch, Edward A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3967 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)
	367.	Algorithms and Computation [electronic resource] : 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings / by Hong, Seok-Hee [editor.] Nagamochi, Hiroshi [editor.] Fukunaga, Takuro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5369 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)
	368.	Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I / by Wang, Jun [editor.] Yi, Zhang [editor.] Zurada, Jacek M [editor.] Lu, Bao-Liang [editor.] Hujun, Yin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3971 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)
	369.	LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings / by Correa, José R [editor.] Hevia, Alejandro [editor.] Kiwi, Marcos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3887 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)
	370.	Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings / by Královic, Rastislav [editor.] Urzyczyn, Pawel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4162 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)
	371.	Swarm, Evolutionary, and Memetic Computing [electronic resource] : First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedings / by Panigrahi, Bijaya Ketan [editor.] Das, Swagatam [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Dash, Subhransu Sekhar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6466 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)
	372.	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9952 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)
	373.	Computer Science - Theory and Applications [electronic resource] : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings / by Hirsch, Edward A [editor.] Razborov, Alexander A [editor.] Semenov, Alexei [editor.] Slissenko, Anatol [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5010 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)
	374.	Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings / by Jarvisalo, Matti [editor.] Van Gelder, Allen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7962 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)
	375.	Advances in Natural Computation [electronic resource] : First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II / by Wang, Lipo [editor.] Chen, Ke [editor.] Ong, Yew Soon [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3611 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)
	376.	STACS 2006 [electronic resource] : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings / by Durand, Bruno [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3884 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)
	377.	Swarm, Evolutionary, and Memetic Computing [electronic resource] : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers / by Panigrahi, Bijaya Ketan [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Das, Swagatam [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8947 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)
	378.	Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013. Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8273 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)
	379.	Emerging Intelligent Computing Technology and Applications [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Lee, Hong-Hee [editor.] Kang, Hee-Jun [editor.] Bevilacqua, Vitoantonio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5754 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.	Genetic Programming [electronic resource] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April, 15-17, 2009 Proceedings / by Vanneschi, Leonardo [editor.] Gustafson, Steven [editor.] Moraglio, Alberto [editor.] de Falco, Ivanoe [editor.] Ebner, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5481 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 514 results.