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

Results
	1721.	Symbolic and Quantiative Approaches to Resoning with Uncertainty [electronic resource] : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings / by van der Gaag, Linda C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7958 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)
	1722.	Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings / by Schrijvers, Tom [editor.] Thiemann, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7294 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)
	1723.	Graph Transformation [electronic resource] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / by Echahed, Rachid [editor.] Minas, Mark [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9761 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)
	1724.	Motion in Games [electronic resource] : Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010, Proceedings / by Boulic, Ronan [editor.] Chrysanthou, Yiorgos [editor.] Komura, Taku [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6459 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)
	1725.	Advances in Swarm Intelligence, Part II [electronic resource] : Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II / by Tan, Ying [editor.] Shi, Yuhui [editor.] Chai, Yi [editor.] Wang, Guoyin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6729 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)
	1726.	Human-Computer Interaction -- INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III / by Kotzé, Paula [editor.] Marsden, Gary [editor.] Lindgaard, Gitte [editor.] Wesson, Janet [editor.] Winckler, Marco [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8119 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)
	1727.	Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings / by Winckler, Marco [editor.] Forbrig, Peter [editor.] Bernhaupt, Regina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7623 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)
	1728.	Advances in Information Retrieval Theory [electronic resource] : Second International Conference on the Theory of Information Retrieval, ICTIR 2009 Cambridge, UK, September 10-12, 2009 Proceedings / by Azzopardi, Leif [editor.] Kazai, Gabriella [editor.] Robertson, Stephen [editor.] Rüger, Stefan [editor.] Shokouhi, Milad [editor.] Song, Dawei [editor.] Yilmaz, Emine [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5766 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)
	1729.	Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / by Majumdar, Rupak [editor.] Kunčak, Viktor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10426 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)
	1730.	Database Systems for Advanced Applications [electronic resource] : 22nd International Conference, DASFAA 2017, Suzhou, China, March 27-30, 2017, Proceedings, Part I / by Candan, Selçuk [editor.] Chen, Lei [editor.] Pedersen, Torben Bach [editor.] Chang, Lijun [editor.] Hua, Wen [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10177 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)
	1731.	Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings / by Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] Zamboni, Luca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8079 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)
	1732.	Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications / by Garcia, Alessandro [editor.] Choren, Ricardo [editor.] Lucena, Carlos [editor.] Giorgini, Paolo [editor.] Holvoet, Tom [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3914 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)
	1733.	Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / by Edelkamp, Stefan [editor.] Lomuscio, Alessio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4428 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)
	1734.	Algorithms and Architectures for Parallel Processing, Part II [electronic resource] : 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / by Xiang, Yang [editor.] Cuzzocrea, Alfredo [editor.] Hobbs, Michael [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7017 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)
	1735.	Graph Drawing [electronic resource] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008, Revised Papers / by Tollis, Ioannis G [editor.] Patrignani, Maurizio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5417 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)
	1736.	Verified Software. Theories, Tools, and Experiments [electronic resource] : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by Blazy, Sandrine [editor.] Chechik, Marsha [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9971 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)
	1737.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers / by Otake, Mihoko [editor.] Kurahashi, Setsuya [editor.] Ota, Yuiko [editor.] Satoh, Ken [editor.] Bekki, Daisuke [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10091 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)
	1738.	KI 2010: Advances in Artificial Intelligence [electronic resource] : 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010, Proceedings / by Dillmann, Rüdiger [editor.] Beyerer, Jürgen [editor.] Hanebeck, Uwe D [editor.] Schultz, Tanja [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6359 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)
	1739.	New Frontiers in Applied Data Mining [electronic resource] : PAKDD 2009 International Workshops, Bangkok, Thailand, April 27-30, 2010. Revised Selected Papers / by Theeramunkong, Thanaruk [editor.] Nattee, Cholwich [editor.] Adeodato, Paulo J. L [editor.] Chawla, Nitesh [editor.] Christen, Peter [editor.] Lenca, Philippe [editor.] Poon, Josiah [editor.] Williams, Graham [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5669 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)
	1740.	User Modeling, Adaptation, and Personalization [electronic resource] : 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010, Proceedings / by De Bra, Paul [editor.] Kobsa, Alfred [editor.] Chin, David [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6075 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4164 results.