B方法与形式化软件开发技术研究 【工业技术】

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

影视绿幕技术完全手册 拍摄、抠像与合成 【艺术】

本书综合讲解了国外大工作室中使用绿屏的整个制作流程，书中还详细讲解了前期拍摄的布光、布景、摄制，以及后期的剪辑和合成等工作。使读者不仅了解怎么做，更明白为什么那么做。...

城市水环境改善与水源保护技术 【环境安全】

本书从原理、设计理论、工程应用及其对污染物的去除效果和运行管理经验等方面，对人工湿地水体净化技术、喷泉曝气水质净化技术、人工沉床水质净化技术、人工浮床水质净化技术、投菌法改善水质技术以及五项技...

医疗卫生信息系统运行维护管理 【医药卫生】

本书内容包括ITIL概念、运维管理要求、信息系统移交、信息系统参数、事件与问题管理、文档管理、环境管理、设备管理、信息系统安全管理等。...

文明中国书典 信息中国 【文化科学教育体育】

本书为文明中国书典中较为重要的一本，充分领会整套丛书的主旨理念，以精准的体例定位中国信息化发展的宏大历程。在具体撰写中注意选取生动的历史细节；许多评述如画龙点睛，文笔流畅，清新自然，是深入了解信息化中.....

神经网络模糊推理智能信息融合及其工程应用 【工业技术】

英汉信息战术语词典 【军事】

本词典收入与信息战各相关领域的专业术语67000多条，以信息对抗为主，内容涉及通信与通信对抗、雷达与雷达对抗、光电与光电对抗、水声对抗、空间信息对抗、新概念武器对抗以及计算机网络战等多专业。...

环境科学信息资源检索 【文化科学教育体育】

近5年来国内高校对于环境科学信息检索重视程度与需求度均有明显的增加，而且学科知识更新迅速，教材需与时共进，删除因时代发展而陈旧的内容，增加与更新检索案例，补充环境科学专题知识。...

物流管理信息系统 【经济】

本书采用的是完全面向应用的项目导向方法，介绍了物流管理信息化过程中所涉及的物流信息技术及其应用，物流管理信息系统的设计、实施与维护，并详细介绍了物流信息数据的分析及应用，以提高读者理论联系实际的能力...

力学中的哥德巴赫猜想 受径向力圆环中应力计算与应用 【数理化】

受径向力圆环中的应力分布计算问题百年来受到各国科学家的关注，而始终未得到一个简单又物理含义清晰的公式。本书介绍“受径向力圆环中的应力分布”有关科学家及其公式，试图与数学上的难题“哥德巴赫猜想问题...