搜索包含 Production Research Program (National Science Foundation) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Production Research Program (National Science Foundation) 的图书(共7003本)

	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 theory of computer science : a programming approach 0 索取号：TP31/E8025 作者：Brady、 J. M.、出版社：London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1977.
	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.
	Mathematical software III : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977 0 索取号：TP31/E8041/3 作者：John //R. Rice、Mathematical Software Symposium、 University of Wisconsin--Madison、 1977.、Rice、 John Rischard.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1977.		Techniques of program structure and design 0 索取号：TP31/E8039 作者：Yourdon、 Edward.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, [1975]
	Proceedings : 1991 IEEE Computer Society Symposium on Research in Security and Privacy, May 20-22, 1991, Oakland, California 0 索取号：TP309-53/E991/1991 作者：IEEE Computer Society Symposium on Research in Security and Privacy (1991 : Oakland、 Calif.)、IEEE Computer Society. Technical Committee on Security and Privacy.、International Association for Cryptologic Research.、Institute of Electrical and Electronics Engineers.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1991.		Computer Performance Evaluation Users Group (CPEUG) : proceedings of the Sixteenth Meeting held at Orlando, Florida, October 20-23, 1980 0 索取号：TP302-53/E803/16 作者：Computer Performance Evaluation Users Group. Meeting (16th : 1980 : Orlando、 Fla.)、Highland、 Harold Joseph.、United States. National Bureau of Standards.、Institute for Computer Sciences and Technology.、United States. Navy Data Automation Facility.、出版社：Washington, D.C. : The Bureau : For sale by the Supt. of Docs., U.S. G.P.O., 1980.
	Total Systems Reliability Symposium : December 12-14, 1983, National Bureau of Standards, Gaithersburg, MD 0 索取号：TP302-53/E906/1983 作者：Total Systems Reliability Symposium (1983 : National Bureau of Standards)、IEEE Computer Society.、Institute of Electrical and Electronics Engineers.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1983.		Systems analysis and design : a foundation for the 1980's 0 索取号：TP302-53/E908/1980 作者：出版社：Amsterdam New York : North-Holland, 1981.

	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 theory of computer science : a programming approach 0 索取号：TP31/E8025 作者：Brady、 J. M.、出版社：London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1977.
	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.
	Mathematical software III : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977 0 索取号：TP31/E8041/3 作者：John //R. Rice、Mathematical Software Symposium、 University of Wisconsin--Madison、 1977.、Rice、 John Rischard.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1977.		Techniques of program structure and design 0 索取号：TP31/E8039 作者：Yourdon、 Edward.、出版社：Englewood Cliffs, N.J. : Prentice-Hall, [1975]
	Proceedings : 1991 IEEE Computer Society Symposium on Research in Security and Privacy, May 20-22, 1991, Oakland, California 0 索取号：TP309-53/E991/1991 作者：IEEE Computer Society Symposium on Research in Security and Privacy (1991 : Oakland、 Calif.)、IEEE Computer Society. Technical Committee on Security and Privacy.、International Association for Cryptologic Research.、Institute of Electrical and Electronics Engineers.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1991.		Computer Performance Evaluation Users Group (CPEUG) : proceedings of the Sixteenth Meeting held at Orlando, Florida, October 20-23, 1980 0 索取号：TP302-53/E803/16 作者：Computer Performance Evaluation Users Group. Meeting (16th : 1980 : Orlando、 Fla.)、Highland、 Harold Joseph.、United States. National Bureau of Standards.、Institute for Computer Sciences and Technology.、United States. Navy Data Automation Facility.、出版社：Washington, D.C. : The Bureau : For sale by the Supt. of Docs., U.S. G.P.O., 1980.
	Total Systems Reliability Symposium : December 12-14, 1983, National Bureau of Standards, Gaithersburg, MD 0 索取号：TP302-53/E906/1983 作者：Total Systems Reliability Symposium (1983 : National Bureau of Standards)、IEEE Computer Society.、Institute of Electrical and Electronics Engineers.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1983.		Systems analysis and design : a foundation for the 1980's 0 索取号：TP302-53/E908/1980 作者：出版社：Amsterdam New York : North-Holland, 1981.