Results of search for 'ccl=su:{Formal languages.} and su-to:Application software and su-to:Machine theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	161.	Scalable Uncertainty Management [electronic resource] : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / by Schockaert, Steven [editor.] Senellart, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9858 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)
	162.	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)
	163.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers / by Murata, Tsuyoshi [editor.] Mineshima, Koji [editor.] Bekki, Daisuke [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9067 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)
	164.	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)
	165.	Advances in Natural Language Processing [electronic resource] : 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings / by Przepiórkowski, Adam [editor.] Ogrodniczuk, Maciej [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8686 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	166.	Controlled Natural Language [electronic resource] : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers / by Fuchs, Norbert E [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5972 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)
	167.	Datalog in Academia and Industry [electronic resource] : Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings / by Barceló, Pablo [editor.] Pichler, Reinhard [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7494 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)
	168.	Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / by Dix, Jürgen [editor.] Fisher, Michael [editor.] Novák, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6214 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)
	169.	AI 2007: Advances in Artificial Intelligence [electronic resource] : 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings / by Orgun, Mehmet A [editor.] Thornton, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4830 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)
	170.	Inductive Logic Programming [electronic resource] : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers / by Davis, Jesse [editor.] Ramon, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9046 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)
	171.	Algorithmic Learning Theory [electronic resource] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011, Proceedings / by Kivinen, Jyriki [editor.] Szepesvári, Csaba [editor.] Ukkonen, Esko [editor.] Zeugmann, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6925 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)
	172.	Transactions on Rough Sets XII [electronic resource] / by Slowiński, Roman [editor.] Lingras, Pawan [editor.] Miao, Duoqian [editor.] Tsumoto, Shusaku [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 6190 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)
	173.	Rough Sets and Current Trends in Computing [electronic resource] : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings / by Tsumoto, Shusaku [editor.] Slowiński, Roman [editor.] Komorowski, Jan [editor.] Grzymala-Busse, Jerzy W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3066 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)
	174.	Intelligent Computer Mathematics [electronic resource] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings / by Davenport, James H [editor.] Farmer, William M [editor.] Rabe, Florian [editor.] Urban, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6824 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)
	175.	Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII [electronic resource] : Selected Papers from FDSE 2014 / by Hameurlain, Abdelkader [editor.] Küng, Josef [editor.] Wagner, Roland [editor.] Dang, Tran Khanh [editor.] Thoai, Nam [editor.] SpringerLink (Online service) Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 9480 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	176.	Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII [electronic resource] / by Hameurlain, Abdelkader [editor.] Küng, Josef [editor.] Wagner, Roland [editor.] SpringerLink (Online service) Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 9430 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)
	177.	Data Integration in the Life Sciences [electronic resource] : 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings / by Auer, Sören [editor.] Vidal, Maria-Esther [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11371 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	178.	Computational Logic in Multi-Agent Systems [electronic resource] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings / by Bulling, Nils [editor.] van der Torre, Leendert [editor.] Villata, Serena [editor.] Jamroga, Wojtek [editor.] Vasconcelos, Wamberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8624 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	179.	Artificial General Intelligence [electronic resource] : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings / by Bach, Joscha [editor.] Goertzel, Ben [editor.] Iklé, Matthew [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7716 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)
	180.	Semantic Technology [electronic resource] : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers / by Qi, Guilin [editor.] Kozaki, Kouji [editor.] Pan, Jeff Z [editor.] Yu, Siwei [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9544 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 224 results.