Computability, complexity, and languages :

Código QR (código de barras bidimensional)

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

Na minha lista:

Detalhes bibliográficos
Autor principal:	Davis, Martin
Formato:	Livro
Idioma:	Undetermined
Publicado em:	Boston Academic Press 1994
Assuntos:	Computational complexity,Tính toán phức tạp Formal languages,Ngôn ngữ chính thức
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

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

Registros relacionados

Introduction to automata theory, language, and computation
por: Hopcroft, John E.
Publicado em: (2007)

Problem solving in automata, languages, and complexity
por: Ding-zhu Du
Publicado em: (2001)

Logic, Language, and Computation
Publicado em: (2020)

Elements of the theory of computation /
por: Lewis, Harry R.
Publicado em: (1998)

Theory of computational complexity /
por: Du, Dingzhu.
Publicado em: (2000)

Logic, Language, Information, and Computation. 1st ed. 2017
por: Kennedy, Juliette, et al.
Publicado em: (2020)

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

Natural Language Processing – IJCNLP 2005
por: Dale, Robert, et al.
Publicado em: (2020)

Graph Theory, Computational Intelligence and Thought
Publicado em: (2020)

An introduction to formal languages and machine computation /
por: Yan, Song Y.
Publicado em: (1998)

Language and Automata Theory and Applications
por: Martín-Vide, Carlos, et al.
Publicado em: (2020)

Logic, Language, Information, and Computation
por: Moss, Lawrence S., et al.
Publicado em: (2020)

Language, Logic, and Computation
por: Silva, Alexandra, et al.
Publicado em: (2020)

Logic, Language, and Computation
Publicado em: (2020)

Cellular Automata and Discrete Complex Systems
por: Baetens, Jan M., et al.
Publicado em: (2020)

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

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

An Introduction to Formal Languages and Automata (Photo) /
por: Linz Peter
Publicado em: (1990)

Computational Processing of the Portuguese Language
por: Villavicencio, Aline, et al.
Publicado em: (2020)

Logic and language models for computer science
por: Henry Hamburger
Publicado em: (2002)

Logics of Specification Languages
por: Bjørner, Dines, et al.
Publicado em: (2020)

Complexity and real computation /
Publicado em: (1998)

Complexity and real computation /
Publicado em: (1998)

Finiteness and regularity in semigroups and formal languages /
por: De Luca, A.
Publicado em: (1999)

Language and Automata Theory and Applications
por: Drewes, Frank, et al.
Publicado em: (2020)

Complex variables :
por: Ablowitz, Mark J.
Publicado em: (2003)

Human Language Technology. Challenges for Computer Science and Linguistics
por: Vetulani, Zygmunt, et al.
Publicado em: (2020)

Language in Complexity
por: Mantia, Francesco La, et al.
Publicado em: (2020)

Deontic Logic in Computer Science
por: Meyden, Ron van der, et al.
Publicado em: (2020)

Introducing the theory of computation
por: Goddard, Wayne
Publicado em: (2008)

Machine Learning: ECML 2007
por: Kok, Joost N., et al.
Publicado em: (2020)

Theory and Applications of Satisfiability Testing
por: Hoos, Holger H., et al.
Publicado em: (2020)

Theory and Applications of Satisfiability Testing
Publicado em: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
por: Butler, Michael, et al.
Publicado em: (2020)

KI 2017: Advances in Artificial Intelligence
por: Kern-Isberner, Gabriele, et al.
Publicado em: (2020)

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

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

Pillars of Computer Science
por: Avron, Arnon, et al.
Publicado em: (2020)

Computer Science Logic
Publicado em: (2020)

Complexity and cryptography: An introduction
por: Welsh, D J A, et al.
Publicado em: (2013)