检索到 24 条 主题词=Machine theory. 的结果
-
西文图书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.Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechos... TP31-53/G659
馆藏复本：1
可借复本：0 edited by J. Beécv?aér.
Springer-Verlag, 1979.
(0) 馆藏 -
西文图书3.An introduction to formal languages and automata = 形式语言与自动机导论 / 3rd ed. O141/L762-3
馆藏复本：5
可借复本：4 Peter Linz.
China Machine Press, 2004.
(0) 馆藏 -
西文图书4.An engineering approach to digital design / TN402/F615
馆藏复本：2
可借复本：1 William I. Fletcher.
Prentice-Hall, c1980.
(0) 馆藏 -
西文图书5.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) 馆藏 -
西文图书6.Automata, computability and complexity : theory and applications = 自动机理论与应用 / TP301.1/R498
馆藏复本：1
可借复本：0 Elaine Rich著.
清华大学出版社, 2009.
(0) 馆藏 -
西文图书7.Semigroups and combinatorial applications / O152/L197
馆藏复本：1
可借复本：0 Gerard Lallement.
Wiley, c1979.
(0) 馆藏 -
西文图书8.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) 馆藏 -
西文图书9.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) 馆藏 -
西文图书10.Applied algebra for the computer sciences / O15/G475
馆藏复本：2
可借复本：0 Arthur Gill.
Prentice-Hall, c1976.
(0) 馆藏 -
西文图书11.Computability, complexity, and languages : fundamentals of theoretical computer science = 计算理... TP301/D263-2
馆藏复本：3
可借复本：2 Martin D. Davis, Ron Sigal, Elaine J. Weyuker著.
人民邮电出版社, 2009.
(0) 馆藏 -
西文期刊12.Journal of computer and system sciences. TP3/48
馆藏复本：17
可借复本：0
Academic Press, 1967-
(0) 馆藏 -
西文图书13.Groups, systems and many-body physics / O571/K89
馆藏复本：1
可借复本：0 Peter Kramer, Mario Dal Cin (Eds.) ; with contributions by A. O. Barut ... [et al.].
Vieweg, 1980.
(0) 馆藏 -
西文图书14.Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / TP31/M453.1
馆藏复本：1
可借复本：0 edited by Hermann A. Maurer.
Springer-Verlag, 1979.
(0) 馆藏 -
西文图书15.Mathematical foundations of programming / TP31/B397
馆藏复本：1
可借复本：0 Frank S. Beckman.
Addison-Wesley, c1980.
(0) 馆藏 -
西文图书16.Algorithmic information theory : mathematics of digital information processing / TP31/S457
馆藏复本：1
可借复本：0 Peter Seibt.
Springer, 2006.
(0) 馆藏 -
西文图书17.The complexity of computing / TP302/S264
馆藏复本：2
可借复本：1 John E. Savage.
Wiley, c1976.
(0) 馆藏 -
西文图书18.Languages and machines : an introduction to the theory of computer science = 语言与机器 : 计算机... TP301/S943-3
馆藏复本：3
可借复本：2 Thomas A. Sudkamp.
清华大学出版社, 2007.
(0) 馆藏 -
西文期刊19.Theoretical computer science. TP3/13
馆藏复本：8
可借复本：0 European Association for Theoretical Computer Science.
North-Holland Pub. Co., 1975-
(0) 馆藏 -
西文图书20.Algebraic automata theory / O233/H725
馆藏复本：1
可借复本：0 W.M.L. Holcombe.
Cambridge University Press, 1982.
(0) 馆藏
