Computability, complexity, and languages :

QR-koodi

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

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Davis, Martin
Aineistotyyppi:	Kirja
Kieli:	Undetermined
Julkaistu:	Boston Academic Press 1994
Aiheet:	Computational complexity,Tính toán phức tạp Formal languages,Ngôn ngữ chính thức
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

Introduction to automata theory, language, and computation
Tekijä: Hopcroft, John E.
Julkaistu: (2007)

Problem solving in automata, languages, and complexity
Tekijä: Ding-zhu Du
Julkaistu: (2001)

Elements of the theory of computation /
Tekijä: Lewis, Harry R.
Julkaistu: (1998)

Logic, Language, and Computation
Julkaistu: (2020)

Theory of computational complexity /
Tekijä: Du, Dingzhu.
Julkaistu: (2000)

Logic, Language, Information, and Computation. 1st ed. 2017
Tekijä: Kennedy, Juliette, et al.
Julkaistu: (2020)

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

Natural Language Processing – IJCNLP 2005
Tekijä: Dale, Robert, et al.
Julkaistu: (2020)

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

Language and Automata Theory and Applications
Tekijä: Martín-Vide, Carlos, et al.
Julkaistu: (2020)

An introduction to formal languages and machine computation /
Tekijä: Yan, Song Y.
Julkaistu: (1998)

Logic, Language, Information, and Computation
Tekijä: Moss, Lawrence S., et al.
Julkaistu: (2020)

Language, Logic, and Computation
Tekijä: Silva, Alexandra, et al.
Julkaistu: (2020)

Logic, Language, and Computation
Julkaistu: (2020)

Cellular Automata and Discrete Complex Systems
Tekijä: Baetens, Jan M., et al.
Julkaistu: (2020)

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

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

An Introduction to Formal Languages and Automata (Photo) /
Tekijä: Linz Peter
Julkaistu: (1990)

Computational Processing of the Portuguese Language
Tekijä: Villavicencio, Aline, et al.
Julkaistu: (2020)

Logic and language models for computer science
Tekijä: Henry Hamburger
Julkaistu: (2002)

Logics of Specification Languages
Tekijä: Bjørner, Dines, et al.
Julkaistu: (2020)

Complexity and real computation /
Julkaistu: (1998)

Complexity and real computation /
Julkaistu: (1998)

Language and Automata Theory and Applications
Tekijä: Drewes, Frank, et al.
Julkaistu: (2020)

Finiteness and regularity in semigroups and formal languages /
Tekijä: De Luca, A.
Julkaistu: (1999)

Human Language Technology. Challenges for Computer Science and Linguistics
Tekijä: Vetulani, Zygmunt, et al.
Julkaistu: (2020)

Language in Complexity
Tekijä: Mantia, Francesco La, et al.
Julkaistu: (2020)

Deontic Logic in Computer Science
Tekijä: Meyden, Ron van der, et al.
Julkaistu: (2020)

Complex variables :
Tekijä: Ablowitz, Mark J.
Julkaistu: (2003)

Machine Learning: ECML 2007
Tekijä: Kok, Joost N., et al.
Julkaistu: (2020)

Theory and Applications of Satisfiability Testing
Tekijä: Hoos, Holger H., et al.
Julkaistu: (2020)

Theory and Applications of Satisfiability Testing
Julkaistu: (2020)

Abstract State Machines, Alloy, B, TLA, VDM, and Z
Tekijä: Butler, Michael, et al.
Julkaistu: (2020)

KI 2017: Advances in Artificial Intelligence
Tekijä: Kern-Isberner, Gabriele, et al.
Julkaistu: (2020)

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

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

Introducing the theory of computation
Tekijä: Goddard, Wayne
Julkaistu: (2008)

Pillars of Computer Science
Tekijä: Avron, Arnon, et al.
Julkaistu: (2020)

Computer Science Logic
Julkaistu: (2020)

Complexity and cryptography: An introduction
Tekijä: Welsh, D J A, et al.
Julkaistu: (2013)