感测与量度工程 第6版

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

君子规 十义弟子规

本书包括十部分内容：一、仁：仁爱精神是中华民族精神的核心，“仁”列于“五常”之首。二、义：即行为中表现出来的正义精神。三、礼：礼是道德行为规范与文明行为规范的总和。四、智：包括重视教育的精神、重视文化.....

教育规准论

弟子规

《弟子规》新解读本。为丛书《中华圣贤书》之一。

图解弟子规

本书以图文并茂的形式和形象生动的故事阐明了《弟子规》所讲的道理和做人的准则。

弟子规密码

本书作者对清代的《弟子规》这一国学经典的作者李毓秀的生平经历、成书过程等进行了大量地调查研究，提出一家之言，并对《弟子规》进行了解读。...

钱文忠解读《弟子规》 学生版

金融发展的伦理规制

本书对金融发展中的不正当问题进行分析，给出了伦理规制的路径。

钟博士讲解弟子规

本书主旨在于弘扬中国传统文化，全书以孝为核心，力图以传统文化矫正时弊，并以道德品行为做人的基础，获得幸福成功的人生。