Results of search for 'ccl=su:{Automata theory}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1221.	Model-Based Safety and Assessment [electronic resource] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings / by Ortmeier, Frank [editor.] Rauzy, Antoine [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8822 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)
	1222.	Controlled Natural Language [electronic resource] : 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings / by Davis, Brian [editor.] Kaljurand, Kaarel [editor.] Kuhn, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8625 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)
	1223.	Inductive Logic Programming [electronic resource] : 19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers / by Raedt, Luc [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5989 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)
	1224.	Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings / by Morrill, Glyn [editor.] Nederhof, Mark-Jan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8036 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)
	1225.	MICAI 2006: Advances in Artificial Intelligence [electronic resource] : 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings / by Gelbukh, Alexander [editor.] Reyes-Garcia, Carlos Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4293 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)
	1226.	Developments in Language Theory [electronic resource] : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings / by Yen, Hsu-Chun [editor.] Ibarra, Oscar H [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7410 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)
	1227.	Logic, Language, Information, and Computation [electronic resource] : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings / by Kennedy, Juliette [editor.] de Queiroz, Ruy J.G.B [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10388 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1228.	Progress in Cryptology - INDOCRYPT 2009 [electronic resource] : 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings / by Roy, Bimal Kumar [editor.] Sendrier, Nicolas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 5922 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)
	1229.	Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings / by Anai, Hirokazu [editor.] Horimoto, Katsuhisa [editor.] Kutsia, Temur [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4545 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)
	1230.	Transactions on Rough Sets IV [electronic resource] / by Peters, James F [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 3700 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)
	1231.	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)
	1232.	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)
	1233.	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)
	1234.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012, Proceedings / by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7376 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)
	1235.	Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings / by Johnsen, Einar Broch [editor.] Petre, Luigia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7940 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)
	1236.	Conceptual Structures for Discovering Knowledge [electronic resource] : 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings / by Andrews, Simon [editor.] Polovina, Simon [editor.] Hill, Richard [editor.] Akhgar, Babak [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6828 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)
	1237.	Flexible Query Answering Systems [electronic resource] : 15th International Conference, FQAS 2023, Mallorca, Spain, September 5–7, 2023, Proceedings / by Larsen, Henrik Legind [editor.] Martin-Bautista, Maria J [editor.] Ruiz, M. Dolores [editor.] Andreasen, Troels [editor.] Bordogna, Gloria [editor.] De Tré, Guy [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14113 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)
	1238.	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)
	1239.	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)
	1240.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1743 results.