Computability, complexity, and languages :

Codi QR

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

Guardat en:

Dades bibliogràfiques
Autor principal:	Davis, Martin
Format:	Llibre
Idioma:	Undetermined
Publicat:	Boston Academic Press 1994
Matèries:	Computational complexity,Tính toán phức tạp Formal languages,Ngôn ngữ chính thức
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

Elements of the theory of computation /
per: Lewis, Harry R.
Publicat: (1998)

Logic, Language, and Computation
Publicat: (2020)

Theory of computational complexity /
per: Du, Dingzhu.
Publicat: (2000)

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

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

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

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

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

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

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

Language, Logic, and Computation
per: Silva, Alexandra, et al.
Publicat: (2020)

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

Logic, Language, and Computation
Publicat: (2020)

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

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

An Introduction to Formal Languages and Automata (Photo) /
per: Linz Peter
Publicat: (1990)

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

Logic and language models for computer science
per: Henry Hamburger
Publicat: (2002)

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

Complexity and real computation /
Publicat: (1998)

Complexity and real computation /
Publicat: (1998)

Language and Automata Theory and Applications
per: Drewes, Frank, et al.
Publicat: (2020)

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

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

Language in Complexity
per: Mantia, Francesco La, et al.
Publicat: (2020)

Complex variables :
per: Ablowitz, Mark J.
Publicat: (2003)

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

Machine Learning: ECML 2007
per: Kok, Joost N., et al.
Publicat: (2020)

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

Theory and Applications of Satisfiability Testing
Publicat: (2020)

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

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

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

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

Introducing the theory of computation
per: Goddard, Wayne
Publicat: (2008)

Pillars of Computer Science
per: Avron, Arnon, et al.
Publicat: (2020)

Computer Science Logic
Publicat: (2020)

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

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_d1qek61t3sg98besfjjs2to353
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235