韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320
国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...
中国石油勘探与生产分公司编2006 年出版235 页ISBN：7502156860
本书总结了中国石油天然气股份有限公司近年来在精细油藏描述工作取得的主要成果以及储层描述技术、三维地质建模技术和数值模拟技术的进展。可供从事油田开发专业的科研、管理人员参考。...
杨东明著2000 年出版287 页ISBN：7508021738
本书以引人入胜的故事、丰满的人物形象、精彩的文笔，冷峻而犀利地解剖了当代人在婚姻与性爱问题上的困惑，深刻揭示了人类性爱与社会道德之间的难以化解的矛盾冲突……。...
张公忠等编译1981 年出版143 页ISBN：15235·14
张公忠等编译.DJS-040微型计算机系统硬件用户手册.北京：清华大学出版社
陈镇，王静等编著2009 年出版272 页ISBN：9787111262879
本书根据先软件后硬件，先基础后专业的编辑技巧，分为软件维修篇、硬件维修篇以及附录篇介绍软硬件维修的相关知识。
2000年传说 宗教徒、先知、天文学家、占卜士描述的千年之末
（法）吉尧姆·德·布莱维尔著；苗乃川编译1999 年出版287 页ISBN：7806453512
周俊杰著2016 年出版322 页ISBN：9787540136413
本书主要是以美学的基本原理、主客观关系为基础、审美为轴心，研究书法的艺术性质和规律。它不同于一般艺术理论，侧重从实践的角度阐述书法艺术创作规律、与社会、生活的关系；它所研究的许多问题的高度是哲学问...
宇传华译；（美）阿夫拉姆·斐拉克曼2019 年出版163 页ISBN：9787307208513
这是第一本将疾病进展的系统动力学模型与流行病学率的统计学模型相结合的、全面考虑所有疾病可用数据的全球疾病负担（GBD）的研究书籍，阐释了GBD研究的核心方法。GBD研究结果可作为卫生健康各级政府和非政府机...
