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.	Elements of the theory of computation by Lewis, Harry R Papadimitriou, Christos H Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : PHI, c1998 Availability: Items available for loan: IIITD (1)Call number: 511 LEW-E. Place hold Add to cart (remove)
	4.	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)
	5.	Introduction to formal languages by Revesz, Gyorgy E Series: Dover books on advanced mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1991 Online access: Publisher description Table of contents Availability: Items available for loan: IIITD (1)Call number: 511.3 REV-I. Place hold Add to cart (remove)
	6.	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)
	7.	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)
	8.	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)
	9.	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)
	10.	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)
	11.	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)
	12.	Logic and language models for computer science by Richards, Dana Hamburger, Henry Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersey : World Scientific, ©2018 Availability: Items available for loan: IIITD (1)Call number: 005.131 RIC-L. Place hold Add to cart (remove)
	13.	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)
	14.	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)
	15.	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)
	16.	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)
	17.	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)
	18.	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)
	19.	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)
	20.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1753 results.