《交互式定理证明与程序开发：Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可以下载并执行所有证明的例子，而且还提供了书中200个练习的答案。 Coq是一个用于验证定理的证明是否正确的计算机工具。在推理和编程方面，Coq的语言都拥有足够强大的能力和表达能力，可以构造简单的项，执行简单的证明，直到建立完整的理论，学习复杂的算法。 这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》是·本很有价值的教材，它为初学者提供基础训练，为有经验的人提供必要的专业知识，帮助学习者开发有实用价值的数学证明。

《交互式定理证明与程序开发：Coq归纳构造演算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可以下载并执行所有证明的例子，而且还提供了书中200个练习的答案。 Coq是一个用于验证定理的证明是否正确的计算机工具。在推理和编程方面，Coq的语言都拥有足够强大的能力和表达能力，可以构造简单的项，执行简单的证明，直到建立完整的理论，学习复杂的算法。 这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》是·本很有价值的教材，它为初学者提供基础训练，为有经验的人提供必要的专业知识，帮助学习者开发有实用价值的数学证明。

鉴于实用性、趣味性和对学习者的注重，《交互式培训》中文第一版在中国出版后很快就成为了职业培训师、企业内部培训师和企业管理者的*爱，同时也受到了学校教师、家长以及其他从事教育和指导工作及团队领导者的推崇。对《交互式培训：让学习过程变得积极愉悦的成人培训新方法（第2版）》的追随是一种漫长的等待，但是第二版绝不会让你失望。它细心地保留了第一版轻松、有趣、与读者互动的风格，同时引入了近年来先进的培训方法，为《交互式培训：让学习过程变得积极愉悦的成人培训新方法（第2版）》增添了时代性价值。这个更新、更广、更具价值的版本涵盖了所有优秀培训师需要掌握的内容，以及： ◆关于科技手段与在线学习的大量新章节 ◆创造出精彩、以学习者为中心的培训课程的方法 ◆广泛的证据和研究来支持成人学习 ◆改进现有培训计划及内容的方法 ◆对成人学习基本原则的应用更深入的解释 ◆鼓励学习者...(展开全部)

本书通过对成人学习者的学习与工作方法的研究，向企业提供了可以提升员工学习效果与业绩的培训方案。本书引入了大量练习，目标是向培训师介绍杰出的培训原则。作者主张成人培训要以学习者为中心，学习不能变成培训师对学习者的简单灌输。培训师需要引导、激励学习者自愿主动地吸收新知识，掌握新技能。同时，成人培训需要教学者和学习者之间的对话，也就是进行交流和有意义的互动，从而改变学习者。如果你相信学习是愉快的、交互式的，如果你想要做真正的有效的培训，那么本书可以帮你成为一个好培训师。

本书深入浅出介绍了人机交互系统的原理与应用，内容涉及电子原理基础、设备选型、建立集成电路、微处理编程、计算机通信、转换和交互设计、传感控制、设备间通信、声光控制、多媒体输入和输出管理等。本书内容实用，难易知中，图例丰富、理论知识和实际应用结合紧密，适合作为计算机、电子工程及相关工科专业的本科高年级和研究生教材使用。

欢迎选择一种更高效的学习JavaScript和jQuery的方式。 你是一名JavaScript新手?或是您曾经向自己的Web页面上添加过一些脚本，但想以一种更好的方式来实现它们？本书非常适合您。本书不仅向您展示如何阅读和编写JavaScript代码，同时还会以一种简单且视觉化的方式，教您有关计算机编程的基础知识。阅读本书之前，您只需要对HTML和CSS有一些了解即可。 通过将编程理论与用来演示JavaScript和jQuery如何被应用于流行站点之上的示例相结合，本书将教会您如何让网站更具交互性、吸引性、可用性。很快，您就能够像一名程序员那样去思考和编写代码了。

欢迎选择一种更高效的学习JavaScript和jQuery的方式。 你是一名JavaScript新手?或是您曾经向自己的Web页面上添加过一些脚本，但想以一种更好的方式来实现它们？本书非常适合您。本书不仅向您展示如何阅读和编写JavaScript代码，同时还会以一种简单且视觉化的方式，教您有关计算机编程的基础知识。阅读本书之前，您只需要对HTML和CSS有一些了解即可。 通过将编程理论与用来演示JavaScript和jQuery如何被应用于流行站点之上的示例相结合，本书将教会您如何让网站更具交互性、吸引性、可用性。很快，您就能够像一名程序员那样去思考和编写代码了。

《嵌入式系统与Qt程序开发》一书主要讲述了基于Qt的嵌入式图形化界面程序的开发，从准备工作开始讲述直到网络程序的开发。本书主要分为三大部分：第1部分包含了第1章，主要讲述了虚拟机和Qt的安装、配置和使用，为后续章节做好准备；第2部分包含了第2～4章，每章都用两种方法实现相同的功能，从而引导读者入门；第3部分包含了第5、6章，实现了串口通信和网络通信两个实例。本书可作为高职高专院校电子信息类相关专业学生的教材，也适合作为Qt图形化界面开发初学者的参考书。

本书是一本入门级的Web前端开发教材，以通俗易懂的语言、丰富实用的案例，帮助初学者快速掌握JavaScript技术和jQuery技术，并能够运用JavaScript技术和jQuery技术开发交互式Web前端项目。 全书共12章。第1~5章讲解JavaScript的基础知识；第6~8章讲解DOM和BOM的相关知识；第9章和第10章讲解jQuery的相关知识和使用方法；第11章讲解JavaScript面向对象的相关知识；第12章讲解正则表达式的使用。 本书配套丰富的教学资源，包括教学PPT、教学大纲、教学设计、源代码、习题及答案等，为了帮助读者更好地学习本书中的内容，作者还提供了在线答疑服务。 本书适合作为高等教育本、专科院校计算机相关专业的教材，也可作为Web前端开发爱好者的参考书。

《嵌入式Linux应用程序开发详解》主要分为3个部分，包括Linux基础、搭建嵌入式Linux环境和嵌入式Linux的应用开发。Linux基础部分从Linux的安装过程、基本操作命令讲起，为Linux初学者能快速入门提供了保证。接着系统地讲解了嵌入式Linux的环境搭建，以及嵌入式Linux的I/O与文件系统的开发、进程控制开发、进程间通信开发、网络应用开发、基于中断的开发、设备驱动程序的开发以及嵌入式图形界面的开发等，并且还安排了丰富的实验内容与课后实践，使读者能够边学边用，更快更好地掌握所学知识。