检索到 26 条 主题词=Machine theory 的结果
-
西文图书1.Automata, computability and complexity : theory and applications = 自动机理论与应用 / TP301.1/R498
馆藏复本：3
可借复本：3 Rich, Elaine.
清华大学出版社, 2009.
(0) 馆藏 -
西文图书2.Computability, complexity, and languages : fundamentals of theoretical computer science = 计算理论基 TP301/D263(C=2)
馆藏复本：3
可借复本：3 Davis, Martin,
人民邮电出版社, 2009.
(0) 馆藏 -
西文图书3.Introduction to automata theory, languages, and computation = 自动机理论、语言和计算导论 / TP301.1/H791(C=3)
馆藏复本：3
可借复本：3 Hopcroft, John E.,
China Machine Press, 2007.
(0) 馆藏 -
西文图书4.Languages and machines : an introduction to the theory of computer science = 语言与机器 : 计算机科学 TP391/S943(C=3)
馆藏复本：3
可借复本：3 Sudkamp, Thomas A.
2007.
(0) 馆藏 -
西文图书5.Machines, computations, and universality : third international conference, MCU 2001 : Chi?in?u, Mold TP31/M149(M)
馆藏复本：1
可借复本：1 MCU 2001
Springer, c2001.
(0) 馆藏 -
西文图书6.Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July TP311/A939
馆藏复本：1
可借复本：1 International Colloquium on Automata, Languages, and Programming
Springer, c2001.
(0) 馆藏 -
西文图书7.Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germ TP301.1/A939
馆藏复本：1
可借复本：1 International Workshop on Implementing Automata
Springer, c2001.
(0) 馆藏 -
西文图书8.Process algebra and probabilistic methods : performance modeling and verification : joint internatio O141/P963
馆藏复本：1
可借复本：1 PAPM-PROBMIV 2001
Springer, c2001.
(0) 馆藏 -
西文图书9.Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontari TP301.1/I34
馆藏复本：1
可借复本：1 CIAA 2000
Springer, c2001.
(0) 馆藏 -
西文图书10.Formal and natural computing : essays dedicated to Grzegorz Rozenberg / TP301/F723
馆藏复本：1
可借复本：1 Wilfried Brauer ... [et al.] (eds.).
Springer, c2002.
(0) 馆藏 -
西文图书11.Introduction to the theory of computation = 计算理论导引 / 2nd ed. TP301.5/S618
馆藏复本：3
可借复本：3 Sipser, Michael.
China Machine Press, 2006.
(0) 馆藏 -
西文图书12.Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes a TP3-53/N469
馆藏复本：1
可借复本：1 edited by Wilfried Brauer.
Springer-Verlag, 1980.
(0) 馆藏 -
西文图书13.Mathematical foundations of programming / O14/B397
馆藏复本：1
可借复本：1 Beckman, Frank S.
Addison-Wesley, c1980.
(0) 馆藏 -
西文图书14.Computer algebra : symbolic and algebraic computation / 2nd ed. TP3/C738C=2
馆藏复本：1
可借复本：1 edited by B. Buchberger, G.E. Collins, and R. Loos, in cooperation with R. Albrecht.
Woorld Publishing Corporation ; 1988, c1983.
(0) 馆藏 -
西文图书15.Computability, complexity, and languages : fundamentals of theoretical computer science / TP301/D263
馆藏复本：5
可借复本：5 Davis, Martin,
Academic Press, 1983.
(0) 馆藏 -
西文图书16.Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyn TP301-53/S989
馆藏复本：2
可借复本：2 Symposium on Mathematical Foundations of Computer Science
Springer-Verlag, 1980.
(0) 馆藏 -
西文图书17.Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbsk?e Pleso, Cze TP301-532/S989
馆藏复本：2
可借复本：2 Symposium on Mathematical Foundations of Computer Science
Springer-Verlag, 1981.
(0) 馆藏 -
西文图书18.Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, A TP301-53/I61
馆藏复本：1
可借复本：1 International FCT-Conference
Springer-Verlag, 1981.
(0) 馆藏 -
西文图书19.Algorithmic information theory / TP14/C435
馆藏复本：1
可借复本：1 Chaitin, Gregory J.
Cambridge University Press, 1987.
(0) 馆藏 -
西文图书20.Applied algebra for the computer sciences / TP301/G475
馆藏复本：2
可借复本：2 Gill, Arthur,
Prentice-Hall, c1976.
(0) 馆藏
