肖智，杨剑，史建康编著2015 年出版230 页ISBN：9787564339616
本实验指导书主要以图文解说的方式对ArcGIS10软件的操作和使用技巧进行全面详细地介绍。全书分4篇，共16个实验。第1篇重点介绍ArcGIS常用的Shapefile、Coverage、Geodatabase三种矢量数据的创建与维护。第2...
《最新电子器件置换手册》编写组编著2012 年出版78 页ISBN：9787111386612
本手册全面汇编了国内外电气与电子设备中所使用的晶体二极管、晶体三极管、晶闸管以及场效应晶体管及其模块的实用关键参数和代换型号，对于每一种电子器件，主要内容包括三部分：第一部分介绍该器件手册的查询方...
宫云战主编；赵瑞莲，张威，王雅文等编著2016 年出版284 页ISBN：9787111532705
本书全面介绍了软件测试的基本原理和一般方法，同时全面阐述近几年出现的一些新的软件测试方法，结合实例，介绍了目前比较流行的软件测试工具。全书共分10章，分别为：软件测试概述、软件缺陷、软件缺陷、黑盒测试，.....
杨学瑜等编著2008 年出版203 页ISBN：7121055376
本书通过基于用JSP和Java编写的“项目工单管理系统”应用程序，把软件工程的概念、理论、方法和技术融入到具体项目中，让学生在直观的事例中体会和理解知识，并安排一定的实训学时，按照项目管理方法，让学生分组进...
（美）Jason Andrews著；周立功等译2006 年出版178 页ISBN：7810777521
本书是一本硬件/软件协同验证技术相关信息的书。传统的潜入式系统设计已经发展成为单个芯片的设计。在这个SoC设计的时代，芯片现在已经把微处理器包含在内，而且，还要求软件在硬件装配好之前就能开发出来。本书...
（以）佩莱得著2012 年出版199 页ISBN：9787111365532
本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...
张锡华，詹文英主编2012 年出版232 页ISBN：9787113140663
本书是为高等院校传统的“计算机基础”课程编写的旨在提高与深化的后续教材，也是高起点的“计算机基础”课程的新教材。全书基于案例实验为主线开展教学，通过一系列在网络环境下学习和实践的实验练习，把计算机...
（美）Douglas Schmidt等著；张志祥等译2003 年出版402 页ISBN：7111116860
本书主要讲述了面向模式的软件体系结构。
张幼廉编著2003 年出版286 页ISBN：7508415779
本书收集了电脑用户经常使用的经典软件的使用方法和技巧，并针对用户在软件使用过程中遇到的各种常见问题给出了解决方案。为了让电脑用户能更快的理解和掌握这些内容，本书采用了“提出问题、解决问题”的方式...
