|
1.
|
Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / editors, Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva. by Gomes, Gracinda M. S | Pin, Jean Eric | Silva, Pedro V. Material type: Text Language: English Publication details: River Edge, NJ : World Scientific, 2002Availability: Items available for loan: Thư viện Trường Quốc tế - Cơ sở HacincoCall number: 512 SEM 2002 (3).
|
|
2.
|
Information, randomness & incompleteness : papers on algorithmic information theory / Gregory J. Chaitin. by Chaitin, Gregory J. Series: World Scientific series in computer science ; v. 8Material type: Text Language: English Publication details: Singapore ; Teaneck, NJ, USA : World Scientific, c1987Availability: Items available for loan: Thư viện Trường Quốc tế - Cơ sở HacincoCall number: 511.3 CHA 1987 (1).
|
|
3.
|
Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 / editors, Gracinda M.S. Gomes, Jean-Éric Pin, Pedro V. Silva. by Gomes, Gracinda M. S | Pin, Jean Eric | Silva, Pedro V. Material type: Text Language: English Publication details: River Edge, NJ : World Scientific, 2002Availability: Items available for loan: Thư viện Trường Quốc tế - Cơ sở HacincoCall number: 512 SEM 2002 (1).
|
|
4.
|
Information, randomness & incompleteness : papers on algorithmic information theory. Volume 8 / Gregory J. Chaitin. by Chaitin, Gregory J. Series: World Scientific series in computer science ; . 8Material type: Text Language: English Publication details: Singapore ; Teaneck, NJ, USA : World Scientific, 1987Availability: Items available for loan: Thư viện Trường Quốc tế - Cơ sở HacincoCall number: 511.3 CHA(8) 1987 (1).
|
|
5.
|
Introduction to the theory of computation / Michael Sipser; [edited by] Marie Lee. by Sipser, Michael. Edition: 3rd Ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Boston, MA : Course Technology Cengage Learning, 2012Availability: Items available for loan: Thư viện Trường Quốc tế - Cơ sở Trịnh Văn Bô Call number: 511.3 SIP 2012 (5).
|