基于环境的软件近似正确性 【工业技术】

本书基于进程代数理论中的通信系统演算（CCS）模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度，以参数化互模拟和三分之二互模拟为基础，建立了参数化互模拟和三分之二互模拟的无限演化理论...

地理学视野下的矿业遗产研究 【工业技术】

基于自然资源的采掘和利用，矿业遗产是兼具自然和文化遗产性质的遗产类型。因此，兼具自然与人文科学性质的地理学科，在矿业遗产研究领域，具有明显的学科优势。本研究即以地理学为视野，以时间、空间和人地关系为理...

图说天下 国家地理 今生的100次浪漫之旅 【历史地理】

《今生的100次浪漫之旅》一书，精选了全球100处浪漫的地方，为热爱生活的读者策划了100次浪漫气息浓郁的出行。和煦的阳光，柔软的沙滩，清澈的海水，别致的度假村……不一样的风情，不一样的浪漫感觉。私奔的理想地，梦....

依法行政 法治社会的根基 【政治法律】

新媒体环境中的博物馆 跨媒体、参与及伦理 【文化科学教育体育】

本书精辟地分析了数字媒体运用于博物馆工作所面临的矛盾，讨论了什么是真正的参与。基于原创的实验研究以及大量的案例分析，作者从多个不同方面探讨了博物馆在媒体传播中存在的问题，说明在博物馆研究中，文化逻辑...

心理健康教育视域下的校园心理生态环境建设 【文化科学教育体育】

本书对大学生心理健康视域下的校园心理生态环境建设，从理论到实践层面进行了论述，全书共分七章，三大部分，将哲学、教育学、生态学、心理学对心理生态环境的论述进行整合，并以积极心理学为导向，体现了现代心理教.....

封建社会 上 依附关系的成长 【历史地理】

资源与环境制约的应对途径分析 【经济】

国工业企业的快速发展走的是高能耗、高污染、粗放型增长的路径。虽然经济发展成就显著，但这种发展也遇到了前所未有的严峻挑战，即日益严重的资源短缺、环境污染的瓶颈制约问题。本书首次运用企业生态理论对该...

不确定环境下的机器调度问题研究 【经济】

本书采用建立的模型和设计的算法进行了大量的数据仿真，仿真结果表明模型和算法能够较好地解决不确定生产调度问题。本书用三角模糊数来描述工件的加工时间的不确定性，对于维护时间窗的不确定性则采用模糊随机...

古代思想文化的世界:春秋时代的宗教、伦理与社会思想 【其他书籍】