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
	1001.	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)
	1002.	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)
	1003.	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)
	1004.	Pattern Recognition and Machine Intelligence [electronic resource] : Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings / by Ghosh, Ashish [editor.] De, Rajat K [editor.] Pal, Sankar K [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4815 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)
	1005.	Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / by Ganter, Bernhard [editor.] Godin, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3403 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)
	1006.	Current Topics in Artificial Intelligence [electronic resource] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009, Selected Papers / by Meseguer, Pedro [editor.] Mandow, Lawrence [editor.] Gasca, Rafael M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5988 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)
	1007.	Text, Speech and Dialogue [electronic resource] : 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings / by Sojka, Petr [editor.] Kopecek, Ivan [editor.] Pala, Karel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3206 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1008.	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8803 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)
	1009.	Conflict Resolution in Decision Making [electronic resource] : Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers / by Aydoğan, Reyhan [editor.] Baarslag, Tim [editor.] Gerding, Enrico [editor.] Jonker, Catholijn M [editor.] Julian, Vicente [editor.] Sanchez-Anguix, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10238 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)
	1010.	Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I / by Rutkowski, Leszek [editor.] Korytkowski, Marcin [editor.] Scherer, Rafal [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7894 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)
	1011.	Database Theory – ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings / by Schwentick, Thomas [editor.] Suciu, Dan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4353 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)
	1012.	Diagrammatic Representation and Inference [electronic resource] : 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings / by Stapleton, Gem [editor.] Howse, John [editor.] Lee, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5223 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)
	1013.	Formal Approaches to Agent-Based Systems [electronic resource] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / by Hinchey, Michael G [editor.] Rash, James L [editor.] Truszkowski, Walter F [editor.] Rouff, Christopher A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3228 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)
	1014.	Artificial Immune Systems [electronic resource] : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings / by Lio, Pietro [editor.] Nicosia, Giuseppe [editor.] Stibor, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6825 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)
	1015.	Transactions on Computational Collective Intelligence I [electronic resource]. by SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 6220 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)
	1016.	Information Retrieval Technology [electronic resource] : Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings / by Yamada, Akio [editor.] Meng, Helen [editor.] Myaeng, Sung Hyon [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3689 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)
	1017.	Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / by Scholz, Sven-Bodo [editor.] Chitil, Olaf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5836 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)
	1018.	Graph Transformations [electronic resource] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / by Corradini, Andrea [editor.] Ehrig, Hartmut [editor.] Montanari, Ugo [editor.] Ribeiro, Leila [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4178 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)
	1019.	Pattern Recognition [electronic resource] : 8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings / by Martínez-Trinidad, José Francisco [editor.] Carrasco-Ochoa, Jesús Ariel [editor.] Ayala Ramírez, Victor [editor.] Olvera-López, José Arturo [editor.] Jiang, Xiaoyi [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9703 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)
	1020.	Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / by Polikarpova, Nadia [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10510 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 1521 results.