Web服务组合建模与验证

本书主要研究方向为对有色Petri网进行了扩展，增加了语义和非功能属性标注，提出了语义Petri网模型来对Web服务及其组合进行形式化建模，并用Petri网标记语言PNML对其进行描述。...

机械加工质量及其检测 机械加工安全与劳动卫生

本书内容包括机械加工质量及其检测，机械加工安全与带动卫生等。

屠宰加工与卫生检疫

《肉品加工与卫生检疫》全书共分十二章，28万字，包括肉类加工厂、屠宰场的建筑规划、动物宰前的卫生检疫、动物宰后检疫、组织和器官病理变化的鉴定与处理、病害、异常肉品的鉴定和处理、肉品科学、肉品冷藏、...

服务器管理与维护

本书以家庭服务器装配、社区医院服务器组建、网吧服务器组建、KTV服务器组建、网络公司服务器组建等任务作引领，涵盖了WindowsServer 2008R2、WindowsServer 2012、linux操作系统在企业中的常见应用。...

食品安全与卫生基础 原著第4版

本书介绍了食品危害与食源性疾病发生原因和加工中控制的关键点，食品安全生产流程，设备及用具，清洁与消毒，环境卫生与维护，事故预防与危机管理等。...

酒品调制与酒水服务

本教材的编写按照调酒师的职业技能考核标准和调酒师应具备的素质与职业能力，结合初、中级调酒师考证培训需要进行内容的编排，即可用于高等院校的酒水课程教学，同时又可作为调酒师培训考核指导用书。...

小浪底工程监理与咨询服务管理手册

大规划 商务、商业、服务与居住

本书作者针对中国城市规划存在的重视空间形态而忽视城市永续发展动力的产业规划的问题，提出了产业规划与城市规划相结合的大规划概念，并结合具体实践案例，阐述了城市功能区中商务、商业、服务与居住的规划问题...

服务器安装、配置与应用指南

本书旨在帮助读者快速掌握企业级服务器配置并完成向用户提供网络服务。书中主要围绕企业级服务器的实际应用，全面系统的介绍了硬件结构以及建立各种主流的网络服务。...

建设工程监理与相关服务收费标准

本书为建设工程监理与相关服务收费标准及相关管理规定的工具书。