面向云计算环境的访问控制技术 【工业技术】

随着云计算及大数据技术的快速发展及应用，云计算安全问题成为广泛关注的对象，本书将在梳理相关云计算技术的基础上，以访问控制技术为核心，系统的阐述云计算环境下访问控制的现状、模型、技术及应用等，系统的介绍...

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

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

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

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

基于 Eclipse 环境的 J2ME 应用程序开发 【工业技术】

本书全面介绍在Eclipse平台下进行Java ME开发的各项最新技术，内容涵盖了基于Eclipse环境的Java ME开发的各个方面，是一本学习Java ME开发技术的手册。...

绿色工作室设计手册 环境方案的设计策略 【工业技术】

本书是一本有关建筑策略的手册，包含了目前国际上主流的各项绿色建筑设计建造技术，分别从技术的使用条件、设计施工方法、建后效果计算与评价进行讲解，十分适合在建筑设计的初期查阅，以确定在设计中所运用的绿色...

社会、人和城市规划的理性思维 【工业技术】

空间与环境 室内设计的方法与实施 【工业技术】

不同的室内环境会给人不一样的感觉，可以反映出一个地域的历史文脉、建筑风格、环境气氛等内容。室内设计涉及了多方面的内容，是一门综合艺术，对设计中各方面要素不同的处理就会形成不同的风格。本书详细论述了...

当代社会经济的基础-信息技术 【工业技术】

空间的文化形式与社会理论读本 【工业技术】

无穷的潜力 核技术与社会 【工业技术】