有序二叉决策图及应用

有序二叉决策图及应用 pdf epub mobi txt 电子书 下载 2025

出版者:
作者:
出品人:
页数:275
译者:
出版时间:2009-7
价格:45.00元
装帧:
isbn号码:9787030250322
丛书系列:
图书标签:
  • BDD 
  • 符号模型检验 
  • 有序二叉决策图 
  • 计算机科学 
  • 经典 
  • 2009 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

《有序二叉决策图及应用》对OBDD相关技术问题、OBDD扩展形式、OBDD应用等方面进行了介绍和讨沦,主要内容包括布尔表达式及其描述、有序二叉决策网、零压缩二叉决策图、代数决策图、边值二叉决策图、二叉矩量图、时问变量决策图、应用专题等。有序二叉决策图是布尔函数的一种规范表达形式、一种新型数据结构。基于OBDD可以完成布尔函数的有效表述和操作运算,OBDD在VKSI逻辑综合和验证方面的成功应用引起了学术界和工业应用界的极大关注。

《有序二叉决策图及应用》可供高零院校计算机、电子工程、自动化等专业的高年级本科生、研究生以及相关领域的科研和工程技术人员参考。

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

二叉判定图的相关知识比较详细

评分

不明白在说什么

评分

二叉判定图的相关知识比较详细

评分

不明白在说什么

评分

不明白在说什么

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有