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

kod QR

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

Pokaż inne wersje (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

Zapisane w:

Opis bibliograficzny
1. autor:	Hopcroft, J.
Format:	Książka
Język:	Undetermined
Wydane:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
Hasła przedmiotowe:	Toán học,Machine theory,Formal languages,Computational complexity
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

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

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

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

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

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

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

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

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

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

Teaching Formal Methods
Wydane: (2020)

Frontiers of Combining Systems
od: Konev, Boris, i wsp.
Wydane: (2020)

Finite Model Theory and Its Applications
od: Grädel, Erich, i wsp.
Wydane: (2020)

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

Frontiers of Combining Systems
Wydane: (2020)

Pillars of Computer Science
od: Avron, Arnon, i wsp.
Wydane: (2020)

Fuzzy Systems and Knowledge Discovery
od: Wang, Lipo, i wsp.
Wydane: (2020)

Computer Science Logic
Wydane: (2020)

Theorem Proving in Higher Order Logics
od: Schneider, Klaus, i wsp.
Wydane: (2020)

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

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

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

Machine Learning: ECML 2007
od: Kok, Joost N., i wsp.
Wydane: (2020)

Theory and Applications of Satisfiability Testing
od: Hoos, Holger H., i wsp.
Wydane: (2020)

Natural Language Processing – IJCNLP 2005
od: Dale, Robert, i wsp.
Wydane: (2020)

Theory and Applications of Satisfiability Testing
Wydane: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
od: Butler, Michael, i wsp.
Wydane: (2020)

KI 2017: Advances in Artificial Intelligence
od: Kern-Isberner, Gabriele, i wsp.
Wydane: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
od: Marques-Silva, Joao, i wsp.
Wydane: (2020)

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

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

Theory and Applications of Models of Computation. 1st ed. 2017
od: Gopal, T.V., i wsp.
Wydane: (2020)

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

Robustness and Usability in Modern Design Flows
od: Fey, Görschwin, i wsp.
Wydane: (2020)

Logic and Its Applications
od: Khan, Md. Aquil, i wsp.
Wydane: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
od: Kennedy, Juliette, i wsp.
Wydane: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
od: Sichman, Jaime Simao, i wsp.
Wydane: (2020)

Language and Automata Theory and Applications
od: Martín-Vide, Carlos, i wsp.
Wydane: (2020)

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

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