侯安平主编相关电子书下载

侯忠义主编1995 年出版379 页ISBN：7805235961

侯炳辉主编2000 年出版240 页ISBN：7505820052

（西汉）司马迁著；安平秋校译；谢杨，马哈茂德·布希阿译2015 年出版833 页ISBN：7227060616

本书的阿文翻译版本以外文出版社2008年出版的《大中华文库》汉英对照版《史记选》为底本。《大中华文库·史记选》（3卷）从《史记》中节选了31篇极具代表性的篇目，包括《秦始皇本纪》《越王苟践世家》《孔子世...

（西汉）司马迁著；安平秋校译；谢杨，马哈茂德·布希阿译2015 年出版415 页ISBN：7227060616

（西汉）司马迁著；安平秋校译；谢杨，马哈茂德·布希阿译2015 年出版1235 页ISBN：7227060616

单墫丛书主编；赵功伟副主编；周妤，查岚岚，刘丽，王凌，张勇成丛书编委；侯正海本册主编2005 年出版190 页ISBN：750154140X

本书为“奥赛”用书，供小学生及教师使用。

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

金海明，郑安平等编著2006 年出版269 页ISBN：7563511202

郭湘云，赵莉敏主编；侯勇谋，宋新家，李天禄等编1992 年出版359 页ISBN：7506706822

卜文斌，侯洪涛，尹启天主编2011 年出版340 页ISBN：7302264873

本书内容丰富，每一章都给出了大量实例，从各个侧面帮助读者了解和掌握所学的知识，提高学习效果。