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

Results
	2781.	Datalog Reloaded [electronic resource] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / by de Moor, Oege [editor.] Gottlob, Georg [editor.] Furche, Tim [editor.] Sellers, Andrew [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6702 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)
	2782.	Advances in Web-based Learning - ICWL 2011 [electronic resource] : 10th International Conference, Hong Kong, China, December 8-10, 2011. Proceedings / by Leung, Howard [editor.] Popescu, Elvira [editor.] Cao, Yiwei [editor.] Lau, Rynson W.H [editor.] Nejdl, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7048 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)
	2783.	Agent Based Simulation for a Sustainable Society and Multiagent Smart Computing [electronic resource] : International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011, Revised Selected Papers / by Cranefield, Stephen [editor.] Song, Insu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7580 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)
	2784.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / by Cabalar, Pedro [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8148 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)
	2785.	Towards a Service-Based Internet. ServiceWave 2010 Workshops [electronic resource] : International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers / by Cezon, Michel [editor.] Wolfsthal, Yaron [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6569 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)
	2786.	Agent-Oriented Software Engineering XIII [electronic resource] : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / by Müller, Jörg [editor.] Cossentino, Massimo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7852 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)
	2787.	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)
	2788.	Articulated Motion and Deformable Objects [electronic resource] : 4th International Conference, AMDO 2006, Port d'Andratx, Mallorca, Spain, July 11-14, 2006, Proceedings / by Perales, Francisco J [editor.] Fisher, Robert B [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4069 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)
	2789.	Distributed Computing [electronic resource] : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012, Proceedings / by Aguilera, Marcos K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7611 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)
	2790.	Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / by Alpuente, María [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6564 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)
	2791.	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)
	2792.	Information Retrieval Technology [electronic resource] : 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010, Proceedings / by Cheng, Pu-Jen [editor.] Kan, Min-Yen [editor.] Lam, Wai [editor.] Nakov, Preslav [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6458 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)
	2793.	PRICAI 2016: Trends in Artificial Intelligence [electronic resource] : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / by Booth, Richard [editor.] Zhang, Min-Ling [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9810 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)
	2794.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings / by Baral, Chitta [editor.] Brewka, Gerhard [editor.] Schlipf, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4483 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)
	2795.	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)
	2796.	Deductive Software Verification – The KeY Book [electronic resource] : From Theory to Practice / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Hähnle, Reiner [editor.] Schmitt, Peter H [editor.] Ulbrich, Mattias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10001 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)
	2797.	Advances in Knowledge Discovery and Data Mining, Part II [electronic resource] : 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010, Proceedings / by Zaki, Mohammed J [editor.] Yu, Jeffrey Xu [editor.] Ravindran, B [editor.] Pudi, Vikram [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6119 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)
	2798.	Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings / by Jouannaud, Jean-Pierre [editor.] Shao, Zhong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7086 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)
	2799.	Serious Games Development and Applications [electronic resource] : Second International Conference, SGDA 2011, Lisbon, Portugal, September 19-20, 2011, Proceedings / by Ma, Minhua [editor.] Fradinho Oliveira, Manuel [editor.] Madeiras Pereira, Joao [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6944 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)
	2800.	Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III / by Bifet, Albert [editor.] May, Michael [editor.] Zadrozny, Bianca [editor.] Gavalda, Ricard [editor.] Pedreschi, Dino [editor.] Bonchi, Francesco [editor.] Cardoso, Jaime [editor.] Spiliopoulou, Myra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9286 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4164 results.