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:

Sonraí Bibleagrafaíochta
Príomhúdar:	Hopcroft, J.
Formáid:	Leabhar
Teanga:	Undetermined
Foilsithe:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
Ábhair:	Toán học,Machine theory,Formal languages,Computational complexity
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

Elements of the theory of computation /
le: Lewis, Harry R.
Foilsithe: (1998)

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

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

Algorithmic information theory
le: Chaitin, Gregory J.
Foilsithe: (2004)

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

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

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

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

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

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

Teaching Formal Methods
Foilsithe: (2020)

Frontiers of Combining Systems
le: Konev, Boris, et al.
Foilsithe: (2020)

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

Frontiers of Combining Systems
le: Gramlich, Bernhard
Foilsithe: (2020)

Frontiers of Combining Systems
Foilsithe: (2020)

Pillars of Computer Science
le: Avron, Arnon, et al.
Foilsithe: (2020)

Fuzzy Systems and Knowledge Discovery
le: Wang, Lipo, et al.
Foilsithe: (2020)

Computer Science Logic
Foilsithe: (2020)

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

Computability, complexity, and languages :
le: Davis, Martin
Foilsithe: (1994)

Introducing the theory of computation
le: Goddard, Wayne
Foilsithe: (2008)

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

Machine Learning: ECML 2007
le: Kok, Joost N., et al.
Foilsithe: (2020)

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

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

Theory and Applications of Satisfiability Testing
Foilsithe: (2020)

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

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

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

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

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

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

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

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

Logic and Its Applications
le: Khan, Md. Aquil, et al.
Foilsithe: (2020)

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

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

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

An Introduction to Formal Languages and Automata (Photo) /
le: Linz Peter
Foilsithe: (1990)

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