An introduction to formal languages and machine computation /

Codi QR

An introduction to formal languages and machine computation /

Guardat en:

Dades bibliogràfiques
Autor principal:	Yan, Song Y.
Format:	Sách giấy
Publicat:	Singapore ; River Edge, N.J. : World Scientific, c1998.
Matèries:	Formal languages. Machine theory.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

An Introduction to Formal Languages and Automata (Photo) /
per: Linz Peter
Publicat: (1990)

An introduction to formal languages and automata
per: Linz, Peter
Publicat: (2012)

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

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

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

Elements of the theory of computation /
per: Lewis, Harry R.
Publicat: (1998)

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

Teaching Formal Methods
Publicat: (2020)

Introduction to languages and the theory of computation
per: John Martin
Publicat: (2003)

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

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

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

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

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

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

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

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

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

Logic, Language, and Computation
Publicat: (2020)

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

Formal Concept Analysis
per: Ganter, Bernhard, et al.
Publicat: (2020)

Formal Methods: Foundations and Applications
per: Davies, Jim, et al.
Publicat: (2015)

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

Concise Guide to Formal Methods
per: O'Regan, Gerard
Publicat: (2020)

Pillars of Computer Science
per: Avron, Arnon, et al.
Publicat: (2020)

Computer Science Logic
Publicat: (2020)

Theory of computational complexity /
per: Du, Dingzhu.
Publicat: (2000)

Formal Grammar
per: Foret, Annie, et al.
Publicat: (2020)

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

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

Formal Correctness of Security Protocols
per: Bella, Giampaolo
Publicat: (2020)

Logic, Language, and Computation
Publicat: (2020)

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

Formal Concept Analysis
per: Medina, Raoul, et al.
Publicat: (2020)

Formal Concept Analysis
per: Kuznetsov, Sergei O., et al.
Publicat: (2020)

Formal Grammar 2018
per: Foret, Annie, et al.
Publicat: (2020)

Formal Concept Analysis
Publicat: (2020)

Introduction to machine learning /
per: Nilsson, Nils J.
Publicat: (1996)