Tin học lý thuyết

Mã QR

Tin học lý thuyết

Cung cấp các kiến thức về toán học, thuật ngữ và phương pháp chứng minh toán học, khái niệm chung về ngôn ngữ, các thành phần và một số phép toán dùng xác định ngôn ngữ, văn phạm chính quy, khảo sát lớp văn phạm kế tiếp,......

Cur síos iomlán

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Võ, Huỳnh Trâm
Formáid:	Leabhar
Teanga:	Undetermined
Foilsithe:	Cần Thơ Trường Đại học Cần Thơ 2009
Ábhair:	Machine theory,Formal languages,Lý thuyết máy tính,Hình thức ngôn ngữ
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Míreanna Comhchosúla

An introduction to formal languages and machine computation /
le: Yan, Song Y.
Foilsithe: (1998)

Lý thuyết ngôn ngữ hình thức và Otomat
le: Đặng, Huy Ruận
Foilsithe: (2002)

Introduction to automata theory, language, and computation
le: Hopcroft, John E.
Foilsithe: (2007)

Semigroups, algorithms, automata, and languages :
Foilsithe: (2002)

Cơ sở lý thuyết tính toán =
le: Hopcroft, J.
Foilsithe: (2003)

Giáo trình lý thuyết automat và ngôn ngữ hình thức
le: Hồ, Văn Quân
Foilsithe: (2002)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
le: Nguyễn, Thanh Tùng
Foilsithe: (1993)

Automata and computability
le: Kozen, Dexter
Foilsithe: (1997)

An introduction to formal languages and automata
le: Linz, Peter
Foilsithe: (2012)

Elements of the theory of computation /
le: Lewis, Harry R.
Foilsithe: (1998)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Foilsithe: (2002)

Cơ sở lý thuyết tính toán /
le: Hopcroft, J.
Foilsithe: (2003)

Cơ sở lý thuyết tính toán /
le: Hopcroft, J.
Foilsithe: (2003)

lý thuyết automat và ngôn ngữ hình thức
le: Trịnh, Thanh Đèo
Foilsithe: (2008)

Automata and languages : Theory and applications
le: Meduna, Alexander
Foilsithe: (2010)

Lý thuyết Automat và ngôn ngữ hình thức
Foilsithe: (2002)

Computability, complexity, and languages :
le: Davis, Martin
Foilsithe: (1994)

Problem solving in automata, languages, and complexity
le: Ding-zhu Du
Foilsithe: (2001)

Lý thuyết và bài tập Pascal nâng cao
Foilsithe: (2001)

Phân lớp thư rác dựa trên mô hình túi từ và giải thuật Random multinomial Naive Bayes :
le: Nguyễn, Thị Thu Hà
Foilsithe: (2012)

Lý thuyết ngôn ngữ và tính toán Sách dùng cho sing viên đại học và học viên cao học của các ngành Công nghệ thông tin và Toán ở các trường đại học
le: Nguyễn Văn Ba
Foilsithe: (2006)

Lý thuyết và bài tập Pascal nâng cao Dành cho học sinh phổ thông trung học và sinh viên
Foilsithe: (2001)

Proceedings of the workshop semigroups and languages
Foilsithe: (2004)

Teaching Formal Methods
Foilsithe: (2020)

Frontiers of Combining Systems
le: Konev, Boris, et al.
Foilsithe: (2020)

Finite Model Theory and Its Applications
le: Grädel, Erich, et al.
Foilsithe: (2020)

Frontiers of Combining Systems
le: Gramlich, Bernhard
Foilsithe: (2020)

Frontiers of Combining Systems
Foilsithe: (2020)

Pillars of Computer Science
le: Avron, Arnon, et al.
Foilsithe: (2020)

Fuzzy Systems and Knowledge Discovery
le: Wang, Lipo, et al.
Foilsithe: (2020)

Computer Science Logic
Foilsithe: (2020)

Theorem Proving in Higher Order Logics
le: Schneider, Klaus, et al.
Foilsithe: (2020)

Phân lớp dữ liệu văn bản lớn dựa trên mô hình túi từ (Bag-of-words) và với giải thuật máy học véc tơ hỗ trợ (SVM) :
le: Trần, Thị Kim Ngọc
Foilsithe: (2012)

Finiteness and regularity in semigroups and formal languages /
le: De Luca, A.
Foilsithe: (1999)

Finite automata
le: Mark V. Lawson
Foilsithe: (2004)

Robustness and Usability in Modern Design Flows
le: Fey, Görschwin, et al.
Foilsithe: (2020)

Lý thuyết thông tin
le: Đặng, Văn Chuyết
Foilsithe: (2011)

Introduction to languages and the theory of computation
le: Martin, John C.
Foilsithe: (2011)

Giáo trình lý thuyết và bài tập Pascal toàn tập
le: Nguyễn Đình Tê.
Foilsithe: (2004)

Giáo trình lý thuyết lập trình căn bản B :
le: Vũ, Duy Linh
Foilsithe: (2010)