Computability, complexity, and languages :

QR Kodea

Computability, complexity, and languages : Fundamentals of theoretical computer science

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Davis, Martin
Formatua:	Liburua
Hizkuntza:	Undetermined
Argitaratua:	Boston Academic Press 1994
Gaiak:	Computational complexity,Tính toán phức tạp Formal languages,Ngôn ngữ chính thức
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Antzeko izenburuak

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

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

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

Logic, Language, and Computation
Argitaratua: (2020)

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

Logic, Language, Information, and Computation. 1st ed. 2017
nork: Kennedy, Juliette, et al.
Argitaratua: (2020)

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

Natural Language Processing – IJCNLP 2005
nork: Dale, Robert, et al.
Argitaratua: (2020)

Graph Theory, Computational Intelligence and Thought
Argitaratua: (2020)

Language and Automata Theory and Applications
nork: Martín-Vide, Carlos, et al.
Argitaratua: (2020)

An introduction to formal languages and machine computation /
nork: Yan, Song Y.
Argitaratua: (1998)

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

Language, Logic, and Computation
nork: Silva, Alexandra, et al.
Argitaratua: (2020)

Cellular Automata and Discrete Complex Systems
nork: Baetens, Jan M., et al.
Argitaratua: (2020)

Logic, Language, and Computation
Argitaratua: (2020)

Lý thuyết ngôn ngữ hình thức và Otomat
nork: Đặng, Huy Ruận
Argitaratua: (2002)

Theory and Applications of Models of Computation. 1st ed. 2017
nork: Gopal, T.V., et al.
Argitaratua: (2020)

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

Computational Processing of the Portuguese Language
nork: Villavicencio, Aline, et al.
Argitaratua: (2020)

Logic and language models for computer science
nork: Henry Hamburger
Argitaratua: (2002)

Logics of Specification Languages
nork: Bjørner, Dines, et al.
Argitaratua: (2020)

Complexity and real computation /
Argitaratua: (1998)

Complexity and real computation /
Argitaratua: (1998)

Language and Automata Theory and Applications
nork: Drewes, Frank, et al.
Argitaratua: (2020)

Human Language Technology. Challenges for Computer Science and Linguistics
nork: Vetulani, Zygmunt, et al.
Argitaratua: (2020)

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

Language in Complexity
nork: Mantia, Francesco La, et al.
Argitaratua: (2020)

Deontic Logic in Computer Science
nork: Meyden, Ron van der, et al.
Argitaratua: (2020)

Complex variables :
nork: Ablowitz, Mark J.
Argitaratua: (2003)

Machine Learning: ECML 2007
nork: Kok, Joost N., et al.
Argitaratua: (2020)

Theory and Applications of Satisfiability Testing
nork: Hoos, Holger H., et al.
Argitaratua: (2020)

Theory and Applications of Satisfiability Testing
Argitaratua: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
nork: Butler, Michael, et al.
Argitaratua: (2020)

KI 2017: Advances in Artificial Intelligence
nork: Kern-Isberner, Gabriele, et al.
Argitaratua: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
nork: Marques-Silva, Joao, et al.
Argitaratua: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
Argitaratua: (2020)

Introducing the theory of computation
nork: Goddard, Wayne
Argitaratua: (2008)

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

Computer Science Logic
Argitaratua: (2020)

Complexity and cryptography: An introduction
nork: Welsh, D J A, et al.
Argitaratua: (2013)