中国大陆与港澳台地区土地可持续利用学术研讨会论文集

HOK可持续设计指南

本书首先提供了设计概要，说明可持续设计的目标设定、经济性和具体步骤，接下来的设计指南包含了一系列有关核查表和工程行动的设计指导信息，随后的实例分析选择了类型广泛的HOK新建及改造项目，最后附有详细的术...

非典型肺炎可防可治 远离呼吸系统疾病

本书以浅显的语言对呼吸系统疾病向读者做了全面的介绍，同时又不乏呼吸系统疾病防治的新观点，既可作为患者及家属身边的“家庭医生”，又可作为医务工作者的参考书。...

肿瘤可防可治

本书以肿瘤可防可治为主题，从三大方面讲述了什么是肿瘤，肿瘤的生长特性、转移途径、危害性等基本概念，并介绍了预防癌症的最新概念和最佳措施，如癌症的早期发现及普查，肿瘤预防的三层次概念等。全书在介绍了癌症...

逻辑公式的可满足性判定 方法、工具及应用

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

上海世博会可持续规划设计 英文版

本书结合作者五年工作实践，总结世博会园区规划中在可持续设计方面的实验与探索，在既有建筑利用、生态要素模拟、可持续规划设计方法，以及生态项目落实过程中的控制管理体系和建设实践等方面，进行了系统论述。...

可计算函数

这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。本书从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m-完全...

让可移动文物活起来

本书梳理了能让可移动文物活起来从而发挥它的历史、艺术和科学价值的诸种途径，如可移动文物保护、研究、陈列展览、社会教育、数字化、文化传播以及文化产品等等，通过对这些途径源流、功能、现状的细致分析，让...

可重构片上系统的系统级设计

本书论述系统级可编程SOCs可以解决SOCs遇到的一些问题。本书主要针对可编程SOCs进行说明，并且对系统在实际中的应用，有一定指导价值。对于高端设计流程，主要采用了基于C++语言的Systemc以及OCAPI-XL等两种方法...

区域贸易自由化 可计算一般均衡模型及应用

本书对产业竞争力评价、贸易引力模型、投入产出模型等常用的产业定量评估方法进行比较研究，发现可计算一般均衡模型在分析国际间区域贸易协定对产业经济影响具有比较优势。通过内外变量的划分，可应用于各种不...