检索到 38 条 主题词=Computer programs. 的结果
-
西文图书1.Construction, amelioration et verification de programmes = Proving and improving programs : 1, 2,... TP31-53/CAV
馆藏复本：1
可借复本：0 organise? par l'I.R.I.A., Institut de recherche d'informatique et d'automatique ; edited by G. Hu...
I.R.I.A., 1975.
(0) 馆藏 -
西文期刊2.Software: practice & experience. TP31/SPE
馆藏复本：5
可借复本：0
Wiley Interscience [etc.], 1971-
(0) 馆藏 -
西文期刊3.Information and software technology. TP3/IST
馆藏复本：2
可借复本：0
Butterworths, c1987-
(0) 馆藏 -
西文期刊4.Tech notes. Computers. TP3/TNC
馆藏复本：5
可借复本：0 United States.
National Technical Information Service, 1981-1986.
(0) 馆藏 -
西文图书5.Software tutorials for DOS, WordPerfect, TWIN/Lotus 1-2-3, and dBase III PLUS / TP31/SD
馆藏复本：1
可借复本：1 Daphne Swabey.
Prentice-Hall, c1989.
(0) 馆藏 -
西文图书6.Computer program testing : proceedings of the Summer School on Computer Program Testing held at SOGE TP31-53/SSC/(1981)
馆藏复本：1
可借复本：1 edited by B. Chandrasekaran, S. Radicchi.
North-Holland Pub. Co. ; c1981.
(0) 馆藏 -
西文图书7.COMPSAC'77 : tutorial program testing techniques, the IEEE Computer Society's first international co TP31/ICS/(1977)
馆藏复本：1
可借复本：0 [compiled by] Edward Miller.
IEEE Computer Society, c1977.
(0) 馆藏 -
西文图书8.COMPSAC 81 : the IEEE Computer Society's Fifth International Computer Software and Applications Conf TP31-53/COM/(1981)
馆藏复本：1
可借复本：1 COMPSAC
IEEE, c1981.
(0) 馆藏 -
西文图书9.A structured approach to systems testing / TP306/PWE
馆藏复本：1
可借复本：1 William E. Perry.
Prentice-Hall, c1983.
(0) 馆藏 -
西文图书10.Softfair : a Second Conference on Software Development Tools, Techniques and Alternatives / TP31-53/CSD/(1985)
馆藏复本：1
可借复本：1 co-sponsored by IEEE Computer Society, Association for Compouting Machinery.
IEEE Computer Society Pr., c1985.
(0) 馆藏 -
西文图书11.The Addison-Wesley book of Apple software 1984 / TP29/ABA/(1984)
馆藏复本：2
可借复本：1 edited by Jeffrey Stanton ... [et al.]
Addison-Wesley, c1984.
(0) 馆藏 -
西文图书12.Microcomputer applications : a practical approach / TP391/FDL
馆藏复本：1
可借复本：1 Dennis L. Foster.
Boyd & Fraser Pub. Co., c1990.
(0) 馆藏 -
西文图书13.Handheld calculator programs for engineering design / TB21/MML
馆藏复本：1
可借复本：1 Melvin L. Marter.
McGraw-Hill, c1983.
(0) 馆藏 -
西文图书14.9th International Congress on Cybernetics : proceedings, Namur, Sept. 8-13, 1980. TP13-53/ICC-2/(1980)
馆藏复本：1
可借复本：1 International Congress on Cybernetics
Association Internationale de Cybernetique, 1981.
(0) 馆藏 -
西文图书15.Audit and control of systems software / TP316/ACS
馆藏复本：2
可借复本：2 I.J. Douglas (editor).
NCC Pub., 1983.
(0) 馆藏 -
西文图书16.Third Software Engineering Standards Application Workshop : Oct. 2-4, 1984, San Francisco, Calif., S TP31-53/SES/(1984)
馆藏复本：2
可借复本：2 sponsored by IEEE Computer Society.
IEEE Computer Society Pr., c1984.
(0) 馆藏 -
西文图书17.Supplement to the proceedigs on national conference on software test and evaluation : Mayflower Hote TP31-53/NCS:2/(1983)
馆藏复本：1
可借复本：1 National Security Industrial Association.
National Security Industrial Association,[ 1983?]
(0) 馆藏 -
西文图书18.Management of CAD/CAM information key to improved manufacturing productivity / TP391.7/FRE
馆藏复本：1
可借复本：1 Robert E. Fulton and Jack Brainin.
National Aeronautics and Space Administration, Langley Research Center, 1984.
(0) 馆藏 -
西文图书19.The best book of microsoft windows 3 / TP31/TC
馆藏复本：1
可借复本：1 Carl Townsend.
Sams, c1990.
(0) 馆藏 -
西文图书20.Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, TP311-53/IAE
馆藏复本：1
可借复本：1 Dines Bjorner, Manfred Broy, Alexandre V. Zamulin,(eds.).
Springer, c2001.
(0) 馆藏
