硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches 【工业技术】

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

小熊和最好的爸爸 看世界 【文学】

小熊和最好的爸爸 我长大了 【文学】

跨越的足迹：质量技术监督的创新和实践 【经济】

本书总结了江西省质量技术监督系统近年来取得的跨越式发展的经验，深刻论证了质监工作在经济社会发展中的地位和作用。

信仰 如何塑造齐心协力的员工和组织 【经济】

历史的割据与更迭五代十国和两宋 【历史地理】

岩画中的文字和文字中的历史 【历史地理】

本书通过对贺兰山及其他处岩画的解读，透过岩画的表象，分析读出了岩画中包含的文字信息，通过解读证明，中华民族有过时间漫长的大同时代。...

如何开办和经营自己的公司 【经济】

如何成立自己的公司，如何融资、经营及获利是本书向读者传授的。

遥远的村居 良渚文化的聚落和居住形态 【历史地理】

本书从龙南、仙坛庙、绰墩、庙前、卞家山等良渚文化遗址考古发掘获得的第一手资料入手，根据考古迹象研究复员良渚时期的聚落形态以及先民居住址方面的基本状况。...

人类社会的细胞和纽带 家庭婚姻史 【社会科学】

文明史系列读本（全24册），ISBN：9787216049320，作者：