Results of search for 'ccl=su:{Software} and su-to:Artificial intelligence and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	761.	Computational Intelligence and Security [electronic resource] : International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers / by Wang, Yunping [editor.] Cheung, Yiu-ming [editor.] Liu, Hailin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4456 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)
	762.	Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / by Kohlhase, Michael [editor.] Johansson, Moa [editor.] Miller, Bruce [editor.] de Moura, Leonardo [editor.] Tompa, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9791 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)
	763.	Theory and Practice of Natural Computing [electronic resource] : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / by Dediu, Adrian-Horia [editor.] Magdalena, Luis [editor.] Martín-Vide, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9477 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)
	764.	AI 2006: Advances in Artificial Intelligence [electronic resource] : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings / by Sattar, Abdul [editor.] Kang, Byeong Ho [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4304 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)
	765.	Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / by Dahl, Verónica [editor.] Niemelä, Ilkka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4670 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)
	766.	Programming Multi-Agent-Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / by Bordini, R.H [editor.] Dastani, M [editor.] Dix, J [editor.] El Fallah Seghrouchni, A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4411 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)
	767.	Hybrid Artificial Intelligent Systems, Part II [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings / by Romay, Manuel Grana [editor.] Savio, Alexandre Manhaes [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6077 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)
	768.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings / by Brünnler, Kai [editor.] Metcalfe, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6793 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)
	769.	Adaptive Multimedia Retrieval: User, Context, and Feedback [electronic resource] : Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers / by Detyniecki, Marcin [editor.] Jose, Joemon M [editor.] Nürnberger, Andreas [editor.] van Rijsbergen, C. J [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3877 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)
	770.	Practical Aspects of Declarative Languages [electronic resource] : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / by Lierler, Yuliya [editor.] Taha, Walid [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10137 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)
	771.	Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings / by Demetrescu, Camil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4525 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)
	772.	Theory and Models for Cyber Situation Awareness [electronic resource] / by Liu, Peng [editor.] Jajodia, Sushil [editor.] Wang, Cliff [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10030 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)
	773.	Algorithms - ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings / by Arge, Lars [editor.] Hoffmann, Michael [editor.] Welzl, Emo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4698 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)
	774.	Logic Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / by Artikis, Alexander [editor.] Craven, Robert [editor.] Kesim Cicekli, Nihan [editor.] Sadighi, Babak [editor.] Stathis, Kostas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7360 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)
	775.	Evolvable Systems: From Biology to Hardware [electronic resource] : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings / by Tempesti, Gianluca [editor.] Tyrrell, Andy [editor.] Miller, Julian F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6274 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)
	776.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers / by Schürr, Andy [editor.] Varró, Dániel [editor.] Varró, Gergely [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7233 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)
	777.	Theoretical Aspects of Computing -- ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8049 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)
	778.	Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evaluation Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers / by Gey, Fredric [editor.] Gonzalo, Julio [editor.] Mueller, Henning [editor.] Jones, Gareh [editor.] Kluck, Michael [editor.] Magnini, Bernardo [editor.] de Rijke, Maarten [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4022 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)
	779.	Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 -- August 2, 2013, Proceedings / by Lepora, Nathan F [editor.] Mura, Anna [editor.] Krapp, Holger G [editor.] Verschure, Paul F.M.J [editor.] Prescott, Tony J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8064 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)
	780.	Automated Deduction - CADE-21 [electronic resource] : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / by Pfenning, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4603 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1521 results.