检索到 16 条 主题词=Computer programs 的结果
-
西文期刊1.Software world. TP3/14X
馆藏复本：4
可借复本：4
A. P. Publications, 1969-
(0) 馆藏 -
西文期刊2.Information and software technology. TP27/10X
馆藏复本：2
可借复本：2
Butterworths, c1987-
(0) 馆藏 -
西文期刊3.Software: practice & experience. TP3/2X
馆藏复本：58
可借复本：58
Wiley Interscience [etc.]
(0) 馆藏 -
西文图书4.Conference on Software Maintenance-1987 : Austin, Tex., Sept. 21-24, 1987, proceedings / TP31-53/E13:(87)
馆藏复本：2
可借复本：2 sponsors: Computer Society of the IEEE, TC on Software Engineering ... [et al.].
IEEE Computer Society Pr., c1987.
(0) 馆藏 -
西文图书5.Proceedings - COMPSAC89 : the Thirteenth Annual International Computer Software & Applications Confe TP31-53/E15:13TH(89)
馆藏复本：1
可借复本：1 sponsored by IEEE Computer Society
IEEE Computer Society Press ; 1989
(0) 馆藏 -
西文图书6.Program verification using Ada / TP312/E14
馆藏复本：1
可借复本：1 Andrew D. McGettrick.
Cambridge University Press, 1982.
(0) 馆藏 -
西文图书7.Proving programs correct / TP31/E18
馆藏复本：3
可借复本：3 Robert B. Anderson.
Wiley, c1979.
(0) 馆藏 -
西文图书8.NBS FORTRAN test programs nv.1 / TP31/E50
馆藏复本：2
可借复本：2 Frances E. Holberton and Elizabeth G. Parker.
National Bureau of Standards; [for sale by the Supt. of Docs., U.S. G.P.O.], 1974.
(0) 馆藏 -
西文图书9.Programming logics : an introduction to verification and semantics / TP311/E13
馆藏复本：2
可借复本：2 Raymond D. Gumb.
Wiley, c1989.
(0) 馆藏 -
西文图书10.NBS FORTRAN test programs / TP31/E50:2
馆藏复本：2
可借复本：2 Frances E. Holberton and Elizabeth G. Parker.
National Bureau of Standards; [for sale by the Supt. of Docs., U.S. G.P.O.], 1974.
(0) 馆藏 -
西文图书11.NBS FORTRAN test programs nv.2 / TP31/E50:3
馆藏复本：2
可借复本：2 Frances E. Holberton and Elizabeth G. Parker.
National Bureau of Standards; [for sale by the Supt. of Docs., U.S. G.P.O.], 1974.
(0) 馆藏 -
西文图书12.Handheld calculator programs for engineering design / TP321/E1
馆藏复本：1
可借复本：1 Melvin L. Marter.
McGraw-Hill, c1983.
(0) 馆藏 -
西文图书13.Program style, design, efficiency, debugging, and testing / TP31/E26
馆藏复本：2
可借复本：2 Dennie Van Tassel.
Prentice-Hall, c1978.
(0) 馆藏 -
西文图书14.8th International Conference on Software Engineering : proceedings : Aug. 28-30, 1985, Imperial Coll TP31-53/E8:8(85)
馆藏复本：1
可借复本：1 sponsored by Association for Computing Machinery Sigsoft ...[et al.].
IEEE Computer Society Press, c1985.
(0) 馆藏 -
西文图书15.COMPSAC 90 : 14th annual International Computer Software & Applications Conference : proceedings, Ho TP31-53/E16:14TH(90)
馆藏复本：2
可借复本：2 editor, George J. Knafl.
IEEE Computer Society, c1990.
(0) 馆藏 -
西文图书16.COMPSAC 81 : the IEEE Computer Society's Fifth International Computer Software Applications Conferen TP31-53/E1
馆藏复本：3
可借复本：3 COMPSAC
IEEE, c1981.
(0) 馆藏
