书目详细信息
： 有序二叉决策图及应用
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-025032-2:CNY45.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 有序二叉决策图及应用/.古天龙， 徐周波著 |
| 出版发行项： | 北京:,科学出版社:,2009 |
| 载体形态项： | 275页:;+图:;+27cm |
| 相关题名附注： | 英文并列题名取自于封面 |
| 提要文摘： | 有序二叉决策图是布尔函数的一种规范表达形式、一种新型数据结构。基于OBDD可以完成布尔函数的有效表述和操作运算，OBDD在VLSI逻辑综合和验证方面的成功应用引起了学术界和工业应用界的极大关注。本书对OBDD相关技术问题、OBDD扩展形式、OBDD应用等方面进行了介绍和讨论，主要内容包括布尔表达式及其描述、有序二叉决策图、零压缩二叉决策图、代数决策图、边值二叉决策图、二叉矩量图、时间变量决策图、应用专题等。 |
| 并列题名： | Ordered binary decision diagram and its application eng |
| 题名主题： | 数据结构 |
| 中图分类： | TP311.12 |
| 中图分类： | TP311.12 |
| 个人名称等同： | 古天龙 著 |
| 个人名称等同： | 徐周波 著 |
| 记录来源： | CN 江苏新华 20100507 |
| 电子图书： | 阅读地址 |