Results of search for 'ccl=su:{Formal languages.} and su-to:Computer and Information Systems Applications' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	221.	Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings / by Kühnberger, Kai-Uwe [editor.] Rudolph, Sebastian [editor.] Wang, Pei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7999 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)
	222.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4919 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)
	223.	Fuzzy Logic and Applications [electronic resource] : 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings / by Di Gesù, Vito [editor.] Pal, Sankar Kumar [editor.] Petrosino, Alfredo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5571 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)
	224.	Semantics in Data and Knowledge Bases [electronic resource] : 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / by Schewe, Klaus-Dieter [editor.] Thalheim, Bernhard [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6834 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)
	225.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / by Destercke, Sébastien [editor.] Denoeux, Thierry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9161 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)
	226.	Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / by Bernardo, Marco [editor.] Cortellessa, Vittorio [editor.] Pierantonio, Alfonso [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7320 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)
	227.	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)
	228.	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)
	229.	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)
	230.	Argumentation in Multi-Agent Systems [electronic resource] : 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers / by McBurney, Peter [editor.] Rahwan, Iyad [editor.] Parsons, Simon D [editor.] Maudet, Nicolas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6057 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)
	231.	Conceptual Structures: Common Semantics for Sharing Knowledge [electronic resource] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings / by Dau, Frithjof [editor.] Mugnier, Marie-Laure [editor.] Stumme, Gerd [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3596 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)
	232.	KI 2013: Advances in Artificial Intelligence [electronic resource] : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings / by Timm, Ingo J [editor.] Thimm, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8077 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)
	233.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [electronic resource] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / by Balduccini, Marcello [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6565 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)
	234.	Trustworthy Global Computing [electronic resource] : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers / by Maffei, Matteo [editor.] Tuosto, Emilio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8902 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)
	235.	Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I / by Slezak, Dominik [editor.] Szczuka, Marcin [editor.] Duentsch, Ivo [editor.] Yao, Yiyu [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3641 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)
	236.	Natural Language Processing and Information Systems [electronic resource] : 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings / by Frasincar, Flavius [editor.] Ittoo, Ashwin [editor.] Nguyen, Le Minh [editor.] Métais, Elisabeth [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10260 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)
	237.	Conceptual Structures: Inspiration and Application [electronic resource] : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings / by Schärfe, Henrik [editor.] Hitzler, Pascal [editor.] Ohrstrom, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4068 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)
	238.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings / by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4571 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)
	239.	Transactions on Rough Sets VI [electronic resource] : Commemorating Life and Work of Zdislaw Pawlak, Part I / by Peters, James F [editor.] Düntsch, Ivo [editor.] Grzymala-Busse, Jerzy [editor.] Orlowska, Ewa [editor.] Polkowski, Lech [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 4374 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)
	240.	Advances in Case-Based Reasoning [electronic resource] : 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings / by Roth-Berghofer, Thomas [editor.] Göker, Mehmet H [editor.] Güvenir, H. Altay [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4106 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 463 results.