当前位置：首页 > 名称
大约有1,000项符合查询结果项。（搜索耗时：0.0171秒）
为您推荐： 趋势交易大师 工具 方法 趋势交易大师 股市趋势交易大师 股市趋势交易大师2龙头作手 股市趋势交易大师ʮ ȫ2ᣩ龙头作手 短线交易大师 工具和策略
-
经济学方法论的新趋势
（英）马克·布劳格（Mark Blaug）等著；（英）罗杰·E.巴克豪斯（Roger E. Backhouse）编；张大宝等译2000 年出版556 页ISBN：7505823493本书分“证伪主义：赞同与反对”、“关于经济学的哲学观点”、“作为话语的经济学”等四部分，收录了十七篇经济学方面的文章。
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
-
-
-
-
学科分类