搜索筛选:
搜索耗时1.9180秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
类      型:
[期刊论文] 作者:Zhong-Liang Pan,Ling Chen,Guan, 来源:国际自动化与计算杂志:英文版 年份:2010
The binary decision diagrams (BDDs) can give canonical representation to Boolean functions; they have wide applications in the design and verification of digita...
[期刊论文] 作者:Zhong-Liang Pan,Ling Chen,Guan, 来源:国际自动化与计算杂志 年份:2004
The binary decision diagrams (BDDs) can give canonical representation to Boolean functions; they have wide applications in the design and verification of digita...
[期刊论文] 作者:Zhong-Liang Pan,Ling Chen,Guan, 来源:城市道桥与防洪 年份:2010
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥...
[期刊论文] 作者:Zhong-Liang Pan,Ling Chen,Guang-Zhao Zhang, 来源:黑龙江科技信息 年份:2016
本文通过对荣华二采区10...
相关搜索: