大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Explokart (Program) 的图书(共254本)

Data structures and program design

0
索取号:TP31/E90126
作者:Kruse、 Robert Leroy、 1941-、
出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1984.

Commercial software engineering : for productive program design

0
索取号:TP31/E90191
作者:Janossy、 James G. (James Gustav)、 1947-、
出版社:New York : Jon Wiley & Sons Wiley, 1985.

Functional program testing and analysis

0
索取号:TP31/E90192
作者:Howden、 William E.、
出版社:New York : McGraw-Hill, 1987.

Program verification

0
索取号:TP31/E9922
作者:Francez、 Nissim.、
出版社:N.Y. Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub. Co., 1992.

Formal methods of program verification and specification

0
索取号:TP31/E9076
作者:
出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1982.

COBOL : an introduction to structured logic and modular program design

0
索取号:TP31/E8026
作者:Davis、 William S.、 1943-、Fisher、 Richard H.、 joint author.、
出版社:Reading, Mass. : Addison-Wesley Pub. Co., 1979.

Program derivation : the development of programs from specifications

0
索取号:TP31/E90108
作者:Dromey、 R. G.、 1946-、
出版社:Sydney ; Reading, Mass. : Addison-Wesley, 1989.

Assemblers, compilers, and program translation

0
索取号:TP31/E8030
作者:Calingaert、 Peter.、
出版社:Potomac, Md. : Computer Science Press, 1979.

The structured alternative : program design, style and debugging

0
索取号:TP31/E9062
作者:Cassel、 Don、 1942-、
出版社:Reston, Va. : Reston Pub. Co., 1983.

Program design with pseudocode

0
索取号:TP31/E9091.2
作者:Bailey、 T. E.、 1935-、Lundgaard、 Kris、 1958-、
出版社:Monterey, Calif. : Brooks/Cole Pub. Co., 1986.

The program development process

0
索取号:TP31/E8016
作者:Aron、 J. D. (Joel D.)、
出版社:Reading, Mass. : Addison-Wesley Pub. Co., 1974-

Principles of program design

0
索取号:TP31/E8047
作者:Jackson、 M. A.、
出版社:London ; New York : Academic Press, 1975.

Techniques of program structure and design

0
索取号:TP31/E8039
作者:Yourdon、 Edward.、
出版社:Englewood Cliffs, N.J. : Prentice-Hall, [1975]

Program construction : international summer school

0
索取号:TP3-55/E804
作者:
出版社:Berlin ; New York : Springer-Verlag, 1979.

Program verification using Ada

0
索取号:TP3-43/E904
作者:McGettrick、 Andrew D.、 1944-、
出版社:Cambridge ; New York : Cambridge University Press, 1982.

Information technology assessment : proceedings of the 4th IFIP TC9 International Conference on Human Choice and Computers, HCC-4 held jointly with the CEC FAST Programme, Dublin, Ireland, 9-12 July 1990

0
索取号:TP14-532/E991
作者:IFIP TC9 International Conference on Human Choice and Computers (4th : 1990 : Dublin、 Ireland)、Berleur、 J.、Drumm、 John.、IFIP Technical Committee 9.、FAST (Program)、
出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.
最近添加的分类