Cơ sở lý thuyết tính toán =

QR Kodea

Cơ sở lý thuyết tính toán = Introduction to automata theory, languages, and computation

Hiển thị phiên bản (2) khác

Sách trình bày những cơ sở toán học cho các quá trình tính toán dựa trên mô hình máy Turing

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Hopcroft, J.
Formatua:	Liburua
Hizkuntza:	Undetermined
Argitaratua:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
Gaiak:	Toán học,Machine theory,Formal languages,Computational complexity
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Elements of the theory of computation /
nork: Lewis, Harry R.
Argitaratua: (1998)

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

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

Algorithmic information theory
nork: Chaitin, Gregory J.
Argitaratua: (2004)

Information, randomness & incompleteness : papers on algorithmic information theory /
nork: Chaitin, Gregory J.
Argitaratua: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
nork: Chaitin, Gregory J.
Argitaratua: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
nork: Chaitin, Gregory J.
Argitaratua: (1987)

Tin học lý thuyết
nork: Võ, Huỳnh Trâm
Argitaratua: (2009)

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

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

Teaching Formal Methods
Argitaratua: (2020)

Frontiers of Combining Systems
nork: Konev, Boris, et al.
Argitaratua: (2020)

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

Frontiers of Combining Systems
nork: Gramlich, Bernhard
Argitaratua: (2020)

Frontiers of Combining Systems
Argitaratua: (2020)

Pillars of Computer Science
nork: Avron, Arnon, et al.
Argitaratua: (2020)

Fuzzy Systems and Knowledge Discovery
nork: Wang, Lipo, et al.
Argitaratua: (2020)

Computer Science Logic
Argitaratua: (2020)

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

Computability, complexity, and languages :
nork: Davis, Martin
Argitaratua: (1994)

Introducing the theory of computation
nork: Goddard, Wayne
Argitaratua: (2008)

Graph Theory, Computational Intelligence and Thought
Argitaratua: (2020)

Machine Learning: ECML 2007
nork: Kok, Joost N., et al.
Argitaratua: (2020)

Theory and Applications of Satisfiability Testing
nork: Hoos, Holger H., et al.
Argitaratua: (2020)

Natural Language Processing – IJCNLP 2005
nork: Dale, Robert, et al.
Argitaratua: (2020)

Theory and Applications of Satisfiability Testing
Argitaratua: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
nork: Butler, Michael, et al.
Argitaratua: (2020)

KI 2017: Advances in Artificial Intelligence
nork: Kern-Isberner, Gabriele, et al.
Argitaratua: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
nork: Marques-Silva, Joao, et al.
Argitaratua: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
Argitaratua: (2020)

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

Theory and Applications of Models of Computation. 1st ed. 2017
nork: Gopal, T.V., et al.
Argitaratua: (2020)

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

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

Logic and Its Applications
nork: Khan, Md. Aquil, et al.
Argitaratua: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
nork: Kennedy, Juliette, et al.
Argitaratua: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
nork: Sichman, Jaime Simao, et al.
Argitaratua: (2020)

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

An Introduction to Formal Languages and Automata (Photo) /
nork: Linz Peter
Argitaratua: (1990)

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