当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0257秒)
为您推荐: 现代中长期水文预报方法及其应用 多目标决策分析理论 方法与应用研究 中级计量经济学方法与应用 现代激励理论与应用 现代交通流理论与应用 现代流行病学
-
-
-
逻辑公式的可满足性判定 方法、工具及应用 【工业技术】
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
-
-
-
高效液相色谱方法及应用 【数理化】
于世林编著2000 年出版339 页ISBN:7502527249本书简要介绍了高效液相色谱仪的组成,系统地介绍了高效液相色谱方法中常用液固色谱、液液色谱、键合相色谱、亲和色谱与体积排阻色谱方法,并着重阐述了流动相在改善色谱分离选择性中的重要作用。对高效液相色...
