本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静态验证、物理验证、测试平台迁移、形式模型与等价性检查、代码静态检查与代码覆盖状况分析、定向随机测试等验证技术。本书以蓝牙系统芯片为例，各章中有结合实际的代码和脚本可供读者参考，以帮助读者进一步深入理解。本书内容全面、翔实，可作为从事系统芯片设计的工程人员、研究者和高等院校相关专业师生的参考材料，对于从事传统集成电路设计和验证的人员有较高的指导和借鉴价值。

本书全面介绍了新型64位安腾体系结构及其具有突破性的性能。通过使用标准命令行工具和大量实例，循序渐进地介绍了安腾汇编语言，并结合当代计算机体系结构的发展，详细阐述了安腾体系结构设计。本书涵盖的内容包括：·显式并行指令计算（EPIC）的潜能·安腾体系结构中的创新，例如寄存器栈引擎（RSE）和广泛使用的谓词等·过程调用以及过程调用机制·浮点操作·I/O技术，包括从简单的调试到文件的使用等·开主和源码、Intel和HP-UX编译程序的输出优化本书每章都包括翔实的数字、论述以及编程练习，并且提供了大量的参考文献和丰富的网上资源。本书可作为计算机及相关专业学生学习计算机体系结构或汇编语言的教材，也是研究人员系统了解安腾体系结构的必备资源。

本书由高职高专计算机专业教材编委会审定、推荐出版。本书系统地阐述MCS-51系列单片机的基本原理和应用技术。其中前4章着重介绍了MCS-51系列单片机的硬件结构、组成原理和指令系统，后7章主要介绍了单片机的硬件扩展技术、外围设备接口技术、模拟量输入/输出接口技术、常用驱动部件接口技术及单片机系统的开发与应用实例。本书根据高职高专教学和学生的特点，注重应用，阐述简洁，侧重实例系统性强，便于教学和学生自学。本书可用于高等职业技术学院计算机应用类专业或相关专业教材，也可用作各类工程技术人员的自学参考书。

本书从应用的角度出发，着重介绍了MCS-51单片机的硬件结构、指令系统、程序设计和系统扩展方法以及接口技术。全书共分十一章，内容包括：计算机基础知识；MCS-51单片机的结构及指令系统；汇编语言程序设计方法；输入输出和中断；定时/计数器；串行通信接口；MCS-51单片机系统的扩展；可编程接口芯片；A/D和D/A转换；人机联系接口技术和单片机的应用。本书叙述由浅入深，通俗易懂，特别适用于微机原理的初学者。本书由基本内容和扩充内容两部分组成，既可作为高等院校大专非电类专业微机原理教材，也可作为大、中专电类专业微机原理教材，还可供有关工程技术人员参考。

本书主要讲述了微型计算机结构、单片机设计的方法和一些基本单片机的结构与原理。基本常识方面介绍了单片机的发展及其意义，从单片机程序设计的基本指令功能、编程步骤和技巧来讲述单片机编程，并对MCS-51单片机的结构和原理进行讲述。最后对单片机系统的扩展以及接口技术、单片机的关键技术进行描述。 本书的最大特点是从当前单片机的基本设计常识入手，面对单片机设计的人门者和专业人士，讲述现有单片机设计技术和应用。本书最后通过大量实例对单片机的应用进行分析，所选用的实例具有一定的代表性，目的是让单片机的初学者和从事单片机应用的开发人员根据实际需要来选择应用。该书的读者对象主要是单片机设计的初学者和有一定基础的专业人士，它从最基本的原理入手，对初学者具有领路的意义；同时在书中对单片机系统的扩展和应用进行了讲述和分析，所以对专业人士也具有一定的参考价值。

