网络协议的形式化分析与设计 【工业技术】

本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......

智能小区九大系统设计与实现 【工业技术】

本书介绍了智能小区建设应予规划的九大系统的设计与施工，为建设智能小区的系统集成商、智能小区开发商及工程设计人员、施工人员提供参考。九大系统包括：智能小区网络通信系统、四表抄送远程系统、可视对讲系...

智能小区九大系统设计与实现 【其他书籍】

本书介绍了智能小区建设应予规划的九大系统的设计与施工，为建设智能小区的系统集成商、智能小区开发商及工程设计人员、施工人员提供参考。九大系统包括：智能小区网络通信系统、四表抄送远程系统、可视对讲系...

西气东输项目价格研究与定价方案设计 【经济】

本书不仅能对西气东输价格研究起到积极促进作用，同时对完善我国天然气工业的价格形成机制与管理机制也有重要的借鉴作用。

弹簧设计与制造工艺新技术及质量监控实用手册 第3卷 【工业技术】

弹簧设计与制造工艺新技术及质量监控实用手册 第1卷 【工业技术】

弹簧设计与制造工艺新技术及质量监控实用手册 第2卷 【工业技术】

地基基础工程设计施工验收规范与强制性条文实施手册 上 【工业技术】

地基基础工程设计施工验收规范与强制性条文实施手册 下 【工业技术】

地基基础工程设计施工验收规范与强制性条文实施手册 中 【工业技术】