检索到 18 条 主题词=Machine theory 的结果
-
西文期刊1.Journal of computer and system sciences. TP3/27X
馆藏复本：7
可借复本：7
Academic Press, 1967-
(0) 馆藏 -
西文图书2.22nd Annual Symposium on Foundations of Computer Science : the symposium held in Nashville, Tenn., O TP301-53/E32:22
馆藏复本：2
可借复本：2 sponsored by IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
IEEE, 1981.
(0) 馆藏 -
西文图书3.The complexity of computing / TP301/E15
馆藏复本：1
可借复本：1 John E. Savage.
Wiley, c1976.
(0) 馆藏 -
西文图书4.Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / TP31/E85
馆藏复本：1
可借复本：1 edited by Wilfried Brauer.
Springer-Verlag, c1985.
(0) 馆藏 -
西文图书5.Mathematical foundations of programming / TP31/E58
馆藏复本：4
可借复本：4 Frank S. Beckman.
Addison-Wesley, c1980.
(0) 馆藏 -
西文图书6.Algebraic automata theory / O233/E2
馆藏复本：3
可借复本：3 W.M.L. Holcombe.
Cambridge University Press, 1982.
(0) 馆藏 -
西文图书7.21st Annual Symposium on Foundations of Computer Science : Syracuse, Oct. 13-15, 1980 / TP3-53/E22:(80)
馆藏复本：2
可借复本：2 sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computin
IEEE Computer Society, 1980.
(0) 馆藏 -
西文图书8.Introduction to automata theory, languages, and computation / TP27/E4
馆藏复本：4
可借复本：4 John E. Hopcroft, Jeffrey D. Ullman.
Addison-Wesley, c1979.
(0) 馆藏 -
西文图书9.Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, A O24/E2
馆藏复本：5
可借复本：5 edited by Ferenc G?ecseg.
Springer-Verlag, 1981.
(0) 馆藏 -
西文图书10.Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / TP23/E4
馆藏复本：2
可借复本：2 edited by Hermann A. Maurer.
Springer-Verlag, 1979.
(0) 馆藏 -
西文图书11.Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbsk?e Pleso, Cze O29:TP3/E12:(81)
馆藏复本：5
可借复本：5 edited by J. Gruska and M. Chytil.
Springer-Verlag, 1981.
(0) 馆藏 -
西文图书12.18th Annual Symposium on Foundations of Computer Science. TP301-53/E32
馆藏复本：3
可借复本：3 Symposium on Foundations of Computer Science
IEEE Computer Society Press, 1977.
(0) 馆藏 -
西文图书13.30th Annual Symposium on Foundations of Computer Science : Oct. 30 - November 1, 1989, Research Tria TP3-53/E29:30TH(89)
馆藏复本：1
可借复本：1 Symposium on Foundations of Computer Science
IEEE Computer Society Press, c1989.
(0) 馆藏 -
西文图书14.Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 / TP3-53/E5
馆藏复本：1
可借复本：1 edited by K. Weihrauch.
Springer-Verlag, 1979.
(0) 馆藏 -
西文图书15.Introduction to the theory of computation / TP301/37E
馆藏复本：3
可借复本：3 Michael Sipser.
PWS Pub. Co., c1997.
(0) 馆藏 -
西文图书16.Applied algebra for the computer sciences / O29:TP3/E10
馆藏复本：3
可借复本：3 Arthur Gill.
Prentice-Hall, c1976.
(0) 馆藏 -
西文图书17.31st Annual Symposium on Foundations of Computer Science : proceedings, October 22-24, 1990, St. Lou TP3-53/E29:1:31ST(90)
馆藏复本：2
可借复本：2 sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computin
IEEE Computer Society Press, c1990.
(0) 馆藏 -
西文图书18.Conference proceedings of the Eleventh Annual ACM Symposium on Theory of Computing : papers presente TP3-53/E3
馆藏复本：2
可借复本：2 sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computa
ACM, c1979.
(0) 馆藏
