Problem solving in automata, languages, and complexity

Côd QR

Problem solving in automata, languages, and complexity

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Ding-zhu Du
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	New York John Wiley and Sons 2001
Pynciau:	automata ( formal languages ),formal languages
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

An Introduction to Formal Languages and Automata (Photo) /
gan: Linz Peter
Cyhoeddwyd: (1990)

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

Cellular Automata and Discrete Complex Systems
gan: Baetens, Jan M., et al.
Cyhoeddwyd: (2020)

Fuzzy Automata and Languages: Theory and Applications
gan: Mordeson, John, et al.
Cyhoeddwyd: (2012)

Language and Automata Theory and Applications
gan: Drewes, Frank, et al.
Cyhoeddwyd: (2020)

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

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

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

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
gan: John, E . Hopcroft, et al.
Cyhoeddwyd: (2023)

Cellular Automata and Discrete Complex Systems
gan: Kari, Jarkko
Cyhoeddwyd: (2015)

Implementation and Application of Automata
Cyhoeddwyd: (2020)

Implementation and Application of Automata
gan: Câmpeanu, Cezar
Cyhoeddwyd: (2020)

Language and Automata Theory and Applications
gan: Martín-Vide, Carlos, et al.
Cyhoeddwyd: (2020)

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

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

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
gan: Isokawa, T, et al.
Cyhoeddwyd: (2015)

Logic, Language, and Computation
Cyhoeddwyd: (2020)

Implementation and Application of Automata. 1st ed. 2017
gan: Carayol, Arnaud, et al.
Cyhoeddwyd: (2020)

Automata and Computability
gan: Kozen, Dexter C
Cyhoeddwyd: (1997)

Computability, complexity, and languages :
gan: Davis, Martin
Cyhoeddwyd: (1994)

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

Ngôn ngữ hình thức
gan: Nguyễn Văn Ba
Cyhoeddwyd: (2002)

Logics of Specification Languages
gan: Bjørner, Dines, et al.
Cyhoeddwyd: (2020)

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

Logic, Language, Information, and Computation
gan: Moss, Lawrence S., et al.
Cyhoeddwyd: (2020)

Dynamic neighbourhood cellular automata /
gan: Dantchev, Stefan.

Logic, Language, and Computation
Cyhoeddwyd: (2020)

Convergence of formal morphisms of completions of complex spaces /
gan: Izumi, Shuzo.

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
gan: Bjørner, Nikolaj, et al.
Cyhoeddwyd: (2015)

Developments in Language Theory
gan: Hoshi, Mizuho, et al.
Cyhoeddwyd: (2020)

Natural Language Processing – IJCNLP 2004
Cyhoeddwyd: (2020)

Stochastic cellular automata /
gan: Fricke, Thomas.

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

Deontic Logic in Computer Science
gan: Meyden, Ron van der, et al.
Cyhoeddwyd: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
gan: Aguzzoli, S., et al.
Cyhoeddwyd: (2020)

Conditionals, Information, and Inference
Cyhoeddwyd: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Cyhoeddwyd: (2020)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
gan: Salomaa, Arto
Cyhoeddwyd: (1992)

Language, Logic, and Computation
gan: Silva, Alexandra, et al.
Cyhoeddwyd: (2020)

Computational Processing of the Portuguese Language
gan: Villavicencio, Aline, et al.
Cyhoeddwyd: (2020)