努力实现环境可持续的现代化 2003年上海资源环境蓝皮书

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

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

健康的真相 走出99个可致命的健康误区

在我们的生活中，存在数以千计的医学谬误。有一些是我们祖先传下来的风俗习惯，有些是流传已久的理念，有些是网上不断涌现出的新观点……我们常常视这些谬误为真理，结果却对我们的身体和生活造成了不良的影响。本...

基于金融资源空间配置非均衡的经济欠发达地区金融改革发展

本书初步构建了一个分析中国金融资源空间配置的理论框架。运用空间经济学的自由资本模型对金融资源空间配置进行了理论分析，实证分析了中国金融资源空间配置的现实特征及表现，定性分析了中国金融资源空间配置...

潜在变量模型的贝叶斯模型选择

潜在变量模型常用于分析潜在以及显变量之间的关系，在模型的统计推断中，模型选择是一个非常重要的问题，近年来，贝叶斯方法在模型估计及模型选择问题中的应用比较热门，本书以潜在变量模型为研究对象，主要研究贝叶.....

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

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

可装裱的英国博物艺术

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

可持续的梦想 环境与经济

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

民族唱法与西洋唱法在发音上主要有什么差别、应用不正确的发音方法唱民族一般有什么缺点、如何应用科学方法纠正这些缺点

政治经济学 第一、二、三篇 政治经济学和社会发展的规律 政治经济学研究的一般社会范畴与概念 资本主义前诸社会形态 初译稿