Linux系统管理习题集 【工业技术】

本书是一本Linux的入门教材习题集，它适合于初级到中级的读者。本书使用生动而简单的生活中的例子来解释复杂的计算机和Linux操作系统概念，避免用计算机的例子来解释计算机和操作系统的概念。读者可以在没有任...

电路与信号系统实验教程 【工业技术】

本书将电路与信号系统两门课程的实验内容融会贯通，在内容上分为软件介绍、电路篇、信号系统篇、综合篇与附录，软件介绍包括EDA软件Multisim和Altium Designer,电路篇包括八个实验，信号系统篇包括三个实验，综合...

普通高等教育“十二五”规划教材 电力系统概论 第2版 【工业技术】

电力系统优化数学模型和计算方法 【工业技术】

本书针对电力系统运行、规划与控制中的一些实际问题，本书对科学研究和工程实践中的一些数学模型及数学方法进行了总结，这些模型可以归纳为非线性、线性以及随机模型等，优化方法涉及传统优化、随机优化和动态优...

高阶逻辑辅助证明系统 【工业技术】

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

货运交通系统 【交通运输】

本书根据交通系统特征，解析货运交通量的生成、分布、方式及分配；分析产业结构与货运交通的关系，探索货运交通需求预测方法；分析不同运输方式下货运交通的组成与特征，研究不同货物品种的交通方式的适应性；研究货.....

系统安装、重装与恢复必备技巧 【工业技术】

本书以技巧的形式，介绍了系统安装、重装与恢复的大量知识，包括安装系统前的准备工作、安装操作系统、安装与卸载驱动程序、安装系统补丁与系统优化、安装与使用常用软件、多系统的资源共享、操作系统备份与还...

嵌入式系统基础 【工业技术】

本书以嵌入式系统硬件以及嵌入式实时操作系统为重点，全面介绍嵌入式系统概况，ARM体系结构，ARM的指令系统，LPC2000系列ARM的硬件结构，基于源代码开放的μC/OS-II程序设计，嵌入式系统的设计与开发。本书实例典型，内...

汉语格系统句法重建和汉语起源演化问题 【语言文字】

本书是一本汉语语言专著。主要从句法重建、构式语法、语义风格的角度研究上古汉语、汉藏语系相关语族和语支及现代汉语方言集团的动词格系统和相关句法系统。本书是上海市教委科研创新项目。...

教育原理与工程 信息互动系统的视角 【文化科学教育体育】

多种视角阐述，当前信息时代，信息互动系统视角的“教育原理与工程”，则是可取的视角，为此，本书进行了全面阐述。鉴于教育与教育软件、教育研究的紧密联系，本书还阐述了信息互动系统视角的“教育软件原理与工程”.....