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

QR-koodi

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

Näytä muut versiot (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

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Hopcroft, J.
Aineistotyyppi:	Kirja
Kieli:	Undetermined
Julkaistu:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
Aiheet:	Toán học,Machine theory,Formal languages,Computational complexity
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

Elements of the theory of computation /
Tekijä: Lewis, Harry R.
Julkaistu: (1998)

An introduction to formal languages and machine computation /
Tekijä: Yan, Song Y.
Julkaistu: (1998)

Introduction to automata theory, language, and computation
Tekijä: Hopcroft, John E.
Julkaistu: (2007)

Algorithmic information theory
Tekijä: Chaitin, Gregory J.
Julkaistu: (2004)

Information, randomness & incompleteness : papers on algorithmic information theory /
Tekijä: Chaitin, Gregory J.
Julkaistu: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
Tekijä: Chaitin, Gregory J.
Julkaistu: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
Tekijä: Chaitin, Gregory J.
Julkaistu: (1987)

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

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

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

Teaching Formal Methods
Julkaistu: (2020)

Frontiers of Combining Systems
Tekijä: Konev, Boris, et al.
Julkaistu: (2020)

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

Frontiers of Combining Systems
Tekijä: Gramlich, Bernhard
Julkaistu: (2020)

Frontiers of Combining Systems
Julkaistu: (2020)

Pillars of Computer Science
Tekijä: Avron, Arnon, et al.
Julkaistu: (2020)

Fuzzy Systems and Knowledge Discovery
Tekijä: Wang, Lipo, et al.
Julkaistu: (2020)

Computer Science Logic
Julkaistu: (2020)

Theorem Proving in Higher Order Logics
Tekijä: Schneider, Klaus, et al.
Julkaistu: (2020)

Computability, complexity, and languages :
Tekijä: Davis, Martin
Julkaistu: (1994)

Introducing the theory of computation
Tekijä: Goddard, Wayne
Julkaistu: (2008)

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

Machine Learning: ECML 2007
Tekijä: Kok, Joost N., et al.
Julkaistu: (2020)

Theory and Applications of Satisfiability Testing
Tekijä: Hoos, Holger H., et al.
Julkaistu: (2020)

Natural Language Processing – IJCNLP 2005
Tekijä: Dale, Robert, et al.
Julkaistu: (2020)

Theory and Applications of Satisfiability Testing
Julkaistu: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Tekijä: Butler, Michael, et al.
Julkaistu: (2020)

KI 2017: Advances in Artificial Intelligence
Tekijä: Kern-Isberner, Gabriele, et al.
Julkaistu: (2020)

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

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

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

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

Problem solving in automata, languages, and complexity
Tekijä: Ding-zhu Du
Julkaistu: (2001)

Robustness and Usability in Modern Design Flows
Tekijä: Fey, Görschwin, et al.
Julkaistu: (2020)

Logic and Its Applications
Tekijä: Khan, Md. Aquil, et al.
Julkaistu: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
Tekijä: Kennedy, Juliette, et al.
Julkaistu: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Tekijä: Sichman, Jaime Simao, et al.
Julkaistu: (2020)

Language and Automata Theory and Applications
Tekijä: Martín-Vide, Carlos, et al.
Julkaistu: (2020)

An Introduction to Formal Languages and Automata (Photo) /
Tekijä: Linz Peter
Julkaistu: (1990)

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