郑人杰等编著1997 年出版493 页ISBN：7302025207
本书是《实用软件工程》的第二版，本书第一版出版后，被许多学校和培训班作为软件工程课程的教材而受到欢迎。第二版在保持第一版的易懂和实用的风格外，增加了软件工程近期发展的新资料。本书从软件的开发、维护...
（美）马萨（Massa，A.J.）著；颜若麟等译2006 年出版336 页ISBN：7810777327
本书对嵌入式可配置实时操作系统eCos体系结构及其组成部分进行详细讲解，包括eCos的实时内核、硬件抽象层、线程及同步机制、设备驱动等。
贺民，白晓平编著2005 年出版334 页ISBN：7302106703
本书详细介绍了Office 2003中的Word、Excel和PowerPoint，其内容主要是Office 2003应用程序三大组件的基础知识，各项功能和基本操作，以及屏幕定制，信息共享，创建网页等高级应用功能。本书是CCAT的指定教材，同时也...
古天龙著2005 年出版265 页ISBN：704016079X
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...
黄本诚，童靖宇编著2010 年出版679 页ISBN：9787504656056
本书系统的论述了空间环境对航天器的影响及其机理；空间环境地面模拟方法及模拟技术；空间环境模拟的试验方法、试验技术、试验理论；空间环境防护及利用等。在一定程度上反映了国内外空间环境工程的新技术、新成...
曹飞飞，赵永发，吴绪铎编著2012 年出版776 页ISBN：9787115277954
本书以开发人员在编程中遇到的实际问题和开发中应该掌握的技术为中心，全面介绍运用Visual C++进行程序开发的最常用最使用的案例和技巧。
丛书编委会编著2002 年出版332 页ISBN：7508311256
本书是全国专业技术人员计算机应用能力考试的考前辅导读物，根据用友财务软件考试科目的考试大纲编写。本书全面讲解了用友财务软件的使用方法和技巧，并把该软件应掌握的知识要点分布在200道试题中。全书共分...
李彤等著2003 年出版184 页ISBN：7030120078
本书是与《多媒体技术与应用》一书配套使用的辅助教材。本书借鉴了制造业并行工程的思想，将其引入到计算机软件工程中，以软件开发过程中的并行性为研究对象，通过尽量使软件开发并行进行，来达到提高软件生产率的...
