单片机系统设计、仿真与应用 基于Keil和Proteus仿真平台 【工业技术】

本书主要介绍单片机系统设计和应用，使用Keil软件平台进行单片机的C语言程序开发，使用Proteus硬件仿真平台进行仿真，所有设计基本都基于统一的原理图。...

命运的模型 下 【文学】

命运的模型 上 【文学】

基于ARM9嵌入式Linux系统开发原理与实践 【工业技术】

本书从嵌入式Linux系统入门必备知识点、嵌入式Linux系统的构建、驱动程序开发和应用程序设计几方面介绍了嵌入式Linux的基本知识、相关原理和时间，怎样构建嵌入式Linux系统相关原理和实践，驱动程序开发和应用...

基于工作过程系统化 Photoshop设计与应用教程 【工业技术】

本书对photoshop目前从业人员的工作任务总结细化模拟再现出七个学习情境，包括绘制图形，特效文字，图形图像处理，封面设计，海报平面广告类，网站界面设计，以及CG插画类，本书中的许多方法都可以直接应用于实践，并可......

基于项目式的Windows Server 2008网络操作系统教程 【工业技术】

本书结合企业实际的网络环境，由浅入深，上册系统地介绍了windowsserver2008系统的部署与管理，包括WindowsServer2008系统网络环境、基本管理与应用、各种服务器的配置、应用活动目录的设计与应用等内容。下册系...

集合论含有原子的自然模型和布尔值模型 【数理化】

本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的...

嵌入式系统开发基础 基于ARM9微处理器C语言程序设计 【工业技术】

本书对32位精简指令系统嵌入式微处理器S3C2410的研究系统和C语言驱动程序进行了详细的讲解。

国际贸易网络的测度和演化模型研究 【经济】

建模的数学方法与数学模型 【数理化】

本书包含初等方法建模、微分法、差分法建模、微分方程定性理论建模、线性规划、动态规划、层次分析方法和图论方法建模。