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)