机读格式显示(MARC)
- 000 01190nam0 2200313 450
- 010 __ |a 978-7-03-025032-2 |b 精装 |d CNY45.00
- 100 __ |a 20090915d2009 em y0chiy0110 ea
- 200 1_ |a 有序二叉决策图及应用 |9 you xu er cha jue ce tu ji ying yong |f 古天龙,徐周波著
- 210 __ |a 北京 |c 科学出版社 |d 2009
- 312 __ |a 封面英文题名:Ordered binary decision diagram and its application
- 330 __ |a 有序二叉决策图是布尔函数的一种规范表达形式,是一种新型数据结构。本书对有序二叉决策图相关技术问题、扩展形式、应用等方面进行了讨论,内容包括:布尔表达式及其描述、有序二叉决策图、零压缩二叉决策图、代数决策图、边值二叉决策图、二叉矩量图、时间变量决策图、应用专题。
- 510 1_ |a Ordered binary decision diagram and its application |z eng
- 606 0_ |a 布尔函数 |x 数据结构 |x 研究
- 701 _0 |a 古天龙 |9 gu tian long |f (1964.10~) |4 著
- 701 _0 |a 徐周波 |9 xu zhou bo |4 著
- 801 _0 |a CN |b NLIC |c 20091112
- 905 __ |a NLIC |d O153.2/3