-
西文图书1.Introduction to the theory of computation = 计算理论导引 / 2nd ed. TP301.5/S618-2
馆藏复本:3
可借复本:2 Michael Sipser著.
China Machine Press, 2006.
(0) 馆藏
-
西文图书2.An introduction to formal languages and automata = 形式语言与自动机导论 / 3rd ed. O141/L762-3
馆藏复本:5
可借复本:4 Peter Linz.
China Machine Press, 2004.
(0) 馆藏
-
西文图书3.An engineering approach to digital design / TN402/F615
馆藏复本:2
可借复本:1 William I. Fletcher.
Prentice-Hall, c1980.
(0) 馆藏
-
西文图书4.Languages and machines : an introduction to the theory of computer science = 语言与机器 : 计算机... TP301/S943-3
馆藏复本:3
可借复本:2 Thomas A. Sudkamp.
清华大学出版社, 2007.
(0) 馆藏
-
西文图书5.Annual Symposium on Foundations of Computer Science [papers]. TP3-53/S989-1
馆藏复本:3
可借复本:1 Symposium on Foundations of Computer Science.
Institute of Electrical and Electronics Engineers]
(0) 馆藏
-
西文图书6.Computability, complexity, and languages : fundamentals of theoretical computer science = 计算理... TP301/D263-2
馆藏复本:3
可借复本:2 Martin D. Davis, Ron Sigal, Elaine J. Weyuker著.
人民邮电出版社, 2009.
(0) 馆藏
-
西文图书7.The complexity of computing / TP302/S264
馆藏复本:2
可借复本:1 John E. Savage.
Wiley, c1976.
(0) 馆藏
-
西文图书8.Introduction to automata theory, languages, and computation = 自动机理论、语言和计算导论 / 3rd ed. TP301.1/H791-3
馆藏复本:3
可借复本:2 John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman 著.
China Machine Press, 2007.
(0) 馆藏