Problem solving in automata, languages, and complexity

Mã QR

Problem solving in automata, languages, and complexity

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Ding-zhu Du
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	New York John Wiley and Sons 2001
Những chủ đề:	automata ( formal languages ),formal languages
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ự

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

Closing a system in the dynamic input/output automata model /
Bỡi: Kapus, Tatjana.

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)

Finiteness and regularity in semigroups and formal languages /
Bỡi: De Luca, A.
Được phát hành: (1999)

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

Automata and Computability
Bỡi: Kozen, Dexter C
Được phát hành: (1997)

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

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

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

Dynamic neighbourhood cellular automata /
Bỡi: Dantchev, Stefan.

Stochastic cellular automata /
Bỡi: Fricke, Thomas.

Proceedings of the workshop semigroups and languages
Được phát hành: (2004)

Ngôn ngữ hình thức
Bỡi: Nguyễn Văn Ba
Được phát hành: (2002)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
Bỡi: Salomaa, Arto
Được phát hành: (1992)

Expansive invertible onesided cellular automata /
Bỡi: Boyle, Mike.

Lý thuyết ngôn ngữ hình thức và Otomat
Bỡi: Đặng, Huy Ruận
Được phát hành: (2002)

Convergence of formal morphisms of completions of complex spaces /
Bỡi: Izumi, Shuzo.

Logic and language models for computer science
Bỡi: Henry Hamburger
Được phát hành: (2002)

Cơ sở lý thuyết tính toán =
Bỡi: Hopcroft, J.
Được phát hành: (2003)

Formalization and theoretical analysis of the local effect model /
Bỡi: Beuve, M.

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

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Được phát hành: (2001)

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

Models of rationally connected manifolds /
Bỡi: Ionescu, Paltin.

The spatial imagination and literary form of Conrad's colonial fictions /
Bỡi: Ho, Janice.

Analysis of the formal specification application for train control systems /
Bỡi: Jo, Hyun-Jeong.

Solving problems through technical and professional writing
Bỡi: Kennedy, George E.
Được phát hành: (1993)

Programming and problem solving with C++ /
Bỡi: Dale, Nell B.
Được phát hành: (1996)

Problem solving with C++
Bỡi: Savitch, Walter J.
Được phát hành: (2015)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Được phát hành: (2001)

Vax-basic with structural problem solving
Bỡi: David G Weinman
Được phát hành: (1988)

Problem solving in C++
Bỡi: Shiflet, Angela B
Được phát hành: (2004)

Problem Solving in C++
Bỡi: Shiflet, Angela B.

Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving

Optimization techniques for solving complex problems
Được phát hành: (2009)

Problem solving, abstraction, and design using C++
Bỡi: Friedman, Frank L.

Mathematical modeling of biofilm structure with a hybrid differential-discrete cellular automaton approach /
Bỡi: Picioreanu, Cristian.

Formal analysis of hybrid prefix/carry-select arithmetic systems /

Pascal programming and problem solving
Bỡi: Leestma, Sanford
Được phát hành: (1993)