Automata and formal languages : an introduction /

Automata and formal languages : an introduction /

57

Manylion Llyfryddiaeth
Prif Awdur:	357063 Kelley, Dean
Fformat:
Cyhoeddwyd:	Englewood Cliffs, NJ : Prentice Hall, 1995
Pynciau:	Computer science Programming languages (Electronic computers) Robots

Eitemau Tebyg

Automata, languages and programming : proceedings /
gan: 11198 International Colloquium on Automata, Languages and Programming, et al.
Cyhoeddwyd: (1974)

Formal languages, automata and numeration systems 1 /
gan: Rigo, Michel, author
Cyhoeddwyd: (2014)

Definition of programming languages by interpreting automata /
gan: 399844 Ollongren, Alexander
Cyhoeddwyd: (1974)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
gan: PPSKOM, Pusat Pengajian Sains Komputer
Cyhoeddwyd: (2021)

Formal Languages, Formally and Coinductively
gan: Dmitriy Traytel
Cyhoeddwyd: (2017-09-01)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2017
gan: PPSKOM, Pusat Pengajian Sains Komputer
Cyhoeddwyd: (2017)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2016
gan: PPSKOM, Pusat Pengajian Sains Komputer
Cyhoeddwyd: (2016)

Formal specification of interactive graphics programming languages /
gan: 456219 Mallgren, William R.
Cyhoeddwyd: (1983)

Understanding Z : a specification language and its formal semantics /
gan: 201842 Spivey, J. M.
Cyhoeddwyd: (1988)

An introduction to formal languages and automata /
gan: Linz, Peter, author
Cyhoeddwyd: (c201)

An introduction to formal languages and automata /
gan: 205539 Linz, Peter
Cyhoeddwyd: (2006)

An introduction to formal languages and automata /
gan: 205539 Linz, Peter
Cyhoeddwyd: (2001)

Introduction to the theory of programming languages /
gan: Meyer, Bertrand, 1950-
Cyhoeddwyd: (1990)

Languages for sensor-based control in robotics/
gan: Rembold, Ulrich, et al.
Cyhoeddwyd: (1987)

Introduction to programming languages /
gan: 588594 Bansal, Arvind Kumar
Cyhoeddwyd: (2014)

An introduction to computer languages
gan: 179948 Heaps, H.

CPT314 - AUTOMATA THEORY & FORMAL LANGUAGES MAC 05.
gan: PPSKOM, Pusat Pengajian Sains Komputer
Cyhoeddwyd: (2005)

CPT443 - Automata Theory & Formal Languages June 2019
gan: PPSKOM, Pusat Pengajian Sains Komputer
Cyhoeddwyd: (2019)

CPT443 – Automata Theory & Formal Languages June 2018
gan: PPSKOM, Pusat Pengajian Sains Komputer
Cyhoeddwyd: (2018)

CPT314 - Automata Theory & Formal Languages - March 2005
gan: PPSKOM, Pusat Pengajian Sains Komputer
Cyhoeddwyd: (2005)

Introduction to programming languages /
gan: 403469 Katzan, Harry
Cyhoeddwyd: (1973)

Introduction to programming languages /
gan: 451013 Peterson, W. Wesley
Cyhoeddwyd: (1974)

Data optimizations for constraint automata
gan: Sung-Shik T. Q. Jongmans, et al.
Cyhoeddwyd: (2017-04-01)

Visual languages for interactive computing : definitions and formalizations /
gan: Ferri, Fernando
Cyhoeddwyd: (2008)

An introduction to the study of programming languages /
gan: 365366 Barron, D. W.
Cyhoeddwyd: (1977)

CPT 314 - AUTOMATA THEORY & FORMAL LANGUAGES MARCH 05 - BI.
gan: PPSKOM, Pusat Pengajian Sains Komputer
Cyhoeddwyd: (2005)

CSA 402 - FINITE AUTOMATA AND FORMAL LANGUAGES MAC-APR 1996.
gan: PPSKOM, Pusat Pengajian Sains Komputer
Cyhoeddwyd: (1996)

An introduction to the WATFOR and WATFIV programming languages /
gan: 260793 Basso, David T., et al.
Cyhoeddwyd: (1973)

An introduction to formal specification and Z /
gan: 377490 Potter, Ben, et al.
Cyhoeddwyd: (1991)

Introduction to computer science using the turing programming language /
gan: 217982 Holt, Richard C., et al.
Cyhoeddwyd: (1984)

Automata, languages and programming /
gan: Michaelson, S
Cyhoeddwyd: (1976)

The denotational description of programming languages : an introduction /
gan: 240486 Gordon, Michael J. C.
Cyhoeddwyd: (1979)

History-Register Automata
gan: Radu Grigore, et al.
Cyhoeddwyd: (2016-03-01)

Introduction to computer science : FORTRAN language programming /
gan: 387343 Walker, Terry M.
Cyhoeddwyd: (1972)

Theory of finite automata : with an introduction to formal languages /
gan: Carroll, John, 1951-, et al.
Cyhoeddwyd: (1989)

Formal models of communicating systems : languages, automata, and monadic second-order logic /
gan: 428469 Bollig, Benedikt
Cyhoeddwyd: (2006)

An introduction to the basic language /
gan: 422182 Skelton, John E.
Cyhoeddwyd: (1971)

Automata, languages and machines /
gan: 430157 Eilenberg, Samuel
Cyhoeddwyd: (1974)

Time-shared computer languages : an introduction to conversational computing /
gan: 378174 Schur, Lee David
Cyhoeddwyd: (1973)

Software tools for experimenting with cellular automata
gan: Choi, Inwhan
Cyhoeddwyd: (2018)