Computability, complexity, and languages :

Mã QR

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

Đã lưu trong:

书目详细资料
主要作者:	Davis, Martin
格式:	图书
语言:	Undetermined
出版:	Boston Academic Press 1994
主题:	Computational complexity,Tính toán phức tạp Formal languages,Ngôn ngữ chính thức
标签:	添加标签没有标签, 成为第一个标记此记录!

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

相似书籍

Introduction to automata theory, language, and computation
由: Hopcroft, John E.
出版: (2007)

Problem solving in automata, languages, and complexity
由: Ding-zhu Du
出版: (2001)

Logic, Language, and Computation
出版: (2020)

Elements of the theory of computation /
由: Lewis, Harry R.
出版: (1998)

Theory of computational complexity /
由: Du, Dingzhu.
出版: (2000)

Logic, Language, Information, and Computation. 1st ed. 2017
由: Kennedy, Juliette, et al.
出版: (2020)

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

Natural Language Processing – IJCNLP 2005
由: Dale, Robert, et al.
出版: (2020)

Graph Theory, Computational Intelligence and Thought
出版: (2020)

An introduction to formal languages and machine computation /
由: Yan, Song Y.
出版: (1998)

Language and Automata Theory and Applications
由: Martín-Vide, Carlos, et al.
出版: (2020)

Logic, Language, Information, and Computation
由: Moss, Lawrence S., et al.
出版: (2020)

Language, Logic, and Computation
由: Silva, Alexandra, et al.
出版: (2020)

Logic, Language, and Computation
出版: (2020)

Cellular Automata and Discrete Complex Systems
由: Baetens, Jan M., et al.
出版: (2020)

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

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

An Introduction to Formal Languages and Automata (Photo) /
由: Linz Peter
出版: (1990)

Computational Processing of the Portuguese Language
由: Villavicencio, Aline, et al.
出版: (2020)

Logic and language models for computer science
由: Henry Hamburger
出版: (2002)

Logics of Specification Languages
由: Bjørner, Dines, et al.
出版: (2020)

Complexity and real computation /
出版: (1998)

Complexity and real computation /
出版: (1998)

Finiteness and regularity in semigroups and formal languages /
由: De Luca, A.
出版: (1999)

Complex variables :
由: Ablowitz, Mark J.
出版: (2003)

Language and Automata Theory and Applications
由: Drewes, Frank, et al.
出版: (2020)

Human Language Technology. Challenges for Computer Science and Linguistics
由: Vetulani, Zygmunt, et al.
出版: (2020)

Language in Complexity
由: Mantia, Francesco La, et al.
出版: (2020)

Deontic Logic in Computer Science
由: Meyden, Ron van der, et al.
出版: (2020)

Introducing the theory of computation
由: Goddard, Wayne
出版: (2008)

Machine Learning: ECML 2007
由: Kok, Joost N., et al.
出版: (2020)

Theory and Applications of Satisfiability Testing
由: Hoos, Holger H., et al.
出版: (2020)

Theory and Applications of Satisfiability Testing
出版: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
由: Butler, Michael, et al.
出版: (2020)

KI 2017: Advances in Artificial Intelligence
由: Kern-Isberner, Gabriele, et al.
出版: (2020)

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

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

Pillars of Computer Science
由: Avron, Arnon, et al.
出版: (2020)

Computer Science Logic
出版: (2020)

Complexity and cryptography: An introduction
由: Welsh, D J A, et al.
出版: (2013)