Web OPAC

Your search returned 10 results.

Results
	1.	Modeling and analysis of communicating systems Jan Friso Groote and Mohammad Reza Mousavi. by Groote, J. F. (Jan Friso), 1965- [author.] Mousavi, Mohammad Reza, 1978- [author.] Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 621.382011 G899M. Add to cart (remove)
	2.	Introduction to languages and the theory of computation John C. Martin. by Martin, John C Edition: 3th ed. Publication details: New Delhi McGraw-Hill, 2016 Availability: Items available for loan: Central Library, IISER Bhopal (10)Call number: 511.35 M364I3, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 511.35 M364I3. Add to cart (remove)
	3.	Introduction to the theory of computation Michael Sipser. by Sipser, Michael Edition: Third edition. Publication details: Delhi: Cengage learning India Pvt. Ltd., 2016 Availability: Items available for loan: Central Library, IISER Bhopal (8)Call number: 511.35 Si7I3, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (2)Call number: 511.35 Si7I3, ... (1 votes) Add to cart (remove)
	4.	Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie. by Hopcroft, John E. (John Edward) Motwani, Rajeev Ullman, Jeffrey D, 1942- Edition: 2., überarbeitete Aufl. / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Language: German Original language: English Publication details: München ; [Great Britain] : Pearson Studium, c2002 Availability: No items available. Add to cart (remove)
	5.	No cover image available Introduction to automata theory, languages and computation John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. by Hopcroft, John E Motwani, Rajeev Ullman, Jeffrey D Edition: 3rd edition. Publication details: New Delhi: Dorling Kindersley (India) Pvt. Ltd., 2013 Availability: Items available for loan: Central Library, IISER Bhopal (1)Call number: 511.35 H77I3. Items available for reference: Central Library, IISER Bhopal: Not For Loan (2)Call number: 511.35 H77I3, ... Add to cart (remove)
	6.	Process algebra : J.C.M. Baeten and W.P. Weijland. equational theories of communicating processes by Baeten, J. C. M Basten, T Reniers, M. A Series: Cambridge tracts in theoretical computer science ; 50 Publication details: Cambridge : Cambridge University Press, 2010 Availability: Items available for loan: Central Library, IISER Bhopal (2)Call number: 004.0151 B145P, ... Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.0151 B145P. Add to cart (remove)
	7.	Introduction to process algebra Wan Fokkink. by Fokkink, Wan Series: Texts in theoretical computer science Publication details: Berlin : Springer, c2000 Online resources: Publisher description Table of contents only Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 005.1 F69I. Add to cart (remove)
	8.	Automata, logics, and infinite games Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.). by Grädel, Erich Thomas, Wolfgang Wilke, Thomas Series: Lecture notes in computer science ; 2500 Publication details: New York : Springer, 2002 Online resources: Publisher description Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004 G75A. Add to cart (remove)
	9.	Modern applications of automata theory editors, Deepak D'Souza, Priti Shankar, Indian Institute of Science, India. by D'Souza, Deepak [editor.] Shankar, Piti [editor.] Series: IISc research monographs series ; vol. 2 Publication details: Singapore: Wold Scientific Publishing, 2012 Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 511.35 D84M. Add to cart (remove)
	10.	Automata theory and its applications Bakhadyr Khoussainov, Anil Nerode. by Khoussainov, Bakhadyr Nerode, Anil Series: Progress in computer science and applied logic ; v. 21 Publication details: New Delhi: Springer (India) Pvt. Ltd., 2010 Online resources: Publisher description Table of contents only Availability: Items available for reference: Central Library, IISER Bhopal: Not For Loan (1)Call number: 004.0151 K528A. Add to cart (remove)

Contact for Queries: skpathak@iiserb.ac.in