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

QR code

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

Toon andere (2) versies

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

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Hopcroft, J.
Formaat:	Boek
Taal:	Undetermined
Gepubliceerd in:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
Onderwerpen:	Toán học,Machine theory,Formal languages,Computational complexity
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

Elements of the theory of computation /
door: Lewis, Harry R.
Gepubliceerd in: (1998)

An introduction to formal languages and machine computation /
door: Yan, Song Y.
Gepubliceerd in: (1998)

Introduction to automata theory, language, and computation
door: Hopcroft, John E.
Gepubliceerd in: (2007)

Algorithmic information theory
door: Chaitin, Gregory J.
Gepubliceerd in: (2004)

Information, randomness & incompleteness : papers on algorithmic information theory /
door: Chaitin, Gregory J.
Gepubliceerd in: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
door: Chaitin, Gregory J.
Gepubliceerd in: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
door: Chaitin, Gregory J.
Gepubliceerd in: (1987)

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

Semigroups, algorithms, automata, and languages :
Gepubliceerd in: (2002)

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

Teaching Formal Methods
Gepubliceerd in: (2020)

Frontiers of Combining Systems
door: Konev, Boris, et al.
Gepubliceerd in: (2020)

Finite Model Theory and Its Applications
door: Grädel, Erich, et al.
Gepubliceerd in: (2020)

Frontiers of Combining Systems
door: Gramlich, Bernhard
Gepubliceerd in: (2020)

Frontiers of Combining Systems
Gepubliceerd in: (2020)

Pillars of Computer Science
door: Avron, Arnon, et al.
Gepubliceerd in: (2020)

Fuzzy Systems and Knowledge Discovery
door: Wang, Lipo, et al.
Gepubliceerd in: (2020)

Computer Science Logic
Gepubliceerd in: (2020)

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

Computability, complexity, and languages :
door: Davis, Martin
Gepubliceerd in: (1994)

Introducing the theory of computation
door: Goddard, Wayne
Gepubliceerd in: (2008)

Graph Theory, Computational Intelligence and Thought
Gepubliceerd in: (2020)

Machine Learning: ECML 2007
door: Kok, Joost N., et al.
Gepubliceerd in: (2020)

Theory and Applications of Satisfiability Testing
door: Hoos, Holger H., et al.
Gepubliceerd in: (2020)

Natural Language Processing – IJCNLP 2005
door: Dale, Robert, et al.
Gepubliceerd in: (2020)

Theory and Applications of Satisfiability Testing
Gepubliceerd in: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
door: Butler, Michael, et al.
Gepubliceerd in: (2020)

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

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

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

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

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

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

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

Logic and Its Applications
door: Khan, Md. Aquil, et al.
Gepubliceerd in: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
door: Kennedy, Juliette, et al.
Gepubliceerd in: (2020)

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

Language and Automata Theory and Applications
door: Martín-Vide, Carlos, et al.
Gepubliceerd in: (2020)

An Introduction to Formal Languages and Automata (Photo) /
door: Linz Peter
Gepubliceerd in: (1990)

Proceedings of the workshop semigroups and languages
Gepubliceerd in: (2004)