当前位置：首页 > 名称
大约有487,222项符合查询结果项。（搜索耗时：0.5775秒）
为您推荐： 巨人的工具 健康 财富与智慧自助宝典 title巨人的工具 健康财富与智慧自助宝典 巨人的碰撞 巨人的脚步 站在巨人的肩上 唤醒心中的巨人
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
华南植被恢复的工具种图谱
任海，蔡锡安，黎昌汉等编著2010 年出版152 页ISBN：9787560961088本书选编了适于华南退化生态系统植被恢复的187种植物组成图谱。这些植物既有乔灌、草木，也有经济植物和普通绿化植物，其共同特征是适应性较强、生长速度较快。绝大多数种类都是在生态恢复实践中得到验证的。...
-
优势9方格 掌握测试人生轨迹的工具
贾强编著2004 年出版244 页ISBN：7544123367本书是根据人的智商、情商、职业倾向、人际关系、社会关系等六个方面，预测一个人扮好人生角色的图书，这些预测是有一定的科学依据的，一个人的性格、价值取向、职业爱好、从某种意义上说，能决定他的一生，这也是人...
-
-
-
-
-
-
-
学科分类
出版时间