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
	321.	Formal Concept Analysis [electronic resource] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / by Baixeries, Jaume [editor.] Sacarea, Christian [editor.] Ojeda-Aciego, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9113 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)
	322.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings / by Delgrande, James [editor.] Faber, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6645 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)
	323.	MICAI 2004: Advances in Artificial Intelligence [electronic resource] : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings / by Monroy, Raúl [editor.] Arroyo-Figueroa, Gustavo [editor.] Sucar, Luis Enrique [editor.] Sossa, Humberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2972 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)
	324.	Chinese Lexical Semantics [electronic resource] : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers / by Dong, Minghui [editor.] Lin, Jingxia [editor.] Tang, Xuri [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10085 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)
	325.	Language and Automata Theory and Applications [electronic resource] : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Inenaga, Shunsuke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6638 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)
	326.	Vagueness in Communication [electronic resource] : International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers / by Nouwen, Rick [editor.] van Rooij, Robert [editor.] Sauerland, Uli [editor.] Schmitz, Hans-Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6517 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)
	327.	Frontiers of Combining Systems [electronic resource] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / by Dixon, Clare [editor.] Finger, Marcelo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10483 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)
	328.	Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Birkedal, Lars [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7213 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)
	329.	Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / by Borrione, Dominique [editor.] Paul, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3725 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)
	330.	Implementation and Application of Automata [electronic resource] : 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings / by Holzer, Markus [editor.] Kutrib, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8587 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)
	331.	Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers / by Domaratzki, Michael [editor.] Salomaa, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6482 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)
	332.	Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers / by Yli-Jyrä, Anssi [editor.] Karttunen, Lauri [editor.] Karhumäki, Juhani [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4002 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)
	333.	Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings / by Rovan, Branislav [editor.] Sassone, Vladimiro [editor.] Widmayer, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7464 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)
	334.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / by Bouajjani, Ahmed [editor.] Silva, Alexandra [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10321 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)
	335.	Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings / by Fontaine, Pascal [editor.] Ringeissen, Christophe [editor.] Schmidt, Renate [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8152 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)
	336.	Controlled Natural Language [electronic resource] : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers / by Rosner, Michael [editor.] Fuchs, Norbert E [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7175 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)
	337.	Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / by Klein, Gerwin [editor.] Gamboa, Ruben [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8558 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)
	338.	Logic and Grammar [electronic resource] : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday / by Pogodalla, Sylvain [editor.] Quatrini, Myriam [editor.] Retoré, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6700 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)
	339.	Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings / by Konev, Boris [editor.] Wolter, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4720 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)
	340.	Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers / by Frasconi, Paolo [editor.] Lisi, Francesca A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6489 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 811 results.