软件开发的形式化工程方法：结构化+面向对象+形式化

全球化软件开发最佳实践

本书是介绍全球化基本体系结构、技术和方法的经典力作。全书共18章，介绍了全球化的背景、Java开发中的国际化技术、全球化测试、常见问题的解决方法、DB2数据库等知识，并以一个完整的全球化开发实例，指导读者...

科学发展的云南投资战略 云南省投资与经济增长关系研究

本书从国内外投资与GDP增长的理论关系入手，借鉴国内外的实践经验和教训。收集整理了大量的国外统计数据，运用了一系列投资与经济增长的理论与方法，对云南省投资与经济增长相互关系进行了大量实证分析和比较研...

云南省农村义务教育公共投入保障机制研究

本书采用理论与实证分析相结合的方法，立足翔实的数据资料，并选择全国平均数及贵州、江苏、湖北省作为样本，对云南省进行考察、调研，为较彻底地解决云南农村义务教育公共投入保障机制问题提供了理论依据，并在对策...

0day安全 软件漏洞分析技术

本书分4篇17章，系统全面地介绍Windows平台软件缓冲区溢出漏洞的发现、检测、分析，以及利用等方面的知识。书中所有概念和方法都会在紧随其后的调试实验中被再次解释，实验和案例是本书的精髓所在。本书可作为网...

软件安全 使安全成为软件开发必需的部分

本书是由软件安全领域的权威专家编著的讲授如何实施软件安全的专著。本书在论述了软件安全理论的基础上详细讲解了如何将软件安全付诸实践。本书描述的软件安全最优方法（或者称为接触点）以优秀的软件工程方法...

软件合成器技术实战手册 音色制作与模块编程

本书由浅入深的讲解了软件合成器及与之关系密切的电脑音乐周边技术（声学基础、音频处理技术等），再结合数款主流的软件合成器来对这些理论进行消化。这些理论知识也同样适用于硬件合成器，对于音频处理方面的知识...

云南土壤肥料与农田节水研究 云南省土壤肥料学会第十届理事会论文集

本书所收编的论文结合云南实际，从不同专业、多角度进行了论述。全书分为四个部分：一、农田建设与节水研究；二、耕地质量建设与土壤墒情研究；三、肥料开发利用与合理施肥研究；四、肥化验室建立与测试分析研究。...

软件工程 实践者的研究方法 原书第6版

本书讲解了软件工程的相关内容。

软件开发中级编程指南 6 SQL Server2005数据库设计与实现

本书系统介绍了一系列软件开发的基础知识及编辑技巧。