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:

Chi tiết về thư mục
Tác giả chính:	Hopcroft, J.
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	Thành phố Hồ Chí Minh Đại học Quốc gia Thành phố Hồ Chí Minh 2003
Những chủ đề:	Toán học,Machine theory,Formal languages,Computational complexity
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Elements of the theory of computation /
Bỡi: Lewis, Harry R.
Được phát hành: (1998)

An introduction to formal languages and machine computation /
Bỡi: Yan, Song Y.
Được phát hành: (1998)

Introduction to automata theory, language, and computation
Bỡi: Hopcroft, John E.
Được phát hành: (2007)

Algorithmic information theory
Bỡi: Chaitin, Gregory J.
Được phát hành: (2004)

Information, randomness & incompleteness : papers on algorithmic information theory /
Bỡi: Chaitin, Gregory J.
Được phát hành: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
Bỡi: Chaitin, Gregory J.
Được phát hành: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
Bỡi: Chaitin, Gregory J.
Được phát hành: (1987)

Tin học lý thuyết
Bỡi: Võ, Huỳnh Trâm
Được phát hành: (2009)

Semigroups, algorithms, automata, and languages :
Được phát hành: (2002)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Được phát hành: (2002)

Teaching Formal Methods
Được phát hành: (2020)

Frontiers of Combining Systems
Bỡi: Konev, Boris, et al.
Được phát hành: (2020)

Finite Model Theory and Its Applications
Bỡi: Grädel, Erich, et al.
Được phát hành: (2020)

Frontiers of Combining Systems
Bỡi: Gramlich, Bernhard
Được phát hành: (2020)

Frontiers of Combining Systems
Được phát hành: (2020)

Pillars of Computer Science
Bỡi: Avron, Arnon, et al.
Được phát hành: (2020)

Fuzzy Systems and Knowledge Discovery
Bỡi: Wang, Lipo, et al.
Được phát hành: (2020)

Computer Science Logic
Được phát hành: (2020)

Theorem Proving in Higher Order Logics
Bỡi: Schneider, Klaus, et al.
Được phát hành: (2020)

Introducing the theory of computation
Bỡi: Goddard, Wayne
Được phát hành: (2008)

Computability, complexity, and languages :
Bỡi: Davis, Martin
Được phát hành: (1994)

Lý thuyết Automat và ngôn ngữ hình thức
Được phát hành: (2002)

Graph Theory, Computational Intelligence and Thought
Được phát hành: (2020)

Machine Learning: ECML 2007
Bỡi: Kok, Joost N., et al.
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing
Bỡi: Hoos, Holger H., et al.
Được phát hành: (2020)

Natural Language Processing – IJCNLP 2005
Bỡi: Dale, Robert, et al.
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing
Được phát hành: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Bỡi: Butler, Michael, et al.
Được phát hành: (2020)

KI 2017: Advances in Artificial Intelligence
Bỡi: Kern-Isberner, Gabriele, et al.
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
Được phát hành: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
Bỡi: Marques-Silva, Joao, et al.
Được phát hành: (2020)

Problem solving in automata, languages, and complexity
Bỡi: Ding-zhu Du
Được phát hành: (2001)

Theory and Applications of Models of Computation. 1st ed. 2017
Bỡi: Gopal, T.V., et al.
Được phát hành: (2020)

Robustness and Usability in Modern Design Flows
Bỡi: Fey, Görschwin, et al.
Được phát hành: (2020)

Logic and Its Applications
Bỡi: Khan, Md. Aquil, et al.
Được phát hành: (2020)

Logic, Language, Information, and Computation. 1st ed. 2017
Bỡi: Kennedy, Juliette, et al.
Được phát hành: (2020)

Cơ sở lý thuyết tính toán /
Bỡi: Hopcroft, J.
Được phát hành: (2003)

Cơ sở lý thuyết tính toán /
Bỡi: Hopcroft, J.
Được phát hành: (2003)

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Bỡi: Sichman, Jaime Simao, et al.
Được phát hành: (2020)