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

Mã QR

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

Đã lưu trong:

書目詳細資料
主要作者:	Hopcroft, J.
格式:	圖書
語言:	Undetermined
出版:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
主題:	Toán học,Machine theory,Formal languages,Computational complexity
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

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

相似書籍

Elements of the theory of computation /
由: Lewis, Harry R.
出版: (1998)

An introduction to formal languages and machine computation /
由: Yan, Song Y.
出版: (1998)

Introduction to automata theory, language, and computation
由: Hopcroft, John E.
出版: (2007)

Algorithmic information theory
由: Chaitin, Gregory J.
出版: (2004)

Information, randomness & incompleteness : papers on algorithmic information theory /
由: Chaitin, Gregory J.
出版: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
由: Chaitin, Gregory J.
出版: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
由: Chaitin, Gregory J.
出版: (1987)

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

Semigroups, algorithms, automata, and languages :
出版: (2002)

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

Teaching Formal Methods
出版: (2020)

Frontiers of Combining Systems
由: Konev, Boris, et al.
出版: (2020)

Finite Model Theory and Its Applications
由: Grädel, Erich, et al.
出版: (2020)

Frontiers of Combining Systems
由: Gramlich, Bernhard
出版: (2020)

Frontiers of Combining Systems
出版: (2020)

Pillars of Computer Science
由: Avron, Arnon, et al.
出版: (2020)

Fuzzy Systems and Knowledge Discovery
由: Wang, Lipo, et al.
出版: (2020)

Computer Science Logic
出版: (2020)

Theorem Proving in Higher Order Logics
由: Schneider, Klaus, et al.
出版: (2020)

Computability, complexity, and languages :
由: Davis, Martin
出版: (1994)

Introducing the theory of computation
由: Goddard, Wayne
出版: (2008)

Graph Theory, Computational Intelligence and Thought
出版: (2020)

Machine Learning: ECML 2007
由: Kok, Joost N., et al.
出版: (2020)

Theory and Applications of Satisfiability Testing
由: Hoos, Holger H., et al.
出版: (2020)

Natural Language Processing – IJCNLP 2005
由: Dale, Robert, et al.
出版: (2020)

Theory and Applications of Satisfiability Testing
出版: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
由: Butler, Michael, et al.
出版: (2020)

KI 2017: Advances in Artificial Intelligence
由: Kern-Isberner, Gabriele, et al.
出版: (2020)

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

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

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

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

Problem solving in automata, languages, and complexity
由: Ding-zhu Du
出版: (2001)

Robustness and Usability in Modern Design Flows
由: Fey, Görschwin, et al.
出版: (2020)

Logic and Its Applications
由: Khan, Md. Aquil, et al.
出版: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
由: Kennedy, Juliette, et al.
出版: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
由: Sichman, Jaime Simao, et al.
出版: (2020)

Language and Automata Theory and Applications
由: Martín-Vide, Carlos, et al.
出版: (2020)

An Introduction to Formal Languages and Automata (Photo) /
由: Linz Peter
出版: (1990)

Proceedings of the workshop semigroups and languages
出版: (2004)