Results of search for 'ccl=su:{Formal languages.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Introduction to automata theory, languages, and computation by Hopcroft, John E Motwani, Rajeev Ullman, Jeffrey D Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Addison-Wesley, ©2007 Availability: Items available for loan: IIITD (14)Call number: 511.35 HOP-I, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511.35 HOP-I. Place hold Add to cart (remove)
	2.	Languages and machines : an introduction to the theory of computer science by Sudkamp, Thomas A Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Pearson, c2006 Online access: Table of contents Availability: Items available for loan: IIITD (1)Call number: 511.3 SUD-L. Place hold Add to cart (remove)
	3.	An introduction to formal languages and automata by Linz, Peter Edition: 4th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Narosa, c2006 Online access: Table of contents only Availability: Items available for loan: IIITD (2)Call number: 511.3 LIN-I, ... Place hold Add to cart (remove)
	4.	An introduction to formal languages and automata by Linz, Peter Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi. : Jones and Bartlett Publishers, c2011 Availability: Items available for loan: IIITD (1)Call number: 511.3 LIN-I. Place hold Add to cart (remove)
	5.	Introduction theory of automata, formal languages, and computation by Ghosh, Debidas Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi PHI Learning ©2013 Availability: Items available for loan: IIITD (1)Call number: 511.35 GHO-I. Place hold Add to cart (remove)
	6.	Introduction to formal languages, automata theory and computation by Krithivasan, Kamala Rama R Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Pearson Education, ©2009 Availability: Not available: IIITD: Loan on demand (1). Add to cart (remove)
	7.	Introduction to automata theory, formal languages and computation / by Kandar, Shyamalendu Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Pearson Education, ©2013 Availability: Items available for loan: IIITD (1)Call number: 511.3 KAN-I. Place hold Add to cart (remove)
	8.	Textbook on automata theory by Srimani, P.K S.F.B., Nasir Material type: Text; Format: print ; Literary form: Not fiction Publication details: Delhi : Cambridge University Press, 2008 Availability: Items available for loan: IIITD (1)Call number: 511.35 SRI-T. Place hold Add to cart (remove)
	9.	Introduction to automata theory, languages, and computation by Hopcroft, John E Motwani, Rajeev Ullman, Jeffrey D Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Delhi : Pearson Education, ©2001 Availability: Items available for loan: IIITD (1)Call number: 511.3 HOP-I. Place hold Add to cart (remove)
	10.	Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / by Carette, Jacques [editor.] Aspinall, David [editor.] Lange, Christoph [editor.] Sojka, Petr [editor.] Windsteiger, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7961 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)
	11.	Pristine Perspectives on Logic, Language and Computation [electronic resource] : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers / by Colinet, Margot [editor.] Katrenko, Sophia [editor.] Rendsvig, Rasmus K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8607 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)
	12.	Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering [electronic resource] : 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / by Pan, Jeff Z [editor.] Calvanese, Diego [editor.] Eiter, Thomas [editor.] Horrocks, Ian [editor.] Kifer, Michael [editor.] Lin, Fangzhen [editor.] Zhao, Yuting [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9885 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)
	13.	Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Skrzypczak, Michał [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9802 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)
	14.	Artificial General Intelligence [electronic resource] : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings / by Goertzel, Ben [editor.] Orseau, Laurent [editor.] Snaider, Javier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8598 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)
	15.	Chinese Spoken Language Processing [electronic resource] : 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings / by Huo, Qiang [editor.] Ma, Bin [editor.] Chng, Eng-Siong [editor.] Li, Haizhou [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4274 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)
	16.	Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings / by Shao, Zhong [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4807 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)
	17.	Artificial Intelligence. An International Perspective [electronic resource] : An International Perspective / by Bramer, Max [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5640 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)
	18.	The Semantic Web – ISWC 2018 [electronic resource] : 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I / by Vrandečić, Denny [editor.] Bontcheva, Kalina [editor.] Suárez-Figueroa, Mari Carmen [editor.] Presutti, Valentina [editor.] Celino, Irene [editor.] Sabou, Marta [editor.] Kaffee, Lucie-Aimée [editor.] Simperl, Elena [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11136 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Semantic Technology [electronic resource] : 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings / by Ichise, Ryutaro [editor.] Lecue, Freddy [editor.] Kawamura, Takahiro [editor.] Zhao, Dongyan [editor.] Muggleton, Stephen [editor.] Kozaki, Kouji [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11341 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	The Semantic Web [electronic resource] : 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings / by Hitzler, Pascal [editor.] Fernández, Miriam [editor.] Janowicz, Krzysztof [editor.] Zaveri, Amrapali [editor.] Gray, Alasdair J.G [editor.] Lopez, Vanessa [editor.] Haller, Armin [editor.] Hammar, Karl [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11503 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1749 results.