Your search returned 14 results.

Results
	1.	Automata and languages theory and applications by Meduna, Alexander Material type: Text Publication details: New Delhi Springer 2005 Availability: Items available for loan: Main Campus (1)Call number: 511.3 MED. Lists: FEAS G-Books July 2026. Place hold Save to lists Add to cart (remove)
	2.	Introduction to automata theory, languages, and computation by Hopcroft, John E. Rajeev Motwani Jeffrey D. Ullman Material type: Text Publication details: New Delhi Pearson Education 2001 Availability: Items available for loan: Main Campus (1)Call number: 511.3 HOP. Not available: Main Campus: In transit (1). Place hold Save to lists Add to cart (remove)
	3.	Elements of the theory of computation by Lewis, Harry R. Christos H. Papadimitriou Material type: Text Publication details: New Delhi Prentice-Hall 1981 Availability: Items available for loan: Main Campus (1)Call number: 511.3 LEW. Place hold Save to lists Add to cart (remove)
	4.	Introduction to automata theory, languages, and computation by Hopcroft, John E. Rajeev Motwani Jeffrey D. Ullman Material type: Text Publication details: New Delhi Dorling Kindersley India Pvt. Ltd 2013 Availability: Items available for loan: Faisalabad Campus (1)Call number: 511.3 HOP. GULBERG III Lahore (5)Call number: 511.35 HOP, ... Main Campus (2)Call number: 511.35 HOP, ... Malakand Campus (3)Call number: 511.3 HOP, ... Items available for reference: Faisalabad Campus: NOT for LOAN (1)Call number: 511.3 HOP. Place hold Save to lists Add to cart (remove)
	5.	An Introduction to automata theory and formal languages by Pandey, Adesh Kumar Material type: Text Publication details: New Delhi S. K. Kataria and Sons 2011 Availability: Items available for loan: Faisalabad Campus (1)Call number: 001.535 PAN. Main Campus (1)Call number: 001.535 PAN. Place hold Save to lists Add to cart (remove)
	6.	An introduction to formal languages and automata by Linz, Peter Material type: Text Publication details: New Dehli Jones & Bartlett Learning 2011 Availability: Items available for loan: Main Campus (1)Call number: 511.3 LIN. Lists: FEAS G-Books July 2026. Place hold Save to lists Add to cart (remove)
	7.	An introduction to formal languages and automata by Linz, Peter Material type: Text Publication details: New Delhi Jones & Bartlett Learning 2018 Availability: Items available for loan: Faisalabad Campus (1)Call number: 511.3 LIN. GULBERG III Lahore (1)Call number: 511.3 LIN. Lahore Raiwind Campus (1)Call number: 511.3 LIN. Malakand Campus (1)Call number: 511.3 LIN. Not available: GULBERG III Lahore: Checked out (1). Place hold Save to lists Add to cart (remove)
	8.	Introduction to automata theory languages, and computation by Kandar, Shyamalendu Material type: Text Publication details: New Delhi Dorling Kindersley India Pvt. Ltd 2013 Availability: Items available for loan: GULBERG III Lahore (1)Call number: 511.35 KAN. Malakand Campus (1)Call number: 511.35 KAN. Place hold Save to lists Add to cart (remove)
	9.	Automata theory and formal languages express learning series by Kandar, Shyamalendu Series: Express learning series Material type: Text Publication details: New Delhi Dorling kindersley (India) Pvt. Ltd. 2012 Availability: Items available for loan: Faisalabad Campus (3)Call number: 001.535 KAN, ... Place hold Save to lists Add to cart (remove)
	10.	Introduction to automata theory, languages, and computation by Hopcroft, John E. Rajeev Motwani Jeffrey D. Ullman Material type: Text Publication details: New Delhi Dorling Kindersley (India) Pvt. Ltd 2012 Availability: Items available for loan: Malakand Campus (1)Call number: 629.8312 HOP. Place hold Save to lists Add to cart (remove)
	11.	Theory of automata and computation by Pandey Adesh K Material type: Text Publication details: India Katson 2010 Availability: Items available for loan: Faisalabad Campus (2)Call number: 511.3 PAN, ... Place hold Save to lists Add to cart (remove)
	12.	Formal methods for software engineering languages, methods, application domains Material type: Text Publication details: Switzerland Springer Nature 2022 Availability: Items available for loan: Main Campus (1)Call number: 005.1 FOR. Place hold Save to lists Add to cart (remove)
	13.	Speech and language processing : an introduction to natural language processing, computational linguistics, and speech recognition by Jurafsky, Dan James H. Martin Material type: Text Publication details: Upper Saddle River Pearson Prentice Hall 2008 Availability: Items available for loan: Gulberg Green Campus (1)Call number: 006.35 JUR. Place hold Save to lists Add to cart (remove)
	14.	Formal methods for software engineering languages, methods, application domains Material type: Text Publication details: Switzerland Springer Nature 2022 Availability: Items available for loan: Faisalabad Campus (3)Call number: 005.1 FOR, ... Place hold Save to lists Add to cart (remove)

Copyright © 2026 Riphah International University | System Administrator