“计算机组成原理”是计算机专业核心硬件课程。该课程讲授简单、完整的计算机硬件系统的基本组成原理与内部运行机制，是进一步学习计算机系统结构课程的基础。为了给学生今后从事各种技术工作奠定一个广泛而牢固的基础，要求既要了解各主要部件的工作原理，还要具有初步的设计能力。因为计算机已经成为信息处理设备，必须了解它的内部工作原理，掌握信息在计算机中的表示方法，即数制、码制、定点数、浮点数等数学信息的表示；字符等信息的表示；计算机向各部件发出的控制信息的表示。对于各大功能部件，必须了解其功能、组成原理、工作过程及其所具备的特点。为了建立整体概念，学习课程时，要把重点放在控制器和接口上。对控制器本身，要能掌握工作原理及构成方法，清楚地了解指令在机器内的分步执行过程；对于接口而言，应该学会工作原理及设计方法，清楚地了解主机与外围设备之间的信息传输方法和工作过程，从而建立起清晰的整体概念。

本书详细介绍常用数控机床的机械结构、数控系统、辅助控制系统及数控机床的安装、调试与维护技术，在数控系统部分加入了数控系统二次开发——PMC程序编制内容，简要介绍PMC的功能规划、逻辑设计和用C语言编制PMC程序的方法，并给出了完整的PMC子程序。全书按照机械、电气、辅助控制和安装调试四个部分讲述。本书简明扼要，深入浅出，理论结合实践，是一本针对性和实用性较强的教材。本书可作为数控技术专业、机电一体化专业和机械制造专业的大中专教材，也可作为初、中级数控技术人员的培训用书和从事数控机床设计、数控机床销售与维护服务的工程技术人员的参考书。

本书共分为8篇，24个章节。第一篇是基础入门篇，对电脑的主要硬件装备和软件装备做了全面的概述；第二篇是硬件选购篇，详细介绍了最新硬件的基础知识、实战选购经验与打假技巧，以及硬件使用技巧；第三篇是装备方案篇，为读者安排了电脑报推荐的2005年5个大类21个行业细分的电脑装机方案榜中榜；第四篇是硬件组装篇，内容包括电脑硬件组装流程与全程图解、BIOS设置与升级、硬盘分区和格式化等；第五篇是系统软件篇，简要介绍了主流操作系统和驱系统程序的安装；第六篇是网络应用篇，介绍了Internet上网和共享上网的3种方式，以及局域网的组建和应用；第七篇是外设组装篇，重点讲解了办公设备，影音设备和游戏控制器、手写板等外设的选购与使用，以及数码产品应用技巧；第八篇是故障维护篇，在介绍电脑维护与故障判断的基础上，全面、详细地讲解了电脑硬件、操作系统、热门软件和网络应用等常见的故障与解决方案。 本书内容覆盖全国，知识点丰富，实用性强，是广大计算机爱好者学习和应用计算机的必备实用资料手册，也是计算机及相关专业学生学习和应用计算机的优秀教材。 配套光盘：电脑组装视频教学；“网易”“电脑报”“博客中国”三大强势媒体联合推荐5000个实用网址大全；精品硬件测试工具大礼包；最新硬件驱动程序、BIOS刷新程序工具包；《电脑组装与维护教程》电子书。

电脑用户在使用电脑的过程中经常遇到死机、运行速度慢等各种疑难问题。它们在找不到高手指导的情况下，急需一本问题速查的书籍从实用、便捷的角度出发，讲述具体的应对方法及处理技巧。 本书针对以上情况精心组织了电脑启动及运行中的软硬件故障、上网死机故障、系统备份与还原方法、系统重装技巧等内容，把故障消灭在萌芽状态。相信你也能成为屡破疑难的电脑专家，成为拯救自己爱机的英雄！

