-
西文图书1.Conference record of Seventh Annual ACM Symposium on Theory of Computing : papers presented at th... TP301-53/A184
馆藏复本:1
可借复本:1 ACM Symposium on Theory of Computing
Association for Computing Machinery, c1975.
(0) 馆藏 -
西文图书2.Information processing : proceedings of the International Conference on Information Processing, U... TP3-53/I61
馆藏复本:2
可借复本:2 International Conference on Information Processing
Unesco, 1960.
(0) 馆藏 -
西文图书3.Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / TP3-53/C714
馆藏复本:1
可借复本:1 Colloquium on Automata, Languages and Programming
Springer-Verlag, 1979.
(0) 馆藏 -
西文图书4.Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnic... TP301-532/G892, 51.8083
馆藏复本:2
可借复本:2 Gruska, Jozef.
Springer-Verlag, 1977.
(0) 馆藏 -
西文图书5.Information processing 68 proceedings of IFIP congress 1968. Organized by the International Feder... TP311.13-532/I61/1, TP311.13-532/I61/2
馆藏复本:2
可借复本:2 International Federation for Information Processing.
North-Holland Pub. Co., 1969.
(0) 馆藏 -
西文图书6.Applied algebra for the computer sciences / O153/G475, 73.87/G475
馆藏复本:5
可借复本:5 Gill, Arthur,
Prentice-Hall, c1976.
(0) 馆藏 -
西文图书7.Theories of abstract automata / TP1/A664
馆藏复本:1
可借复本:1 Arbib, Michael A.
Prentice-Hall, 1969.
(0) 馆藏 -
西文图书8.Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan... TP301.6-532/I61-2
馆藏复本:1
可借复本:1 International FCT-Conference
Springer-Verlag, 1977.
(0) 馆藏 -
西文图书9.The complexity of computing / O141.3/S264, 51.8Q4
馆藏复本:10
可借复本:10 Savage, John E.,
Wiley, c1976.
(0) 馆藏 -
西文图书10.14th Annual Symposium on Switching & Automata Theory TP30/S989
馆藏复本:1
可借复本:1 Symposium on Switching and Automata Theory
Available from: IEEE Computer Society, Publications Office, c1973.
(0) 馆藏 -
西文期刊11.Journal of computer and system sciences. (E)/TP3/29
馆藏复本:27
可借复本:27
Academic Press, 1967-
(0) 馆藏 -
西文图书12.31st Annual Symposium on Foundations of Computer Science : proceedings, October 22-24, 1990, St. Lou TP30-532/S898/1
馆藏复本:1
可借复本:1 Symposium on Foundations of Computer Science
IEEE Computer Society Press, c1990.
(0) 馆藏 -
西文图书13.31st Annual Symposium on Foundations of Computer Science : proceedings, October 22-24, 1990, St. Lou TP30-532/S898/2
馆藏复本:1
可借复本:1 Symposium on Foundations of Computer Science
IEEE Computer Society Press, c1990.
(0) 馆藏 -
西文图书14.Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / 73.8721
馆藏复本:1
可借复本:1 Colloquium on Automata, Languages and Programming
Springer-Verlag, 1978.
(0) 馆藏 -
西文图书15.Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes a 73.46162083/A244
馆藏复本:1
可借复本:1 edited by Wilfried Brauer.
Springer-Verlag, 1980.
(0) 馆藏 -
西文图书16.25th Annual Symposium on Foundations of Computer Science : Oct 24-26, 1984 / 73.87083/A615Q2
馆藏复本:2
可借复本:2 Symposium on Foundations of Computer Science
IEEE Computer Society Press, c1984.
(0) 馆藏 -
西文图书17.The theory of computer science : a programming approach / 73.87221/B812
馆藏复本:2
可借复本:2 Brady, J. M.
Chapman and Hall, c1977.
(0) 馆藏 -
西文图书18.Mathematical foundations of computer science 1981 : proceedings, 10th symposium, ?trbské Pleso, Cze 51.8083/G892
馆藏复本:2
可借复本:2 Mathematical Foundations of Computer Science (1972- )
Springer-Verlag, c1981.
(0) 馆藏