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

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

交通信号协调控制理论模型与方法 【交通运输】

本书是作者在其博士论文的基础上，结合工程实践编写而成。根据交通信号协调控制理论技术的国内外研究现状，从交通控制子区划分、绿波协调控制模型建立、停车延误协调控制模型建立以及交通控制系统结构功能设计...

全国计算机等级考试三级教程 数据库技术 2013年版 【工业技术】

本书根据教育部考试中心最新颁布的考试大纲编写，是教育部考试中心组织编写的全国计算机等级考试系列教程之一。本书内容精练、实用性强、叙述通俗、简易可读，每章之后都附有一定数量的习题，是参加三级数据库技...

全国计算机等级考试三级教程 网络技术 2013年版 【工业技术】

本书根据教育部考试中心最新颁布的考试大纲编写，是教育部考试中心组织编写的全国计算机等级考试系列教程之一。本书内容精练、实用性强、叙述通俗、简易可读，每章之后都附有一定数量的习题，是参加三级网络技术...

2014考研计算机学科专业基础综合考点速记手册 【工业技术】

计算机学科专业基础综合科目包括数据结构、计算机组成原理、操作系统、计算机网络等四门课程，内容和繁多，涉及面广。为帮助广大考研学生方便学习、轻松记忆，编者根据《全国硕士研究生入学统一考试计算机学科专...

全国职称计算机考试标准教材与专用题库 AutoCAD 2004制图软件 【工业技术】

本书严格依据《全国专业技术人员计算机应用能力考试考试大纲》进行编写。其中，第0章主要是总结提炼考试重点及命题方式，为考生提供全面的复习及应试策略。其他章节则是分类归纳了考试内容，每一小节均有考点分...

计算机应用基础模块化实训教程 【工业技术】

本教材的编写理念是“强调学生能力本位”，注重对学生计算机应用能力的培养。为适应教育部对大学生计算机应用能力考试的要求，本教材涵盖了计算机基础知识、Windows 7操作系统、Word2010文字处理、Excel2010电...

计算机应用基础案例教程 【工业技术】

本书以Windows 7+Office 2010为蓝本，介绍了计算机应用基础的知识内容。全书共分7章，内容包括计算机基础知识、中文Windows 7操作系统、文字处理软件Word 2010的使用、表格处理软件Excel 2010的使用、演示文稿...

大学计算机基础 Windows 7+WPS 2012版 第4版 【工业技术】

本书内容共分10章，主要包括计算机与信息基础知识，Windows 7操作系统，WPS Office 2012中WPS文字、WPS表格和WPS演示的使用，计算机网络基础知识，因特网的使用，多媒体技术基础及应用，数据库基础，信息安全和常用工具软...

考研大纲全国硕士研究生入学统一考试计算机专业基础综合考试大纲解析 2014年版 【工业技术】