大约有8,000项符合查询结果项。（搜索耗时：0.0205秒）
为您推荐： 计算机应用文摘 mcs 51 96系列单片微型计算机及其应用 建筑工程常用计算速查手册基于excel应用 大学计算机应用基础项目化教程 智能计算平台应用开发 微型计算机basic语言及其应用
-
-
Linux系统管理习题集 【工业技术】
何明编著2013 年出版153 页ISBN：9787302309352本书是一本Linux的入门教材习题集，它适合于初级到中级的读者。本书使用生动而简单的生活中的例子来解释复杂的计算机和Linux操作系统概念，避免用计算机的例子来解释计算机和操作系统的概念。读者可以在没有任...
-
电路与信号系统实验教程 【工业技术】
林红，陈雪勒，李富华等编著2013 年出版163 页ISBN：9787567207219本书将电路与信号系统两门课程的实验内容融会贯通，在内容上分为软件介绍、电路篇、信号系统篇、综合篇与附录，软件介绍包括EDA软件Multisim和Altium Designer,电路篇包括八个实验，信号系统篇包括三个实验，综合...
-
电力拖动与控制 第2版 【工业技术】
原机械工业部统编2013 年出版192 页ISBN：9787111423546本书主要内容有：常用低压电器、电力拖动基本环节、常用机床电气控制电路、电机扩大机及其控制系统、电子技术在生产机械中的应用等。书中除讲解电器和设备的基本原理外,还介绍了有关修理与维护的实用技术,力...
-
高阶逻辑辅助证明系统 【工业技术】
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
系统安装、重装与恢复必备技巧 【工业技术】
导向工作室编著2013 年出版212 页ISBN：9787115308900本书以技巧的形式，介绍了系统安装、重装与恢复的大量知识，包括安装系统前的准备工作、安装操作系统、安装与卸载驱动程序、安装系统补丁与系统优化、安装与使用常用软件、多系统的资源共享、操作系统备份与还...
-
-
汉语格系统句法重建和汉语起源演化问题 【语言文字】
朱琳著2013 年出版199 页ISBN：9787548605577本书是一本汉语语言专著。主要从句法重建、构式语法、语义风格的角度研究上古汉语、汉藏语系相关语族和语支及现代汉语方言集团的动词格系统和相关句法系统。本书是上海市教委科研创新项目。...
-
教育原理与工程 信息互动系统的视角 【文化科学教育体育】
黄景碧工，黄纯国著2013 年出版164 页ISBN：9787302332237多种视角阐述，当前信息时代，信息互动系统视角的“教育原理与工程”，则是可取的视角，为此，本书进行了全面阐述。鉴于教育与教育软件、教育研究的紧密联系，本书还阐述了信息互动系统视角的“教育软件原理与工程”.....