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

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

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

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

可计算函数

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

让可移动文物活起来

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

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

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

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

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

可装裱的英国博物艺术

本书精选了伦敦自然博物馆图书馆和档案馆收藏的超过100种精美艺术作品，涵盖了三百年的英国历史，包括威廉·麦吉利弗雷，摩西·哈里斯以及艾德华·威尔森等主要人物的作品，为已出版图书《可装裱的印度博物艺术》...

第三届中国城市住宅研讨会论文集 可持续环境 城市住居质素

可持续的梦想 环境与经济

文明人跨过地球表面，他们的足迹所到之处，留下一片荒漠。“一面是人口爆炸和环境污染引发的不可再生资源的耗竭，一面是靠高消费、超前消费拉动的GDP增长装点着的现代社会的繁荣。”今天的人们，关心经济危机、金...

新疆生产建设兵团可持续农业技术创新研究

本书结合兵团特殊管理体制和农业生产管理特点的实际，对兵团可持续农业技术创新的相关问题作了认真深入的思考和研究。首次从定量角度分析兵团农业可持续发展能力，建立可持续农业技术创新动力机制模型等。...