-
西文图书1.Advances in computers. v. 20 / TP301/E3:20
馆藏复本:3
可借复本:3 edited by Marshall C. Yovits.
Academic Press, 1981.
(0) 馆藏
-
西文图书2.Advances in computers. v. 19 / TP301/E3:19
馆藏复本:3
可借复本:3 edited by Marshall C. Yovits.
Academic Press, 1980.
(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.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) 馆藏
-
西文图书6.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) 馆藏
-
西文图书7.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) 馆藏
-
西文图书8.Advances in computers, v. 16 / TP301/E3:16
馆藏复本:1
可借复本:1 edtied by Morris Rubinoff and Marshall C. Yovits.
Academic Press, 1977.
(0) 馆藏
-
西文图书9.Computation structures / TP301.6/E1
馆藏复本:2
可借复本:2 Stephen A. Ward, Robert H. Halstead, Jr.
MIT Press ; c1990.
(0) 馆藏
-
西文图书10.Advances in computers. v. 17 / TP301/E3:17
馆藏复本:3
可借复本:3 edited by Marshall C. Yovits.
Academic Press, 1978.
(0) 馆藏
-
西文图书11.Advances in computers. v. 21 / TP301/E3:21
馆藏复本:5
可借复本:5 edited by Marshall C. Yovits.
Academic Press, 1982.
(0) 馆藏
-
西文图书12.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) 馆藏