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

QR koda

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

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Hopcroft, J.
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
Teme:	Toán học,Machine theory,Formal languages,Computational complexity
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

Elements of the theory of computation /
od: Lewis, Harry R.
Izdano: (1998)

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

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

Algorithmic information theory
od: Chaitin, Gregory J.
Izdano: (2004)

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

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

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

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

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

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

Teaching Formal Methods
Izdano: (2020)

Frontiers of Combining Systems
od: Konev, Boris, et al.
Izdano: (2020)

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

Frontiers of Combining Systems
od: Gramlich, Bernhard
Izdano: (2020)

Frontiers of Combining Systems
Izdano: (2020)

Pillars of Computer Science
od: Avron, Arnon, et al.
Izdano: (2020)

Fuzzy Systems and Knowledge Discovery
od: Wang, Lipo, et al.
Izdano: (2020)

Computer Science Logic
Izdano: (2020)

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

Computability, complexity, and languages :
od: Davis, Martin
Izdano: (1994)

Introducing the theory of computation
od: Goddard, Wayne
Izdano: (2008)

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

Machine Learning: ECML 2007
od: Kok, Joost N., et al.
Izdano: (2020)

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

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

Theory and Applications of Satisfiability Testing
Izdano: (2020)

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

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

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

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

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

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

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

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

Logic and Its Applications
od: Khan, Md. Aquil, et al.
Izdano: (2020)

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

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

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

An Introduction to Formal Languages and Automata (Photo) /
od: Linz Peter
Izdano: (1990)

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