Results of search for 'ccl=su:{Computer Science.} and su-to:Computer science and su-to:Artificial Intelligence and su-to:Formal Languages and Automata Theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	561.	Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / by Duchier, Denys [editor.] Parmentier, Yannick [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8114 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)
	562.	KI 2009: Advances in Artificial Intelligence [electronic resource] : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings / by Mertsching, Bärbel [editor.] Hund, Marcus [editor.] Aziz, Zaheer [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5803 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)
	563.	MICAI 2007: Advances in Artificial Intelligence [electronic resource] : 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings / by Gelbukh, Alexander [editor.] Kuri Morales, Àngel Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4827 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)
	564.	Transactions on Rough Sets II [electronic resource] : Rough Sets and Fuzzy Sets / by Peters, James F [editor.] Dubois, Didier [editor.] Grzymala-Busse, Jerzy [editor.] Inuiguchi, Masahiro [editor.] Polkowski, Lech [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 3135 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)
	565.	Modeling Decisions for Artificial Intelligence [electronic resource] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings / by Narukawa, Yasuo [editor.] Inuiguchi, Masahiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5861 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)
	566.	Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations [electronic resource] : Theories and Methodologies / by Xu, Yejun [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	567.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / by Ramanayake, Revantha [editor.] Urban, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14278 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	568.	Frontiers of Combining Systems [electronic resource] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / by Sattler, Uli [editor.] Suda, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14279 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	569.	Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7810 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)
	570.	Transactions on Rough Sets VIII [electronic resource]. by SpringerLink (Online service) Series: Transactions on Rough Sets ; 5084 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)
	571.	Implementation and Application of Automata [electronic resource] : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings / by Drewes, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9223 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)
	572.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3878 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)
	573.	Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / by Schmidt, Renate [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5663 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)
	574.	Machine Learning Challenges [electronic resource] : Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers / by Quinonero-Candela, Joaquin [editor.] Dagan, Ido [editor.] Magnini, Bernardo [editor.] d'Alché-Buc, Florence [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3944 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)
	575.	Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by Etessami, Kousha [editor.] Rajamani, Sriram K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3576 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)
	576.	Algorithmic Learning Theory [electronic resource] : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings / by Jain, Sanjay [editor.] Simon, Hans Ulrich [editor.] Tomita, Etsuji [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3734 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)
	577.	Conceptual Structures: Knowledge Visualization and Reasoning [electronic resource] : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings / by Eklund, Peter [editor.] Haemmerlé, Ollivier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5113 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)
	578.	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)
	579.	Intelligent Computer Mathematics [electronic resource] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / by Kerber, Manfred [editor.] Carette, Jacques [editor.] Kaliszyk, Cezary [editor.] Rabe, Florian [editor.] Sorge, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9150 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)
	580.	Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers / by Lecroq, Thierry [editor.] Mouchard, Laurent [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8288 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 811 results.