当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0254秒）
为您推荐： 中国房屋拆迁政策与法律实务应用工具箱 中国三农政策与法律实务应用工具箱 中国劳动政策与法律实务应用工具箱 中国房地产政策与法律实务应用工具箱 中国道路交通政策与法律实务应用工具箱 中国人身损害赔偿政策与法律实务应用工具箱
-
美国对华政策与中国民族主义运动 1904-1928
王立新著2000 年出版459 页ISBN：7500427549美国福特基金会赞助的中华美国学会美国学著作出版补贴基金资助:本书主要包括：中美关于粤汉路权交涉与中国民族主义运动的兴起；美国与抵制美货运动；美国与辛亥革命；孙中山与美国等。 ...
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
-
-
-
-
