Results of search for 'ccl=su:{Theory of Computation.} and su-to:Artificial intelligence and su-to:Computer and Information Systems Applications and su-to:Theory of Computation' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	381.	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)
	382.	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)
	383.	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)
	384.	Artificial Intelligence and Soft Computing [electronic resource] : 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II / by Rutkowski, Leszek [editor.] Korytkowski, Marcin [editor.] Scherer, Rafał [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8468 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)
	385.	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)
	386.	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)
	387.	Transactions on Computational Collective Intelligence XXI [electronic resource] : Special Issue on Keyword Search and Big Data / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Rupino da Cunha, Paulo [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 9630 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	388.	Pattern Recognition and Machine Intelligence [electronic resource] : First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings / by Pal, Sankar K [editor.] Biswas, Sambhunath [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3776 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)
	389.	Bio-Inspired Computing and Applications [electronic resource] : 7th International Conference on Intelligent Computing, ICIC2011, Zhengzhou, China, August 11-14. 2011, Revised Papers / by Huang, De-Shuang [editor.] Gan, Yong [editor.] Premaratne, Prashan [editor.] Han, Kyungsook [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 6840 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)
	390.	Neural Information Processing [electronic resource] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part IV / by Hirose, Akira [editor.] Ozawa, Seiichi [editor.] Doya, Kenji [editor.] Ikeda, Kazushi [editor.] Lee, Minho [editor.] Liu, Derong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9950 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)
	391.	Theory and Practice of Natural Computing [electronic resource] : 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings / by Martín-Vide, Carlos [editor.] Mizuki, Takaaki [editor.] Vega-Rodríguez, Miguel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10071 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)
	392.	Artificial Immune Systems [electronic resource] : 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012, Proceedings / by Coello-Coello, Carlos A [editor.] Greensmith, Julie [editor.] Krasnogor, Natalio [editor.] Liò, Pietro [editor.] Nicosia, Giuseppe [editor.] Pavone, Mario [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7597 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)
	393.	Recent Advances in Reinforcement Learning [electronic resource] : 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30-July 3, 2008, Revised and Selected Papers / by Girgin, Sertan [editor.] Loth, Manuel [editor.] Munos, Rémi [editor.] Preux, Philippe [editor.] Ryabko, Daniil [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5323 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)
	394.	Advances in Neural Networks – ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part II / by Wang, Jun [editor.] Yen, Gary G [editor.] Polycarpou, Marios M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7368 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)
	395.	Advances in Artificial Intelligence [electronic resource] : 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, Canada, May 28-31, 2013. Proceedings / by Zaiane, Osmar [editor.] Zilles, Sandra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7884 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)
	396.	Gesture-Based Communication in Human-Computer Interaction [electronic resource] : 5th International Gesture Workshop, GW 2003, Genova, Italy, April 15-17, 2003, Selected Revised Papers / by Camurri, Antonio [editor.] Volpe, Gualtiero [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2915 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)
	397.	Pattern Recognition and Machine Intelligence [electronic resource] : Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings / by Ghosh, Ashish [editor.] De, Rajat K [editor.] Pal, Sankar K [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4815 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)
	398.	Current Topics in Artificial Intelligence [electronic resource] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / by Meseguer, Pedro [editor.] Mandow, Lawrence [editor.] Gasca, Rafael M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5988 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)
	399.	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8803 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	400.	Conflict Resolution in Decision Making [electronic resource] : Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers / by Aydoğan, Reyhan [editor.] Baarslag, Tim [editor.] Gerding, Enrico [editor.] Jonker, Catholijn M [editor.] Julian, Vicente [editor.] Sanchez-Anguix, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10238 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 618 results.