第一部分0ffice2003综述第一章Office2003综述2第一节Office组件简介2第二节Office2003的安装6第三节“Office助手”7第四节获取帮助9第二部分Word2003第一章初识Word200314第一节认识Word2003的界面14第二节输入文字16第三节简单的排版17第四节打印文档20第五节存盘和退出20第六节重新打开文档22第七节使用多种方式新建文档22第八节多文档切换23第二章文档的编辑27第一节文字的复制和粘贴27第二节文字的选定27第三节文字的移动28第四节文字的剪切28第五节光标的定位28第六节文字的删除29第七节查找和替换29第八节撤消和恢复30第九节插入符号30第十节大有用处的“自动更正”131第三章基本的排版34第一节文字的格式34第二节段落的格式35第三节项目符号和编号37第四节边框和底纹38第五节使用汉语拼音39第四章页面设置和打印43第一节页面设置43第二节页眉和页脚44第三节打印预览和打印46第四节阅读版式47第五章使用表格．49第一节插入表格49第二节合并和拆分单元格5l第三节单元格的格式51第四节绘制表格52第五节插入行、列、单元格53第六节调整表格大小54第七节表格的复制和删除55第八节表格的格式设置55第六章图片的使用61第一节插入图片61第二节调整图片大小和位置62第三节插入剪贴画63第四节图片的版式65第五节图像控制66第六节在wlord中绘图66第七章插入对象73第一节使用公式编辑器73第二节插入艺术字74第三节使用文本框76第四节插入声音和视频76第八章使用样式81第一节使用样式有什么好处81第二节用样式设置文本格式82第三节创建新样式83第四节修改样式85第五节删除和替换样式86第六节利用样式生成目录87第七节使用文档结构图快速定位88第九章高级排版91第一节格式刷的使用91第二节替换格式91第三节文字竖排92第四节分栏排版93第三部分Excel2003第一章初识Excel98第一节第一次启动Excel98第二节打开和新建工作簿99第三节保存工作簿100第四节多文档切换100第五节熟悉工作环境10l第六节Excel的工作表102第二章基本的操作106第一节编辑单元格106第二节快速填充单元格107第三节选定单元格108第四节复制单元格109第五节撤消与恢复1ll第六节查找和替换数据111第三章简单的计算114第一节单元格数字的计算114第二节自动求和功能115第三节插入和删除列116第四节工作表的复制117第五节调整工作表118第四章工作表的格式和样式114第一节设置文本格式121第二节单元格格式的设置122第三节使用样式125第四节使用条件格式126第五节工作表背景127第六节隐藏行和列127第五章使用图表132第一节建立图表132第二节格式化生成的图表136第三节白定义图表139第四节修改图表140第五节生成柱形图142第六节趋势线的使用143第七节调整图表文字144第八节设置柱形图表格式146第九节添加系列147第十节几种常用的图表147第六章使用公式与函数152第一节创建公式152第二节编辑公式153第三节引用不同工作表的数据153第四节函数的使用154第七章数据的综合处理158第一节数据的排序158第二节数据的筛选160第三节分类汇总与分级显示162第四节数据透视表的使用164第五节引入外部数据169第四部分PowerPoint2003第一章PowerPoint综述176第一节PowerPoint可以做什么176第二节：PowerPoint精彩实例177第二章从零开始制作演示文稿182第一节创建第一个演示文稿182第二节演示文稿的保存187第三节演示文稿的简单修饰189第三章丰富演示文稿的内容194第一节添加幻灯片194第二节插入图片197第三节插入表格202第四节插入图表206第五节给幻灯片插入编号215第六节插入声音和影片216第四章各种视图及其相互切换222第一节普通视图222第二节幻灯片浏览视图227第三节幻灯片放映视图229第五章演示文稿的复杂修饰231第一节设置配色方案231第二节设置幻灯片背景233第三节设置幻灯片母版239第六章幻灯片的放映248第一节幻灯片的切换248第二节自定义动画250第三节自定义放映254第七章演示文稿中的超级链接257第一节超级链接257第二节动作设置260第三节删除超链接264第五部分Outlook2003第一章使用Outlook管理邮件268第一节Outlook2003可以做什么268第二节使用Outlook2003收发邮件269第三节管理Outlook2003中的邮件273第四节撰写邮件283第五节组织邮件289第二章使用Outlook管理办公事务292第一节使用日历292第二节联系人管理295第三节使用便笺和任务功能299第三章Outlook高级应用305第一节使用新闻组305第二节邮件合并309第三节自动创建功能313第四节查找项目和文件314第五节使用数据文件备份邮件和任务318