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

Results
	1881.	Intelligent Data Engineering and Automated Learning -- IDEAL 2012 [electronic resource] : 13th International Conference, Natal, Brazil, August 29-31, 2012, Proceedings / by Yin, Hujun [editor.] Costa, Jose A.F [editor.] Barreto, Guilherme [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7435 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)
	1882.	Verification, Induction, Termination Analysis [electronic resource] : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / by Siegler, Simon [editor.] Wasser, Nathan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6463 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)
	1883.	Text, Speech and Dialogue [electronic resource] : 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008, Proceedings / by Sojka, Petr [editor.] Horak, Aleš [editor.] Kopecek, Ivan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5246 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)
	1884.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings / by Raghavendra, Prasad [editor.] Raskhodnikova, Sofya [editor.] Jansen, Klaus [editor.] Rolim, José D.P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8096 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)
	1885.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings / by Datta, Ajoy K [editor.] Gradinariu, Maria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4280 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)
	1886.	Pillars of Computer Science [electronic resource] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by Avron, Arnon [editor.] Dershowitz, Nachum [editor.] Rabinovich, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4800 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)
	1887.	Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / by Damm, Werner [editor.] Hermanns, Holger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4590 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)
	1888.	Learning and Intelligent Optimization [electronic resource] : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers / by Coello-Coello, Carlos A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6683 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)
	1889.	Algorithms and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings / by Diaz, Josep [editor.] Calamoneri, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6078 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)
	1890.	The Semantic Web [electronic resource] : Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011, Proceedings / by Pan, Jeff Z [editor.] Chen, Huajun [editor.] Kim, Hong-Gee [editor.] Li, Juanzi [editor.] Wu, Zhe [editor.] Horrocks, Ian [editor.] Mizoguchi, Riichiro [editor.] Wu, Zhaohui [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7185 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)
	1891.	Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / by Omicini, Andrea [editor.] Sardina, Sebastian [editor.] Vasconcelos, Wamberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6619 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)
	1892.	Logic and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / by Banerjee, Mohua [editor.] S., Krishna [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8923 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1893.	Agents and Artificial Intelligence [electronic resource] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / by Duval, Béatrice [editor.] van den Herik, Jaap [editor.] Loiseau, Stephane [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9494 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)
	1894.	Finite-State Methods and Natural Language Processing [electronic resource] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / by Yli-Jyrä, Anssi [editor.] Kornai, Andras [editor.] Sakarovitch, Jacques [editor.] Watson, Bruce [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6062 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)
	1895.	Stochastic Algorithms: Foundations and Applications [electronic resource] : 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings / by Watanabe, Osamu [editor.] Zeugmann, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5792 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)
	1896.	AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings / by Zhang, Shichao [editor.] Jarvis, Ray [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3809 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)
	1897.	Human Language Technology. Challenges for Computer Science and Linguistics [electronic resource] : 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers / by Vetulani, Zygmunt [editor.] Uszkoreit, Hans [editor.] Kubis, Marek [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9561 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)
	1898.	Learning Theory [electronic resource] : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings / by Bshouty, Nader [editor.] Gentile, Claudio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4539 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)
	1899.	New Directions in Logic, Language, and Computation [electronic resource] : ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers / by Lassiter, Daniel [editor.] Slavkovik, Marija [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7415 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)
	1900.	String Processing and Information Retrieval [electronic resource] : 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings / by Amir, Amihood [editor.] Turpin, Andrew [editor.] Moffat, Alistair [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5280 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 3659 results.