Computability, complexity, and languages :

QR koda

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

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Davis, Martin
Format:	Knjiga
Jezik:	Undetermined
Izdano:	Boston Academic Press 1994
Teme:	Computational complexity,Tính toán phức tạp Formal languages,Ngôn ngữ chính thức
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

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

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

Elements of the theory of computation /
od: Lewis, Harry R.
Izdano: (1998)

Logic, Language, and Computation
Izdano: (2020)

Theory of computational complexity /
od: Du, Dingzhu.
Izdano: (2000)

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

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

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

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

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

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

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

Language, Logic, and Computation
od: Silva, Alexandra, et al.
Izdano: (2020)

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

Logic, Language, and Computation
Izdano: (2020)

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

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

An Introduction to Formal Languages and Automata (Photo) /
od: Linz Peter
Izdano: (1990)

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

Logic and language models for computer science
od: Henry Hamburger
Izdano: (2002)

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

Complexity and real computation /
Izdano: (1998)

Complexity and real computation /
Izdano: (1998)

Language and Automata Theory and Applications
od: Drewes, Frank, et al.
Izdano: (2020)

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

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

Language in Complexity
od: Mantia, Francesco La, et al.
Izdano: (2020)

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

Complex variables :
od: Ablowitz, Mark J.
Izdano: (2003)

Machine Learning: ECML 2007
od: Kok, Joost N., et al.
Izdano: (2020)

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

Theory and Applications of Satisfiability Testing
Izdano: (2020)

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

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

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

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

Introducing the theory of computation
od: Goddard, Wayne
Izdano: (2008)

Pillars of Computer Science
od: Avron, Arnon, et al.
Izdano: (2020)

Computer Science Logic
Izdano: (2020)

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