毛志雄主编；余小斐，张华，熊登峰编著2008 年出版219 页ISBN：9787113089610
本书主要介绍了软件测试实际工作中的技能及相关的实用软件测试理论。
李晓梅，吴建平编著2007 年出版277 页ISBN：7030194616
本书内容包括三大部分：第一部分介绍并行计算基础理论与技术；第二部分介绍数值并行计算方法；第三部分介绍编程环境与应用。
（丹）比约纳（Bjorner，D.）著2007 年出版802 页ISBN：9787302154327
本书介绍系统与语言的规约的基本原理和技术。
（美）David Gustafson著；钟鸣，王君等译2003 年出版216 页ISBN：7111122453
本书介绍了软件工程的相关知识和概念，是一本软件工程学科的优秀教辅。
张成龙主编；李本建，符晗，王洪让副主编2018 年出版231 页ISBN：9787568141390
随着经济社会发展的转型升级，在经济新常态下，我国经济社会发展迎来了知识创新2.0时代。“设计+”是传统设计1.0模式升级后的2.0模式，是知识社会创新2.0模式推动下的创意设计产业发展新业态。本书是基于经济新...
（中国）潘海鹏，顾敏明，张益波2019 年出版150 页ISBN：9787111628217
本书共10章。第1章主要讲述组态软件的概念，产生背景及其主要功能，并介绍国内外常见的组态软件；第2章系统介绍“组态王”及其安装环境和安装步骤，同时引导大家如何新建工程等；第3章主要讲述如何添加外部设备和变...
嵌入式软件设计基础 基于ARM Cortex-M3 原书第2版
（美）刘易斯（LewisD.W.）著；陈文智等译2013 年出版192 页ISBN：9787111441762
本书以实践中最常运用的方式讲解汇编语言——实现小型、快速或特殊目的的例程，这些例程由主程序（高级语言编写，如c）调用。通过运用嵌入式软件环境，本书介绍多线程程序设计、可抢占式系统与非可抢占式系统、共享....
