An introduction to formal languages and machine computation /

Mã QR

An introduction to formal languages and machine computation /

Đã lưu trong:

Sonraí Bibleagrafaíochta
Príomhúdar:	Yan, Song Y.
Formáid:	Sách giấy
Foilsithe:	Singapore ; River Edge, N.J. : World Scientific, c1998.
Ábhair:	Formal languages. Machine theory.
Clibeanna:	Cuir Clib Leis Gan Chlibeanna, Bí ar an gcéad duine leis an taifead seo a chlibeáil!

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

Míreanna Comhchosúla

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

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

An Introduction to Formal Languages and Automata (Photo) /
le: Linz Peter
Foilsithe: (1990)

An introduction to formal languages and automata
le: Linz, Peter
Foilsithe: (2012)

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

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

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

Elements of the theory of computation /
le: Lewis, Harry R.
Foilsithe: (1998)

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

Teaching Formal Methods
Foilsithe: (2020)

Introduction to languages and the theory of computation
le: John Martin
Foilsithe: (2003)

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

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

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

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

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

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

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

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

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

Logic, Language, and Computation
Foilsithe: (2020)

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

Formal Concept Analysis
le: Ganter, Bernhard, et al.
Foilsithe: (2020)

Formal Methods: Foundations and Applications
le: Davies, Jim, et al.
Foilsithe: (2015)

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

Theory of computational complexity /
le: Du, Dingzhu.
Foilsithe: (2000)

Concise Guide to Formal Methods
le: O'Regan, Gerard
Foilsithe: (2020)

Pillars of Computer Science
le: Avron, Arnon, et al.
Foilsithe: (2020)

Computer Science Logic
Foilsithe: (2020)

Formal Grammar
le: Foret, Annie, et al.
Foilsithe: (2020)

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

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

Formal Correctness of Security Protocols
le: Bella, Giampaolo
Foilsithe: (2020)

Logic, Language, and Computation
Foilsithe: (2020)

Introduction to machine learning /
le: Nilsson, Nils J.
Foilsithe: (1996)

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

Formal Concept Analysis
le: Medina, Raoul, et al.
Foilsithe: (2020)

Formal Concept Analysis
le: Kuznetsov, Sergei O., et al.
Foilsithe: (2020)

Formal Grammar 2018
le: Foret, Annie, et al.
Foilsithe: (2020)

Formal Concept Analysis
Foilsithe: (2020)