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

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

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

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

市政工程设计施工系列图集 园林、景观工程 下 【工业技术】

本书内容包括市政园林工程地形设计与施工、园林给水排水、水景工程、栽植工程、园林工程机械、城市休闲绿地及园林建筑。

Visual FoxPro 6.0程序设计基础 【工业技术】

本书是一本全面介绍Visual Foxpro 6.0语言和环境特点及其应用技术的实用教材。编写本书的目的有两个，一是使广大读者能够全面系统地了解Visual Foxpro的技术特点，另一个是Visual Foxpro 6.0使读者掌握数据库...

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

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

经典原版书库 VHDL设计、表示和综合 第2版 【航空航天】

本书将VHDL语言的介绍融合到不同抽象层次的设计中，全面深入地讲述了从原始的高层模型到门级实现的各层次的设计技术。

首届中国国际家用纺织品设计大赛获奖作品集 【艺术】

本书搜集了大赛获奖作品146件，有优秀作品200件，获奖论文21篇，介绍了近年家用纺织品趋势设计理念。

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

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

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

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