Lý thuyết Automat và ngôn ngữ hình thức

Mã QR

Lý thuyết Automat và ngôn ngữ hình thức

שמור ב:

מידע ביבליוגרפי
פורמט:	ספר
שפה:	Undetermined
יצא לאור:	H. Tp. HCM 2002
נושאים:	automath ( formal languages )
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!

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

פריטים דומים

Giáo trình lý thuyết automat và ngôn ngữ hình thức
מאת: Hồ, Văn Quân
יצא לאור: (2002)

Lý thuyết ôtômát và thuật toán
מאת: Phan Đình Diệu
יצא לאור: (1977)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
מאת: Nguyễn, Thanh Tùng
יצא לאור: (1993)

Logic and language models for computer science
מאת: Henry Hamburger
יצא לאור: (2002)

Lý thuyết ngôn ngữ hình thức và Otomat
מאת: Đặng, Huy Ruận
יצא לאור: (2002)

Ngôn ngữ hình thức
מאת: Nguyễn Văn Ba
יצא לאור: (2002)

Problem solving in automata, languages, and complexity
מאת: Ding-zhu Du
יצא לאור: (2001)

Lý thuyết Automat và ngôn ngữ hình thức
מאת: Hồ, Văn Quân
יצא לאור: (2006)

Lý thuyết Automat và ngôn ngữ hình thức /
יצא לאור: (2002)

lý thuyết automat và ngôn ngữ hình thức
מאת: Trịnh, Thanh Đèo
יצא לאור: (2008)

Lý thuyết Automat và ngôn ngữ hình thức /
מאת: Hồ Văn Quân.
יצא לאור: (2006)

Finiteness and regularity in semigroups and formal languages /
מאת: De Luca, A.
יצא לאור: (1999)

Lý thuyết automat và ngôn ngữ hình thức/Trịnh Thanh Đèo
מאת: Trịnh, Thanh Đèo
יצא לאור: (2008)

Bài giảng môn lý thuyết ngôn ngữ hình thức và Automat
מאת: Trần Cao Đệ
יצא לאור: (1995)

Automat và ngôn ngữ hình thức
מאת: Trần, Đình Sơn, et al.
יצא לאור: (2023)

Cơ sở lý thuyết tính toán =
מאת: Hopcroft, J.
יצא לאור: (2003)

An introduction to formal languages and machine computation /
מאת: Yan, Song Y.
יצא לאור: (1998)

An Introduction to Formal Languages and Automata (Photo) /
מאת: Linz Peter
יצא לאור: (1990)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
מאת: Bjørner, Nikolaj, et al.
יצא לאור: (2015)

Tin học lý thuyết
מאת: Võ, Huỳnh Trâm
יצא לאור: (2009)

Deontic Logic in Computer Science
מאת: Meyden, Ron van der, et al.
יצא לאור: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
מאת: Aguzzoli, S., et al.
יצא לאור: (2020)

Conditionals, Information, and Inference
יצא לאור: (2020)

Logic, Language, and Computation
יצא לאור: (2020)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty
יצא לאור: (2020)

Case-Based Reasoning Research and Development
מאת: Munoz-Avila, Hector, et al.
יצא לאור: (2020)

Chinese Lexical Semantics
מאת: Wu, Yunfang, et al.
יצא לאור: (2020)

Formalization and theoretical analysis of the local effect model /
מאת: Beuve, M.

Formal Methods: Foundations and Applications
מאת: Davies, Jim, et al.
יצא לאור: (2015)

The Phenomenological Critique of Mathematisation and the Question of Responsibility: Formalisation and the Life-World
מאת: Učník, Ľubica, et al.
יצא לאור: (2015)

Proceedings of the workshop semigroups and languages
יצא לאור: (2004)

Reasoning Web. Semantic Interoperability on the Web
מאת: Ianni, Giovambattista, et al.
יצא לאור: (2020)

Teaching Formal Methods
יצא לאור: (2020)

Foundations of Fuzzy Logic and Soft Computing
מאת: Melin, Patricia, et al.
יצא לאור: (2020)

Frontiers of Combining Systems
מאת: Konev, Boris, et al.
יצא לאור: (2020)

Machine Learning and Data Mining in Pattern Recognition
מאת: Perner, Petra
יצא לאור: (2020)

Finite Model Theory and Its Applications
מאת: Grädel, Erich, et al.
יצא לאור: (2020)

Concise Guide to Formal Methods
מאת: O'Regan, Gerard
יצא לאור: (2020)

Logic, Language, Information, and Computation
מאת: Moss, Lawrence S., et al.
יצא לאור: (2020)

Machine Learning and Data Mining in Pattern Recognition
יצא לאור: (2020)