大约有515,754项符合查询结果项。(搜索耗时:0.5501秒)
为您推荐:
三角形计算
计算公式
图形计算公式
三角计算
管工计算公式
刚架计算公式及图表
-
蔡文祥著1988 年出版124 页ISBN:7810031198
-
张连奎著1993 年出版378 页ISBN:7502727183
-
林正让著1991 年出版305 页ISBN:7805343454
-
陈俊年著1985 年出版272 页ISBN:10261·673
-
岛崎霞著;杨军等译1995 年出版216 页ISBN:7105025638
-
许戴美霞,陈志文编著2012 年出版68 页ISBN:9888119257
-
胡钢等著;无锡市文学工作者协会编1988 年出版308 页ISBN:7500801319
-
陈泽华著2009 年出版190 页ISBN:9787536056374
本书是当代作者创作的长篇小说。
-
张健著2000 年出版172 页ISBN:7030083644
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
熊曾润著1991 年出版179 页ISBN:7534709172