An introduction to formal languages and machine computation /

QR Kodea

An introduction to formal languages and machine computation /

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Yan, Song Y.
Formatua:	Sách giấy
Argitaratua:	Singapore ; River Edge, N.J. : World Scientific, c1998.
Gaiak:	Formal languages. Machine theory.
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Antzeko izenburuak

Introduction to languages and the theory of computation /
nork: Martin, John C.
Argitaratua: (2011)

Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers /
Argitaratua: (2001)

An Introduction to Formal Languages and Automata (Photo) /
nork: Linz Peter
Argitaratua: (1990)

An introduction to formal languages and automata
nork: Linz, Peter
Argitaratua: (2012)

Information, randomness & incompleteness : papers on algorithmic information theory /
nork: Chaitin, Gregory J.
Argitaratua: (1987)

Information, randomness & incompleteness : papers on algorithmic information theory /
nork: Chaitin, Gregory J.
Argitaratua: (1987)

Finiteness and regularity in semigroups and formal languages /
nork: De Luca, A.
Argitaratua: (1999)

Elements of the theory of computation /
nork: Lewis, Harry R.
Argitaratua: (1998)

Introduction to automata theory, language, and computation
nork: Hopcroft, John E.
Argitaratua: (2007)

Teaching Formal Methods
Argitaratua: (2020)

Introduction to languages and the theory of computation
nork: John Martin
Argitaratua: (2003)

Introduction to languages and the theory of computation
nork: Martin, John C.

Introduction to languages and the theory of computation
nork: Martin, John C.

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

Introduction to languages and the theory of computation /
nork: Martin, John C.
Argitaratua: (1997)

Semigroups, algorithms, automata, and languages :
Argitaratua: (2002)

Cơ sở lý thuyết tính toán =
nork: Hopcroft, J.
Argitaratua: (2003)

Introduction to Formal Philosophy. 1st ed.
nork: Hansson, Sven Ove, et al.
Argitaratua: (2020)

Problem solving in automata, languages, and complexity
nork: Ding-zhu Du
Argitaratua: (2001)

Readings in Formal Epistemology. 1st ed.
nork: Arló-Costa, Horacio, et al.
Argitaratua: (2020)

Logic, Language, and Computation
Argitaratua: (2020)

Introduction to languages and the theory of computation
nork: Martin, John C.
Argitaratua: (2011)

Formal Concept Analysis
nork: Ganter, Bernhard, et al.
Argitaratua: (2020)

Formal Methods: Foundations and Applications
nork: Davies, Jim, et al.
Argitaratua: (2015)

Proceedings of the workshop semigroups and languages
Argitaratua: (2004)

Concise Guide to Formal Methods
nork: O'Regan, Gerard
Argitaratua: (2020)

Pillars of Computer Science
nork: Avron, Arnon, et al.
Argitaratua: (2020)

Computer Science Logic
Argitaratua: (2020)

Theory of computational complexity /
nork: Du, Dingzhu.
Argitaratua: (2000)

Formal Grammar
nork: Foret, Annie, et al.
Argitaratua: (2020)

Formalization and theoretical analysis of the local effect model /
nork: Beuve, M.

Introduction to languages and the theory of computation
nork: Martin, John C.
Argitaratua: (2011)

Formal Correctness of Security Protocols
nork: Bella, Giampaolo
Argitaratua: (2020)

Logic, Language, and Computation
Argitaratua: (2020)

Logic, Language, Information, and Computation
nork: Moss, Lawrence S., et al.
Argitaratua: (2020)

Formal Concept Analysis
nork: Medina, Raoul, et al.
Argitaratua: (2020)

Formal Concept Analysis
nork: Kuznetsov, Sergei O., et al.
Argitaratua: (2020)

Formal Grammar 2018
nork: Foret, Annie, et al.
Argitaratua: (2020)

Formal Concept Analysis
Argitaratua: (2020)

Formal Methods Teaching
nork: Dongol, Brijesh, et al.
Argitaratua: (2020)