An Introduction to Formal Languages and Automata (Photo) /

Mã QR

An Introduction to Formal Languages and Automata (Photo) /

1. Introduction to the Theory of Computation

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Linz Peter
Định dạng:	Sách
Ngôn ngữ:	Vietnamese
Được phát hành:	Canada : D.C. Heath and Company , 1990
Những chủ đề:	Computer Science Formal Languages and Automata
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ữ:	Thư viện Trường CĐ Kỹ Thuật Cao Thắng

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

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

An Introduction to formal languages and automata (photo) /
Bỡi: P Linz
Được phát hành: (1990)

An introduction to formal languages and automata
Bỡi: Linz, Peter
Được phát hành: (2012)

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

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

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

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

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

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

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

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.

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)

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)

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

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

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

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

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 /

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

Modal logics are coalgebraic /

A new combined differential-discrete cellular automaton approach for biofilm modeling : Application for growth in gel beads /
Bỡi: Picioreanu, Cristian.

Language in use (photo) /
Bỡi: Doff Adrian
Được phát hành: (2001)

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

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

Automata and languages : Theory and applications
Bỡi: Meduna, Alexander
Được phát hành: (2010)

Discrete structures and automata theory
Bỡi: Dube, Rakesh
Được phát hành: (2006)

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

Mathematical Aspects of Natural and Formal Languages
Bỡi: Paun, Gheorghe
Được phát hành: (1994)

Formal software development :
Bỡi: Charatan, Quentin
Được phát hành: (2004)

Robot brains :
Bỡi: Haikonen, Pentti O.
Được phát hành: (2007)

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

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

An introduction to language
Được phát hành: (1990)

An introduction to language
Bỡi: Fromkin, Victoria
Được phát hành: (1998)

An introduction to language
Bỡi: Fromkin, Victoria
Được phát hành: (2003)

An introduction to language /
Bỡi: Fromkin, Victoria.
Được phát hành: (2014)

An introduction to language /
Bỡi: Fromkin, Victoria.
Được phát hành: (1978)