Problem solving in automata, languages, and complexity

Mã QR

Problem solving in automata, languages, and complexity

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Ding-zhu Du
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	New York John Wiley and Sons 2001
Những chủ đề:	automata ( formal languages ),formal languages
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Closing a system in the dynamic input/output automata model /
Bỡi: Kapus, Tatjana.

Fuzzy Automata and Languages: Theory and Applications
Bỡi: Mordeson, John, et al.
Được phát hành: (2012)

Cellular Automata and Discrete Complex Systems
Bỡi: Baetens, Jan M., et al.
Được phát hành: (2020)

Language and Automata Theory and Applications
Bỡi: Drewes, Frank, et al.
Được phát hành: (2020)

Semigroups, algorithms, automata, and languages :
Được phát hành: (2002)

Finiteness and regularity in semigroups and formal languages /
Bỡi: De Luca, A.
Được phát hành: (1999)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Được phát hành: (2002)

Cellular Automata and Discrete Complex Systems
Bỡi: Kari, Jarkko
Được phát hành: (2015)

Language and Automata Theory and Applications
Bỡi: Martín-Vide, Carlos, et al.
Được phát hành: (2020)

Implementation and Application of Automata
Được phát hành: (2020)

Implementation and Application of Automata
Bỡi: Câmpeanu, Cezar
Được phát hành: (2020)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Lý thuyết Automat và ngôn ngữ hình thức
Được phát hành: (2002)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Bỡi: Isokawa, T, et al.
Được phát hành: (2015)

Automata and Computability
Bỡi: Kozen, Dexter C
Được phát hành: (1997)

Logic, Language, and Computation
Được phát hành: (2020)

Computability, complexity, and languages :
Bỡi: Davis, Martin
Được phát hành: (1994)

Implementation and Application of Automata. 1st ed. 2017
Bỡi: Carayol, Arnaud, et al.
Được phát hành: (2020)

Introduction to automata theory, language, and computation
Bỡi: Hopcroft, John E.
Được phát hành: (2007)

Logics of Specification Languages
Bỡi: Bjørner, Dines, et al.
Được phát hành: (2020)

Proceedings of the workshop semigroups and languages
Được phát hành: (2004)

Ngôn ngữ hình thức
Bỡi: Nguyễn Văn Ba
Được phát hành: (2002)

Logic, Language, Information, and Computation
Bỡi: Moss, Lawrence S., et al.
Được phát hành: (2020)

Dynamic neighbourhood cellular automata /
Bỡi: Dantchev, Stefan.

Logic, Language, and Computation
Được phát hành: (2020)

Convergence of formal morphisms of completions of complex spaces /
Bỡi: Izumi, Shuzo.

Developments in Language Theory
Bỡi: Hoshi, Mizuho, et al.
Được phát hành: (2020)

Stochastic cellular automata /
Bỡi: Fricke, Thomas.

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
Bỡi: Salomaa, Arto
Được phát hành: (1992)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Bỡi: Bjørner, Nikolaj, et al.
Được phát hành: (2015)

Natural Language Processing – IJCNLP 2004
Được phát hành: (2020)

Lý thuyết ngôn ngữ hình thức và Otomat
Bỡi: Đặng, Huy Ruận
Được phát hành: (2002)

Deontic Logic in Computer Science
Bỡi: Meyden, Ron van der, et al.
Được phát hành: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Bỡi: Aguzzoli, S., et al.
Được phát hành: (2020)

Conditionals, Information, and Inference
Được phát hành: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Được phát hành: (2020)

Language, Logic, and Computation
Bỡi: Silva, Alexandra, et al.
Được phát hành: (2020)

Expansive invertible onesided cellular automata /
Bỡi: Boyle, Mike.

Computational Processing of the Portuguese Language
Bỡi: Villavicencio, Aline, et al.
Được phát hành: (2020)