下一代网络的业务生成技术 【工业技术】

本书力图展示出从传统电信网向下一代电信网演进的动机、思路以及相关技术、体系结构等，主要突出下一代网络的融合性、开放性，重点介绍了当前业界相当关注的下一代业务生成技术（如Parlay/OSA、JAIN、JTAPI等）最...

LEMON语法分析生成器 LALR 1 类型 源代码情景分析 【工业技术】

本书通过对LEMON语法生成器的代码分析，介绍编译原理中的 LALR（1）类型的语法分析。全书分为介绍 LEMON ，设计一个计算器，处理命令行输入，初始化 LEMON，语法扫描和语法要素内部表示，计算LR（0）分析器等11章。...

安全协议实施自动化生成与验证 【工业技术】

本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...

可持续建筑设计生成与评价一体化机制 【工业技术】

在可持续发展的总体观念下，“可持续建筑”的话题是建筑界乃至整个城市发展领域的热点话题。在诸多相似概念（如“绿色建筑”、“生态建筑”等）中，可持续建筑可视为最高级形式与长期追求目标。在当前的建筑设计研...

食物贮藏指南 【工业技术】

食物排毒厨房 【工业技术】

微生物和食物 【工业技术】

食物美容工厂 【工业技术】

防癌抗癌食物50种 【工业技术】

饮食物保存法 【工业技术】