|
|
|
|
|
|
|
Automata Theory Languages and Computation, Introduction to- by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D. Edition: 1st & 2ndMaterial type: Text;Language: ; Format:
print
Publication details: USA ; Addison Wesley ; 1979; 2001Availability: Items available for loan: IMSc Library (4). Location(s): Second Floor, Rack No: 49 Shelf No: 38 Call number: 681.3.06 HOP.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Introduction to Formal Languages and Machine Computation by Yan, Song Y. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Singapore ; World Scientific ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 23 Call number: 681.3 YAN.
|
|
|
|
|
|
|
|
An introduction to Formal Languages and Automata by Linz, Peter. Edition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: India ; Narosa ; 1997Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 43 Call number: 681.3.06 LINZ.
|
|
|
|
Semigroups, algorithms, automata, and languages Coimbra, Portugal, May-July 2001 by Gomes,Gracinda M S | Pin, JEan-Eric | Silva, Pedro V Eds. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: River Edge, NJ ; World Scientific ; c2002Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 48 Call number: 681.3 GOM.
|
|
|
|
Word processing in groups by Epstein, D. B. A. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Boston ; Jones and Bartlett Publishers ; c1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 8 Call number: 681.326 EPS.
|
|
|
|
|
|
|
|
Algebraic theory of automata and languages by Ito, Masami. Material type: Text;Language: ; Format:
print
Publication details: River Edge, N.J. ; World Scientific ; 2004Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 5 Call number: 681.3 ITO.
|
|
|
|
|
|
|
|
|
|
|
|
Substitutions in Dynamics, Arithmetics and Combinatorics [electronic resource] / edited by N. Pytheas Fogg, Valéré Berthé, Sébastien Ferenczi, Christian Mauduit, Anne Siegel. by Fogg, N. Pytheas [editor.] | Berthé, Valéré [editor.] | Ferenczi, Sébastien [editor.] | Mauduit, Christian [editor.] | Siegel, Anne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1794Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic and Computer Science [electronic resource] : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988 / by Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov ; edited by Piergiorgio Odifreddi. by Homer, Steven [author.] | Nerode, Anil [author.] | Platek, Richard A [author.] | Sacks, Gerald E [author.] | Scedrov, Andre [author.] | Odifreddi, Piergiorgio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1429Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algebraic Logic and Universal Algebra in Computer Science [electronic resource] : Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings / edited by Clifford H. Bergman, Roger D. Maddux, Don L. Pigozzi. by Bergman, Clifford H [editor.] | Maddux, Roger D [editor.] | Pigozzi, Don L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 425Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Wyk. by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Wyk, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8225Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by Bertacco, Valeria [editor.] | Legay, Axel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8244Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|