本教材主要讲解计算机五大部件的结构和原理、指令系统和总线的相关内容，共分为8章。第1章是对整个计算机的概述；第2章和第3章是介绍关于运算器部分的内容，包括各种基本元运算的实现以及运算器的硬件结构等，这就解释了“什么是程序”（程序的本质）的问题；第4章到第7章都是讲解“程序如何执行”（程序的外在）的问题，包括程序的存储（存储系统）、程序的执行（指令系统）、程序的控制（中央处理器）以及程序和结果的输入与输出（人机交互系统）；第8章简单介绍了计算机系统的总线连接。

本教材的操作系统为Win 7版本，处理软件为Office 2010版本，是根据计算机证书考试要求编写。全书有以下特点：1、根据*一级考纲编写教材内容； 2、教材含有大量截图，可操作性强；3、每章节知识附相应实验；4、有课件和素材。

本书从满足经济发展对高素质劳动者和技能型人才的需求出发，在课程结构、教学内容、教学方法等方面进行了新的探索与改革创新，以便学生 好地掌握课程内容，有利于学生理解理论知识和提高实际操作技能。本书以岗位工作过程来确定学习任务和目标，综合提升学生的专业能力、过程能力和岗位能力，以具体的工作任务 教学内容，并结合大量的动画案例，详细地讲解了二维动画知识和技能要点，让学生在完成动画案例的过程中，从实践的角度理解和掌握软件的操作技巧。

This book constitutes the refereed proceedings of the Second International Workshop on Parameterized and Exact Computation， IWPEC 2006， held in Zurich， Switzerland， in September 2006 in the context of the combined conference ALGO 2006.The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from numerous submissions. The topics addressed cover research in all aspects of parameterized and exact computation and complexity， including but not limited to new techniques for the design and analysis of parameterized and exact algorithms， parameterized complexity theory， relationships between parameterized complexity and traditional complexity， applications of parameterized and exact computation， implementation issues and high-performance computing.

This book constitutes the refereed proceedings of the 16th International Workshop on Computer Science Logic， CSL 2002， held as the 11th Annual Conference of the EACSL in Edinburgh， Scotland， UK， in September 2002.The 37 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on rewriting and constructive mathematics; fixpoints and recursion; linear and resource logics; semantics; temporal logics and games; probability， games， and fixpoints; complexity and proof complexity; ludics and linear logics， lambda-calculi; and resolution and proofs.

This book constitutes the thoroughly refereed post-proceedings of the 32nd International Workshop on Graph-Theoretic Concepts in Computer Science， WG 2006， held in Bergen， Norway in June 2006.The 30 revised full papers presented together with 1 invited paper were carefully selected from 91 submissions. The papers address all aspects of graph-theoretic concepts in computer science such as structural graph theory， sequential， parallel， and distributed graph and network algorithms and their complexity， graph grammars and graph rewriting systems， graph-based modeling， graph-drawing and layout， diagram methods， and graph-theoretical applications in various fields.

Daily life relies more and more on safety critical systems， e.g. in areas such as power plant control， traffic management， flight control， and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking， Theorem Proving， Composition and Abstraction Techniques， and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts， Industrial Applications of Model Checking， and the use of Formal Methods in Security. Finally， four annotated bibliographies give an overview of Infinite State Space Systems， Testing Transition Systems， Fault-Model-Driven Test Derivation， and Mobile Processes.

暂缺简介...

本教材根据“以服务为宗旨，以就业为导向，以能力为本位”的指导思想，采用基于工作过程的课程开发模式，用真实的案例创设情景，将理论（应知）与实践（应会）有机地结合起来，让学生在学中做、在做中学，培养学生的创造能力和可持续发展能力。本教材可作为高职、高专、成人教育计算机公共基础课程的教材。本教材由罗清主编，段益群主审，何伟文、伍文运、黄劲锋、张阳、曹敏志任副主编。由于编者水平有限，教材中如有不足之处敬请大家批评指正。

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic， CSL 2006， held as the 15th Annual Conference of the EACSL in Szeged， Hungary in September 2006.The 37 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 132 submissions. All current aspects of logic in computer science are addressed， including automated deduction and interactive theorem proving， constructive mathematics and type theory， equational logic and term rewriting， automata and formal logics， modal and temporal logic， model checking， logical aspects of computational complexity， finite model theory， computational proof theory， logic programming and constraints， lambda calculus and combinatory logic， categorical logic and topological semantics， domain theory， database theory， specification， extraction and transformation of programs， logical foundations of programming paradigms， verification of security protocols， linear logic， higher-order logic， nonmonotonic reasoning， as well as logics and type systems for biology.