Formal languages.

Problem solving in automata, languages, and complexity / by: (書目-語言資料,印刷品)

Communication and concurrency / by: (書目-語言資料,印刷品)

Feasible computations and provable complexity properties / by: (書目-電子資源)

Formal models, languages and applications by: (書目-電子資源)

Logic and language models for computer science / by: (書目-語言資料,印刷品)

Machine theory.

Computational complexity.

Compilers (Computer programs)

Formal languages.

Description logics.

Artificial intelligence.