OSEK/VDX汽车电子嵌入式软件编程技术

本书由欧洲汽车行业制定、将各种先进汽车电子设备有机集合在一起、网络化嵌入式计算机系统的开发规范OSEK/VDX，主要包括操作系统、通信、网络管理和OSEK实现四个标准。...

新世纪电脑实用工具软件应用教程

本书介绍目前最为常用的电脑实用工具，包括系统工具、网络工具、娱乐工具、图文工具和系统安全工具5个部分，以“实用工具”为出发点，使用任务驱动的形式，介绍了系统优化、硬件提速、数据备份与还原、硬盘格式化...

ArcGIS软件应用·实验指导书

本实验指导书主要以图文解说的方式对ArcGIS10软件的操作和使用技巧进行全面详细地介绍。全书分4篇，共16个实验。第1篇重点介绍ArcGIS常用的Shapefile、Coverage、Geodatabase三种矢量数据的创建与维护。第2...

最新电子器件置换手册 软件版

本手册全面汇编了国内外电气与电子设备中所使用的晶体二极管、晶体三极管、晶闸管以及场效应晶体管及其模块的实用关键参数和代换型号，对于每一种电子器件，主要内容包括三部分：第一部分介绍该器件手册的查询方...

软件测试教程

本书全面介绍了软件测试的基本原理和一般方法，同时全面阐述近几年出现的一些新的软件测试方法，结合实例，介绍了目前比较流行的软件测试工具。全书共分10章，分别为：软件测试概述、软件缺陷、软件缺陷、黑盒测试，.....

软件开发过程与项目管理

本书通过基于用JSP和Java编写的“项目工单管理系统”应用程序，把软件工程的概念、理论、方法和技术融入到具体项目中，让学生在直观的事例中体会和理解知识，并安排一定的实训学时，按照项目管理方法，让学生分组进...

化学实验技能及软件应用=Origin chemoffice design-expert excel

ARM SoC设计的软件和硬件协同验证

本书是一本硬件/软件协同验证技术相关信息的书。传统的潜入式系统设计已经发展成为单个芯片的设计。在这个SoC设计的时代，芯片现在已经把微处理器包含在内，而且，还要求软件在硬件装配好之前就能开发出来。本书...

软件可靠性方法

本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...

办公软件高级应用案例教程

本书是为高等院校传统的“计算机基础”课程编写的旨在提高与深化的后续教材，也是高起点的“计算机基础”课程的新教材。全书基于案例实验为主线开展教学，通过一系列在网络环境下学习和实践的实验练习，把计算机...