-
西文图书1.Advances in computers. v. 20 / TP301/E3:20
馆藏复本:3
可借复本:3 edited by Marshall C. Yovits.
Academic Press, 1981.
(0) 馆藏
-
西文图书2.Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms. TP301.4-53/E1:1ST:(90)
馆藏复本:1
可借复本:1 ACM-SIAM Symposium on Discrete Algorithms
Society for Industrial and Applied Mathematics, c1990.
(0) 馆藏
-
西文图书3.Advances in computers, v. 1 / TP301/E3
馆藏复本:1
可借复本:1 edtied by Franz Alt.
Academic Press, 1960.
(0) 馆藏
-
西文图书4.The Fifth generation computer project. TP301/E1
馆藏复本:4
可借复本:4
Pergamon Infotech, 1983.
(0) 馆藏
-
西文图书5.Advances in computers, v. 16 / TP301/E3:16
馆藏复本:1
可借复本:1 edtied by Morris Rubinoff and Marshall C. Yovits.
Academic Press, 1977.
(0) 馆藏
-
西文图书6.Theory of machines and computations : proceedings / TP301/E2#1
馆藏复本:2
可借复本:2 edited by Zvi Kohavi, Azaria Paz.
Academic Press, 1971.
(0) 馆藏
-
西文图书7.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:(4TH:91)
馆藏复本:1
可借复本:1 S. Prehn, W.J. Toetenel (eds.).
Springer-Verlag, c1991.
(0) 馆藏
-
西文图书8.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:2(4TH:91)
馆藏复本:1
可借复本:1 S. Prehn, W.J. Toetenel (eds.)
Springer-Verlag, c1991.
(0) 馆藏
-
西文图书9.Algorithmic learning theory : First International Workshop on algorithmic learning theory (Alt 90), TP301.6-53/E2:(90)
馆藏复本:2
可借复本:2 ed. by S. Arikawa ... [et al.].
Ohmsha ; 1990.
(0) 馆藏
-
西文图书10.Managing systems development / TP301/E2
馆藏复本:5
可借复本:5 Jeffrey S. Keen.
J. Wiley, c1981.
(0) 馆藏
-
西文图书11.Advances in computers. v. 17 / TP301/E3:17
馆藏复本:3
可借复本:3 edited by Marshall C. Yovits.
Academic Press, 1978.
(0) 馆藏
-
西文图书12.Advances in computers. v. 21 / TP301/E3:21
馆藏复本:5
可借复本:5 edited by Marshall C. Yovits.
Academic Press, 1982.
(0) 馆藏
-
西文图书13.Computation structures / TP301.6/E1
馆藏复本:2
可借复本:2 Stephen A. Ward, Robert H. Halstead, Jr.
MIT Press ; c1990.
(0) 馆藏
-
西文图书14.Distributed algorithms : 4th International Workshop, Bari, Italy, September 24-26, 1990 : proceeding TP301.6-53/E3:4TH:(90)
馆藏复本:2
可借复本:2 J. van Leeuwen, N. Santoro (eds.)
Springer-Verlag, c1991
(0) 馆藏
-
西文图书15.Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989: proceedings TP301.6-53/E1:(89)
馆藏复本:1
可借复本:1 F. Dehne, J.R. Sack, N. Santoro (eds.).
Springer-Verlag, c1989.
(0) 馆藏
-
西文图书16.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) 馆藏
-
西文图书17.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) 馆藏
-
西文图书18.Advances in computers. v. 19 / TP301/E3:19
馆藏复本:3
可借复本:3 edited by Marshall C. Yovits.
Academic Press, 1980.
(0) 馆藏