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

Codi QR

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

Veure altres versions (2)

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

Guardat en:

Dades bibliogràfiques
Autor principal:	Hopcroft, J.
Format:	Llibre
Idioma:	Undetermined
Publicat:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
Matèries:	Toán học,Machine theory,Formal languages,Computational complexity
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

Elements of the theory of computation /
per: Lewis, Harry R.
Publicat: (1998)

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

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

Algorithmic information theory
per: Chaitin, Gregory J.
Publicat: (2004)

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

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

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

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

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

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

Teaching Formal Methods
Publicat: (2020)

Frontiers of Combining Systems
per: Konev, Boris, et al.
Publicat: (2020)

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

Frontiers of Combining Systems
per: Gramlich, Bernhard
Publicat: (2020)

Frontiers of Combining Systems
Publicat: (2020)

Pillars of Computer Science
per: Avron, Arnon, et al.
Publicat: (2020)

Fuzzy Systems and Knowledge Discovery
per: Wang, Lipo, et al.
Publicat: (2020)

Computer Science Logic
Publicat: (2020)

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

Computability, complexity, and languages :
per: Davis, Martin
Publicat: (1994)

Introducing the theory of computation
per: Goddard, Wayne
Publicat: (2008)

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

Machine Learning: ECML 2007
per: Kok, Joost N., et al.
Publicat: (2020)

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

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

Theory and Applications of Satisfiability Testing
Publicat: (2020)

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

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

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

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

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

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

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

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

Logic and Its Applications
per: Khan, Md. Aquil, et al.
Publicat: (2020)

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

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

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

An Introduction to Formal Languages and Automata (Photo) /
per: Linz Peter
Publicat: (1990)

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