《计算机组装与维护技术实训教程（第2版）/21世纪高等学校计算机基础实用规划教材》从计算机组装与维护的实训出发，结合计算机系统最新发展动态，讲解了计算机硬件组成、硬件选购和组装、BIOS设置、硬盘分区、软件系统安装、移动网络组建、系统安全维护与故障处理、数据备份与恢复等技术细节，虚拟化技术的概念及虚拟机VMWareWo

形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成规律。高芸编著的《形式语义学研究》介绍了经典形式语义学理论的两个重要代表一一塔斯基真值语义理论和蒙太格语法，描述了动态语义学理

《形式语义学引论/当代语言学理论丛书》详细介绍形式语义学的基本内容、主要技巧和方法，可供大学语言和语言学专业的高年级本科学生及硕士、博士生作研习、参考之用。对自然语言分析和处理感兴趣的计算机、数学、哲学、逻辑和人工智能专业的学生也可从本书中获得系统的语义学知识。 本书内容的取舍并非简单地照搬一些外文教科书，在章节安排

李建忠等编著的《单片机原理及应用(第3版）》以中、小规模单片机应用系统普遍采用的51系列单片机为对象，系统地介绍了单片机的硬件结构与原理、指令系统与程序设计、外部功能扩展、并行与串行总线的接u技术、单片机应用系统的软硬件结构与开发方法、C语言应用程序设计等内容。《单片机原理及应用(第3版）》注重知识的内在联系与规律，采

jQuery程序设计基础教程(工业和信息化普通高等教育“十二五”规划教材)

本书从不同的视角介绍了Node内在的特点和结构。由首章Node介绍为索引，涉及Node的各个方面，主要内容包含模块机制的揭示、异步I/O实现原理的展现、异步编程的探讨、内存控制的介绍、二进制数据Buffer的细节、Node中的网络编程基础、Node中的Web开发、进程间的消息传递、Node测试以及通过Node构建产品需

《微机测控系统原理与设计/高等学校教材》全面系统地阐述了基于80C51单片机的微机测控系统的整机原理和总体设计。内容包括：绪论、测控通道、80C51单片机及其接口、测量数据处理、PID控制算法、监控程序设计、抗干扰技术、微机测控系统设计及实例、微机测控系统新技术。书中给出了大量的实用硬件电路和软件程序。《微机测控系统原

《PLC控制系统设计与实践项目教程/高等职业教育“十二五”规划教材》以西门子S7-200PLC为例，按照项目引领、任务驱动的方式编写。内容包括5个项目，共计18个任务。5个项目分别是电动机PLC控制系统设计、信息显示及报警控制系统设计、机电设备控制系统设计、PLC通信控制系统设计及恒压供水控制系统设计。《PLC控制系统

《计算机控制系统（第2版）/21世纪全国高等院校自动化系列实用规划教材》讲述了计算机控制系统的基本概念，总结了计算机控制系统的分析方法和具有实用价值的设计方法，介绍了正在蓬勃发展的本书阐总线控制技术和网络技术系统，并简要介绍了计算机控制系统的设计及其实现，形成了一套较完整的、充实而又实用的计算机控制系统分析和设计的基本

《预测控制（第2版）》是1993年由国防科技图书出版基金资助、国防工业出版社出版的专著《预测控制》一书的修订版。原《预测控制》一书是国内首部预测控制方面的专著，该书从总体概念、基础算法及理论分析、实用算法及应用技巧等方面多角度地描绘了预测控制的丰富内容。修订版将保持原书的这一基本框架，即反映预测控制的基本原理和算法、系