（美）桑德拉·门德勒，（美）威廉·奥德尔著2006 年出版398 页ISBN：7508428641
本书首先提供了设计概要，说明可持续设计的目标设定、经济性和具体步骤，接下来的设计指南包含了一系列有关核查表和工程行动的设计指导信息，随后的实例分析选择了类型广泛的HOK新建及改造项目，最后附有详细的术...
防火墙淑芳，葛志弘，刘令伶编著2003 年出版155 页ISBN：7543304880
本书以浅显的语言对呼吸系统疾病向读者做了全面的介绍，同时又不乏呼吸系统疾病防治的新观点，既可作为患者及家属身边的“家庭医生”，又可作为医务工作者的参考书。...
徐光炜著2011 年出版199 页ISBN：9787117137157
本书以肿瘤可防可治为主题，从三大方面讲述了什么是肿瘤，肿瘤的生长特性、转移途径、危害性等基本概念，并介绍了预防癌症的最新概念和最佳措施，如癌症的早期发现及普查，肿瘤预防的三层次概念等。全书在介绍了癌症...
张健著2000 年出版172 页ISBN：7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
吴志强主编2010 年出版168 页ISBN：9787112124770
本书结合作者五年工作实践，总结世博会园区规划中在可持续设计方面的实验与探索，在既有建筑利用、生态要素模拟、可持续规划设计方法，以及生态项目落实过程中的控制管理体系和建设实践等方面，进行了系统论述。...
（俄罗斯）沈（A·Shen），（俄罗斯）韦列夏金（N·K·Vereshchagin）著；陈光还译2014 年出版159 页ISBN：9787040386929
这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。本书从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m-完全...
湖北省博物馆协会，湖北省文物交流信息中心，湖北省博协高校博物馆专委会主编2015 年出版381 页ISBN：9787307171671
本书梳理了能让可移动文物活起来从而发挥它的历史、艺术和科学价值的诸种途径，如可移动文物保护、研究、陈列展览、社会教育、数字化、文化传播以及文化产品等等，通过对这些途径源流、功能、现状的细致分析，让...
（希）沃尔斯（Voros，N.S.）等编著2007 年出版231 页ISBN：7030182456
本书论述系统级可编程SOCs可以解决SOCs遇到的一些问题。本书主要针对可编程SOCs进行说明，并且对系统在实际中的应用，有一定指导价值。对于高端设计流程，主要采用了基于C++语言的Systemc以及OCAPI-XL等两种方法...
赖明勇，祝树金著2008 年出版261 页ISBN：7505869043
本书对产业竞争力评价、贸易引力模型、投入产出模型等常用的产业定量评估方法进行比较研究，发现可计算一般均衡模型在分析国际间区域贸易协定对产业经济影响具有比较优势。通过内外变量的划分，可应用于各种不...
（英）安德烈娅·哈特编著2019 年出版108 页ISBN：9787100168823
本书精选了伦敦自然博物馆图书馆和档案馆收藏的超过100种精美艺术作品，涵盖了三百年的英国历史，包括威廉·麦吉利弗雷，摩西·哈里斯以及艾德华·威尔森等主要人物的作品，为已出版图书《可装裱的印度博物艺术》...
