|
|
1.
|
Modeling and analysis of communicating systems
by Groote, J. F. (Jan Friso);
Mousavi, Mohammad Reza.
Material type:  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; 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; 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 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; 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; 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; 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; 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; 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; 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).
|
