| 1 |  | Computational linguistics and talking robots : Processing Content in database semantics / Roland Hausser . - New York : Springer, 2011. - xii, 286 tr. : Minh họa ; 24 cm
Mã xếp giá: 006.3 H377Đăng ký cá biệt: Lầu 2 KLF: 2000005378 |
| 2 |  | Introduction to the theory of computation / Michael Sipse . - 3rd ed. - Boston, MA : Course Technology Cengage Learning, 2013. - xxii, 458 tr. : Minh họa ; 24 cm
Mã xếp giá: 511.3 S615Đăng ký cá biệt: Lầu 2 KLF: 2000007390 |
| 3 |  | Knowledge structures for communications in human-computer systems : General automata-based / Eldo C. Koenig . - Hoboken, N.J. : Wiley-Interscience, 2007. - xii, 281 tr. ; 24 cm
Mã xếp giá: 004.19 K78Đăng ký cá biệt: Lầu 1 TV: 2000029660, Lầu 2 KLF: 2000005081 |
| 4 | | Lý thuyết ngôn ngữ hình thức và Otomat / Đặng Huy Ruận . - Hà Nội : Đại học Quốc gia Hà Nội, 2002. - 401 tr
Mã xếp giá: 511.3 Đ182Đăng ký cá biệt: 7000000226 |