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

QRコード

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

他のバージョン（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

保存先:

書誌詳細
第一著者:	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, 等
出版事項: (2020)

Finite Model Theory and Its Applications
著者:: Grädel, Erich, 等
出版事項: (2020)

Frontiers of Combining Systems
著者:: Gramlich, Bernhard
出版事項: (2020)

Frontiers of Combining Systems
出版事項: (2020)

Pillars of Computer Science
著者:: Avron, Arnon, 等
出版事項: (2020)

Fuzzy Systems and Knowledge Discovery
著者:: Wang, Lipo, 等
出版事項: (2020)

Computer Science Logic
出版事項: (2020)

Theorem Proving in Higher Order Logics
著者:: Schneider, Klaus, 等
出版事項: (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., 等
出版事項: (2020)

Theory and Applications of Satisfiability Testing
著者:: Hoos, Holger H., 等
出版事項: (2020)

Natural Language Processing – IJCNLP 2005
著者:: Dale, Robert, 等
出版事項: (2020)

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z
著者:: Butler, Michael, 等
出版事項: (2020)

KI 2017: Advances in Artificial Intelligence
著者:: Kern-Isberner, Gabriele, 等
出版事項: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
著者:: Marques-Silva, Joao, 等
出版事項: (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., 等
出版事項: (2020)

Problem solving in automata, languages, and complexity
著者:: Ding-zhu Du
出版事項: (2001)

Robustness and Usability in Modern Design Flows
著者:: Fey, Görschwin, 等
出版事項: (2020)

Logic and Its Applications
著者:: Khan, Md. Aquil, 等
出版事項: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
著者:: Kennedy, Juliette, 等
出版事項: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
著者:: Sichman, Jaime Simao, 等
出版事項: (2020)

Language and Automata Theory and Applications
著者:: Martín-Vide, Carlos, 等
出版事項: (2020)

An Introduction to Formal Languages and Automata (Photo) /
著者:: Linz Peter
出版事項: (1990)

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