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

Results
	1481.	Theory and Applications of Models of Computation [electronic resource] : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings / by Cai, Jin-Yi [editor.] Cooper, Barry S [editor.] Li, Angsheng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3959 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)
	1482.	Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings / by Van Eekelen, Marko [editor.] Geuvers, Herman [editor.] Schmaltz, Julien [editor.] Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6898 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)
	1483.	Multiple Classifier Systems [electronic resource] : 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010, Proceedings / by El Gayar, Neamat [editor.] Kittler, Josef [editor.] Roli, Fabio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5997 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)
	1484.	Web Intelligence Meets Brain Informatics [electronic resource] : First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers / by Zhong, Ning [editor.] Liu, Jiming [editor.] Yao, Yiyu [editor.] Wu, Jinglong [editor.] Lu, Shengfu [editor.] Li, Kuncheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4845 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)
	1485.	Algorithms and Computation [electronic resource] : 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I / by Cheong, Otfried [editor.] Chwa, Kyung-Yong [editor.] Park, Kunsoo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6506 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)
	1486.	Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / by Garrigue, Jacques [editor.] Hermenegildo, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4989 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)
	1487.	Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings / by Calmet, Jaques [editor.] Ida, Tetsuo [editor.] Wang, Dongming [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4120 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)
	1488.	Journal on Data Semantics VII [electronic resource] / by Spaccapietra, Stefano [editor.] SpringerLink (Online service) Series: Journal on Data Semantics ; 4244 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)
	1489.	Genetic Programming [electronic resource] : 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / by Nicolau, Miguel [editor.] Krawiec, Krzysztof [editor.] Heywood, Malcolm I [editor.] Castelli, Mauro [editor.] García-Sánchez, Pablo [editor.] Merelo, Juan J [editor.] Rivas Santos, Victor Manuel [editor.] Sim, Kevin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8599 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)
	1490.	Computational Intelligence for Knowledge-Based System Design [electronic resource] : 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / by Hüllermeier, Eyke [editor.] Kruse, Rudolf [editor.] Hoffmann, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6178 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)
	1491.	Artificial Immune Systems [electronic resource] : 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009, Proceedings / by Andrews, Paul S [editor.] Timmis, Jon [editor.] Owens, Nick D. L [editor.] Aickelin, Uwe [editor.] Hart, Emma [editor.] Hone, Andrew [editor.] Tyrrell, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5666 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)
	1492.	Progress in Artificial Intelligence [electronic resource] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings / by Bento, Carlos [editor.] Cardoso, Amilcar [editor.] Dias, Gael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3808 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)
	1493.	Transactions on Computational Science XIV [electronic resource] : Special Issue on Voronoi Diagrams and Delaunay Triangulation / by Mostafavi, Mir Abolfazl [editor.] SpringerLink (Online service) Series: Transactions on Computational Science ; 6970 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)
	1494.	Multi-Agent Based Simulation XVII [electronic resource] : International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers / by Nardin, Luis Gustavo [editor.] Antunes, Luis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10399 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)
	1495.	Theoretical Aspects of Computing – ICTAC 2017 [electronic resource] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / by Hung, Dang Van [editor.] Kapur, Deepak [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10580 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)
	1496.	Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings / by D'Souza, Deepak [editor.] Narayan Kumar, K [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10482 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)
	1497.	The Semantic Web – ISWC 2017 [electronic resource] : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II / by d'Amato, Claudia [editor.] Fernandez, Miriam [editor.] Tamma, Valentina [editor.] Lecue, Freddy [editor.] Cudré-Mauroux, Philippe [editor.] Sequeda, Juan [editor.] Lange, Christoph [editor.] Heflin, Jeff [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10588 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)
	1498.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers / by Bodlaender, Hans L [editor.] Woeginger, Gerhard J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10520 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)
	1499.	Computational and Corpus-Based Phraseology [electronic resource] : Second International Conference, Europhras 2017, London, UK, November 13-14, 2017, Proceedings / by Mitkov, Ruslan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10596 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)
	1500.	Digital Libraries: Data, Information, and Knowledge for Digital Lives [electronic resource] : 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings / by Choemprayong, Songphan [editor.] Crestani, Fabio [editor.] Cunningham, Sally Jo [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10647 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

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 3659 results.