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

QR-Code

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

Weitere Versionen anzeigen (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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hopcroft, J.
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
Schlagworte:	Toán học,Machine theory,Formal languages,Computational complexity
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

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

Ähnliche Einträge

Elements of the theory of computation /
von: Lewis, Harry R.
Veröffentlicht: (1998)

An introduction to formal languages and machine computation /
von: Yan, Song Y.
Veröffentlicht: (1998)

Introduction to automata theory, language, and computation
von: Hopcroft, John E.
Veröffentlicht: (2007)

Algorithmic information theory
von: Chaitin, Gregory J.
Veröffentlicht: (2004)

Information, randomness & incompleteness : papers on algorithmic information theory /
von: Chaitin, Gregory J.
Veröffentlicht: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
von: Chaitin, Gregory J.
Veröffentlicht: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
von: Chaitin, Gregory J.
Veröffentlicht: (1987)

Tin học lý thuyết
von: Võ, Huỳnh Trâm
Veröffentlicht: (2009)

Semigroups, algorithms, automata, and languages :
Veröffentlicht: (2002)

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

Teaching Formal Methods
Veröffentlicht: (2020)

Frontiers of Combining Systems
von: Konev, Boris, et al.
Veröffentlicht: (2020)

Finite Model Theory and Its Applications
von: Grädel, Erich, et al.
Veröffentlicht: (2020)

Frontiers of Combining Systems
von: Gramlich, Bernhard
Veröffentlicht: (2020)

Frontiers of Combining Systems
Veröffentlicht: (2020)

Pillars of Computer Science
von: Avron, Arnon, et al.
Veröffentlicht: (2020)

Fuzzy Systems and Knowledge Discovery
von: Wang, Lipo, et al.
Veröffentlicht: (2020)

Computer Science Logic
Veröffentlicht: (2020)

Theorem Proving in Higher Order Logics
von: Schneider, Klaus, et al.
Veröffentlicht: (2020)

Computability, complexity, and languages :
von: Davis, Martin
Veröffentlicht: (1994)

Introducing the theory of computation
von: Goddard, Wayne
Veröffentlicht: (2008)

Graph Theory, Computational Intelligence and Thought
Veröffentlicht: (2020)

Machine Learning: ECML 2007
von: Kok, Joost N., et al.
Veröffentlicht: (2020)

Theory and Applications of Satisfiability Testing
von: Hoos, Holger H., et al.
Veröffentlicht: (2020)

Natural Language Processing – IJCNLP 2005
von: Dale, Robert, et al.
Veröffentlicht: (2020)

Theory and Applications of Satisfiability Testing
Veröffentlicht: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
von: Butler, Michael, et al.
Veröffentlicht: (2020)

KI 2017: Advances in Artificial Intelligence
von: Kern-Isberner, Gabriele, et al.
Veröffentlicht: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
von: Marques-Silva, Joao, et al.
Veröffentlicht: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
Veröffentlicht: (2020)

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

Theory and Applications of Models of Computation. 1st ed. 2017
von: Gopal, T.V., et al.
Veröffentlicht: (2020)

Problem solving in automata, languages, and complexity
von: Ding-zhu Du
Veröffentlicht: (2001)

Robustness and Usability in Modern Design Flows
von: Fey, Görschwin, et al.
Veröffentlicht: (2020)

Logic and Its Applications
von: Khan, Md. Aquil, et al.
Veröffentlicht: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
von: Kennedy, Juliette, et al.
Veröffentlicht: (2020)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
von: Sichman, Jaime Simao, et al.
Veröffentlicht: (2020)

Language and Automata Theory and Applications
von: Martín-Vide, Carlos, et al.
Veröffentlicht: (2020)

An Introduction to Formal Languages and Automata (Photo) /
von: Linz Peter
Veröffentlicht: (1990)

Proceedings of the workshop semigroups and languages
Veröffentlicht: (2004)