《软件工程实用教程/高等教育计算机类课程规划教材》以软件工程的理论作为基础，介绍了项目管理在软件工程中的作用，并抓住目前主流的两种基本的系统分析和设计方法（结构化方法和面向对象方法），结合学生项目实践经验欠缺的特点进行设计和编写。

《LabVIEW 、MATLAB及其混合编程技术》系统介绍了LabVIEW与MATLAB这两种语言的基本使用方法、把它们结合在一起的混合编程技术、程序设计与实际应用的相关知识。全书共11章，分为三部分。第一部分包括第1～5章，介绍LabVIEW的基本概念、编程方法、数据结构、数据采集等图形化程序设计的关键技术；第二部分包括第6、7章，介绍MATLAB程序设计基础和Simulink动态系统仿真；第三部分包括第8～11章，介绍LabVIEW与MATLAB的混合编程技术，LabVIEW与MATLAB/Simulink混合编程接口技术，在LabVIEW中利用ActiveX技术与MATLAB混合编程，以及LabVIEW调用DLL、调用API等高级程序设计的技术。《LabVIEW 、MATLAB及其混合编程技术》可作为高等院校相关专业教材或教学参考书，也可供测控与仪器技术相关工程技术人员和软件工程师参考。

《软件测试设计》针对软件测试人员在测试设计过程中面临的各种问题，提出了“问题驱动的软件测试设计”方法。该方法将软件测试设计技术、测试设计中面临的问题和项目测试实践经验紧密结合，详细阐述了测试人员应该如何有效地开展软件测试设计活动。测试人员在测试设计过程中经常面临各种问题和挑战，主要包括几乎无穷的测试对象输入数据的组合、不同利益相关者对软件产品的不同质量要求、非常有限的测试时间和测试资源，以及不全、模糊且经常变更的需求规格说明等。问题驱动的软件测试设计方法从经典测试设计、基于质量特性的测试设计、基于风险的测试设计和基于经验的测试设计4个方面，系统地解决测试人员在测试设计过程中碰到的各种问题。《软件测试设计》适用于测试工程师、测试经理和质量改进人员阅读，也可以作为国际软件测试认证委员会（ISTQB）高级测试技术分析员和高级测试分析员的培训参考教材。

《北京大学软件与微电子学院课程体系》为北京大学软件与微电子学院培养方案与课程体系汇编。《北京大学软件与微电子学院课程体系》不同于经典的专业教程，不追求理论性和标准化，而是强调实践性和个性化，是一本制定如何培养实用型、复合交叉型人才教学方案的参考书，可供有关高等院校软件工程、电子与通信工程、集成电路工程、项目管理、数字媒体等相关专业的教学工作者参考使用。

《软件框架设计的艺术》帮助你解决api 设计方面的问题，共分3 个部分，分别指出学习api 设计是需要进行科学的训练的、java 语言在设计方面的理论及设计和维护api 时的常见情况，并提供了各种技巧来解决相应的问题。　《软件框架设计的艺术》作者是netbeans 的创始人，也是netbeans 项目最初的架构师。相信在api 设计中遇到问题时，本书将不可或缺。　《软件框架设计的艺术》适用于软件设计人员阅读。

随着数字化设备大量应用于装备，计算机软件在装备中的作用越来越大，其规模和重要性均呈急剧上升的趋势，软件的可靠性已成为保证装备可靠性的重要组成部分。《软件可靠性工程》全面阐述了软件可靠性工程技术和方法，包括软件可靠性定量要求、软件可靠性分配与预计、软件可靠性设计、软件可靠性分析、软件可靠性测试、软件可靠性管理等方面内容，可以为装备研制中开展软件可靠性工程工作提供参考。《软件可靠性工程》主要是面向型号工程技术人员的，因此对阐述的技术和方法尽量给出示例、实施注意事项等，以便于工程技术人员掌握、实施。《软件可靠性工程》可供从事各种军、民用软件可靠性技术和管理人员阅读参考，也可作为软件可靠性专业的大学本科、研究生教学参考书，以及软件可靠性相关的培训教材。

《软件验证与确认》理论联系实际，由浅入深地对软件验证与确认的相关概念进行了介绍，并结合我国装备软件的研制过程对验证与确认过程进行了详细的阐述，本书对测试、评审和形式化验证等方法进行了介绍，并对当前装备软件研制中的软件测试过程进行了深入的探讨。另外，本书还从实践的角度出发介绍了软件验证与确认活动的自动化辅助工具以及过程文档模板，具有极强的工程参考价值。本书可供高等院校软件工程、计算机及相关专业的研究生作为学习参考，同时还可作为从事装备软件研发、软件测试以及软件验证与质量保证人员的工作参考书。

《非线性系统（第3版）》内容按照数学知识的由浅入深分成了四个部分。基本分析部分介绍了非线性系统的基本概念和基本分析方法；反馈系统分析部分介绍了输入-输出稳定性、无源性和反馈系统的频域分析；现代分析部分介绍了现代稳定性分析的基本概念、扰动系统的稳定性、扰动理论和平均化以及奇异扰动理论；非线性反馈控制部分介绍了反馈控制的基本概念的反馈线性化，并给出了几种非线性设计工具，如滑模控制、李雅普诺夫再设计、反步法、基于无源的控制和高增益观测器等。《非线性系统（第3版）》全书已根据作者2011年2月所发勘误表进行了内容更正。《非线性系统（第3版）》既可以作为研究生第一学期非线性系统课程的教材，也可以作为工程技术人员、应用数学专业人员的自学教材或参考书。

《广联达软件清单算量》是全国职业院校技能大赛系列丛书之一。《广联达软件清单算量》根据职业院校建筑工程施工、工程造价等专业教学要求和全国职业院校技能大赛比赛要求编写，强调实用性和操作性。《广联达软件清单算量》以项目引导、任务驱动的方式编排，以一幢典型的三层框架综合楼为主线，详细介绍“广联达图形算量软件GCL2008”和“广联达钢筋抽样软件GGJ2009”的应用。《广联达软件清单算量》包括两个项目：建设工程图形清单算量，包括8个分项，33个子项；钢筋工程清单算量，包括7个分项，24个子项。《广联达软件清单算量》附配套光盘，包括教材中案例的全部操作视频。《广联达软件清单算量》可作为职业院校建筑类专业工程预算电算化教材，也可作为全国职业院校技能大赛备赛用书和建筑企业造价员上岗培训用书。

于万波和魏小鹏主编的《软件系统实现与分析》以Java作为工具讲解了4个软件系统，分别是学生管理信息系统、象棋对弈软件、博客系统与网上购物系统。在每个系统的讲解过程中，首先对系统的构成、程序之间的调用关系、重点程序语句等进行详细分析，然后研究如何设计、修改完善每个系统。各个系统及其修改都给出了完整的代码。《软件系统实现与分析》可以供计算机相关专业（特别是软件工程专业）、信息管理与信息系统、信息与计算科学等专业作为系统分析与设计、软件系统实现与分析、Java课程设计、Web程序设计、管理信息系统等课程的教材，也可以供软件开发人员学习与参考。