Computability, complexity, and languages :

Mã QR

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

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Davis, Martin
Format:	Bog
Sprog:	Undetermined
Udgivet:	Boston Academic Press 1994
Fag:	Computational complexity,Tính toán phức tạp Formal languages,Ngôn ngữ chính thức
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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

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

Elements of the theory of computation /
af: Lewis, Harry R.
Udgivet: (1998)

Logic, Language, and Computation
Udgivet: (2020)

Theory of computational complexity /
af: Du, Dingzhu.
Udgivet: (2000)

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

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

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

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

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

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

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

Language, Logic, and Computation
af: Silva, Alexandra, et al.
Udgivet: (2020)

Logic, Language, and Computation
Udgivet: (2020)

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

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

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

An Introduction to Formal Languages and Automata (Photo) /
af: Linz Peter
Udgivet: (1990)

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

Logic and language models for computer science
af: Henry Hamburger
Udgivet: (2002)

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

Complexity and real computation /
Udgivet: (1998)

Complexity and real computation /
Udgivet: (1998)

Language and Automata Theory and Applications
af: Drewes, Frank, et al.
Udgivet: (2020)

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

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

Language in Complexity
af: Mantia, Francesco La, et al.
Udgivet: (2020)

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

Complex variables :
af: Ablowitz, Mark J.
Udgivet: (2003)

Machine Learning: ECML 2007
af: Kok, Joost N., et al.
Udgivet: (2020)

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

Theory and Applications of Satisfiability Testing
Udgivet: (2020)

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

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

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

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

Introducing the theory of computation
af: Goddard, Wayne
Udgivet: (2008)

Pillars of Computer Science
af: Avron, Arnon, et al.
Udgivet: (2020)

Computer Science Logic
Udgivet: (2020)

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