-
西文图书1.Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged... TP301-53/I61
馆藏复本:1
可借复本:0 edited by Ferenc G?ecseg.
Springer-Verlag, 1981.
(0) 馆藏
-
西文图书2.Introduction to the theory of computation = 计算理论导引 / 2nd ed. TP301.5/S618-2
馆藏复本:3
可借复本:2 Michael Sipser著.
China Machine Press, 2006.
(0) 馆藏
-
西文图书3.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) 馆藏
-
西文图书4.Automata, computability and complexity : theory and applications = 自动机理论与应用 / TP301.1/R498
馆藏复本:1
可借复本:0 Elaine Rich著.
清华大学出版社, 2009.
(0) 馆藏
-
西文图书5.Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing : papers pre... O24-53/A849
馆藏复本:1
可借复本:0 sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Comp...
ACM, c1979.
(0) 馆藏
-
西文图书6.Computability, complexity, and languages : fundamentals of theoretical computer science / TP301/D263
馆藏复本:1
可借复本:0 Martin D. Davis, Elaine J. Weyuker.
Academic Press, 1983.
(0) 馆藏
-
西文图书7.Algorithmic information theory : mathematics of digital information processing / TP31/S457
馆藏复本:1
可借复本:0 Peter Seibt.
Springer, 2006.
(0) 馆藏
-
西文图书8.The complexity of computing / TP302/S264
馆藏复本:2
可借复本:1 John E. Savage.
Wiley, c1976.
(0) 馆藏
-
西文图书9.Languages and machines : an introduction to the theory of computer science = 语言与机器 : 计算机... TP301/S943-3
馆藏复本:3
可借复本:2 Thomas A. Sudkamp.
清华大学出版社, 2007.
(0) 馆藏
-
西文图书10.Theory of computation / O24/W874
馆藏复本:1
可借复本:0 Derick Wood.
Harper & Row, c1987.
(0) 馆藏
-
西文图书11.Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbsk?e Pleso,... TP3-53/S989
馆藏复本:1
可借复本:0 edited by J. Gruska and M. Chytil.
Springer-Verlag, 1981.
(0) 馆藏
-
西文图书12.Computability, complexity, and languages : fundamentals of theoretical computer science = 计算理... TP301/D263-2
馆藏复本:3
可借复本:2 Martin D. Davis, Ron Sigal, Elaine J. Weyuker著.
人民邮电出版社, 2009.
(0) 馆藏