Date and Time

Your search returned 10 results. Subscribe to this search

|
1. Modeling and analysis of communicating systems

by Groote, J. F. (Jan Friso); Mousavi, Mohammad Reza.

Material type: book Book; Format: print ; Literary form: not fiction Availability: Items available for reference: Central Library, IISER Bhopal [621.382011 G899M] (1 ).

2. Introduction to languages and the theory of computation

by Martin, John C.

Edition: 3th ed.Material type: book Book; Format: print regular print ; Literary form: not fiction Publisher: New Delhi McGraw-Hill, 2016Availability: Items available for loan: Central Library, IISER Bhopal [511.35 M364I3] (10). Items available for reference: Central Library, IISER Bhopal [511.35 M364I3] (1 ).

3. Introduction to the theory of computation

by Sipser, Michael.

Edition: Third edition.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Delhi: Cengage learning India Pvt. Ltd., 2016Availability: Items available for loan: Central Library, IISER Bhopal [511.35 Si7I3] (8). Items available for reference: Central Library, IISER Bhopal [511.35 Si7I3] (2 ).

4. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie.

by Hopcroft, John E. (John Edward); Motwani, Rajeev; Ullman, Jeffrey D.

Edition: 2., überarbeitete Aufl. / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.Material type: book Book Publisher: München ; [Great Britain] : Pearson Studium, c2002Availability: No items available

5. Introduction to automata theory, languages and computation

by Hopcroft, John E; Motwani, Rajeev; Ullman, Jeffrey D.

Edition: 3rd edition.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi: Dorling Kindersley (India) Pvt. Ltd., 2013Availability: Items available for loan: Central Library, IISER Bhopal [511.35 H77I3] (1). Items available for reference: Central Library, IISER Bhopal [511.35 H77I3] (2 ).

6. Process algebra : equational theories of communicating processes

by Baeten, J. C. M; Basten, T; Reniers, M. A.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Cambridge : Cambridge University Press, 2010Availability: Items available for loan: Central Library, IISER Bhopal [004.0151 B145P] (2). Items available for reference: Central Library, IISER Bhopal [004.0151 B145P] (1 ).

7. Introduction to process algebra

by Fokkink, Wan.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Berlin : Springer, c2000Online Access: Publisher description | Table of contents only Availability: Items available for reference: Central Library, IISER Bhopal [005.1 F69I] (1 ).

8. Automata, logics, and infinite games

by Grädel, Erich; Thomas, Wolfgang; Wilke, Thomas.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, 2002Online Access: Publisher description Availability: Items available for reference: Central Library, IISER Bhopal [004 G75A] (1 ).

9. Modern applications of automata theory

by D'Souza, Deepak; Shankar, Piti.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Singapore: Wold Scientific Publishing, 2012Availability: No items available Checked out (1).

10. Automata theory and its applications

by Khoussainov, Bakhadyr; Nerode, Anil.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi: Springer (India) Pvt. Ltd., 2010Online Access: Publisher description | Table of contents only Availability: No items available Checked out (1).




Contact for Queries: skpathak@iiserb.ac.in

Powered by Koha