冯树椿，徐六通编著1988 年出版374 页ISBN：7308000915
《程序设计方法学》内容涉及结构程序的概念、程序设计的主要控制结构、程序正确性的证明、数据类型抽象、递归方法、逐步求精法、模块设计和推导技术，最后介绍近几年新发展的程序变换技术。...
朱廷昌，胡喜忠编1987 年出版399 页ISBN：4290·455
本书较系统地介绍了企业管理中常用方法的程序设计的技术和技巧。
刘文红，张卫祥，司倩然，齐玉华，陈青，马贤颖，杜会森编著2017 年出版299 页ISBN：9787302480662
本书紧扣软件测试和软件工程标准规范要求，结合国内软件测试现状，形成一套适应软件测试实践需要的测试技术方法与过程管理的实用指南，系统地介绍了相关的知识、技术、方法和软件工具，给出了较为详细的测试过程技...
张福俭编著2017 年出版220 页ISBN：9787517120605
本书内容分为七章，包括“三会一课”是党的组织生活的基本制度，落实好“三会一课”制度的基本要求，支部党员大会、支部委员会、党小组会、按时上好党课和落实好“三会一课”制度的基本经验等，对“三会一课”制度...
胡正国，吴健，邓正宏编著2009 年出版266 页ISBN：9787118060515
本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。...
覃征等编著2007 年出版392 页ISBN：9787560518015
本书系统介绍了计算机程序设计的基本概念，基本方法和常用程序语言的优化设计思想。
邢光军主编；孙建敏，巩永华，刘长贤，张冲副主编2015 年出版211 页ISBN：9787115390226
本书共有8章，其中包括线性规划与单纯形法、对偶理论与灵敏度分析、运输问题、整数规划、动态规划、图与网络分析、存储论和排队论。每章都有学习目标、开篇案例、本章小结和课后思考题，有助于引导读者学习和...
孙业茂著2013 年出版230 页ISBN：9787538298888
本书集笔者十余年关于科技试验数据处理方法的研究心得，内容主要包括当前工程技术界极端缺乏而对参与竞争又甚为重要的过程精细模型化与工程优化两方面。紧紧把握方便实用原则，所给方法皆有简单、快速、精确、...
