当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0305秒）
为您推荐： 中国土地政策与法律实务应用工具箱 中国房屋拆迁政策与法律实务应用工具箱 中国劳动政策与法律实务应用工具箱 中国房地产政策与法律实务应用工具箱 中国道路交通政策与法律实务应用工具箱 中国人身损害赔偿政策与法律实务应用工具箱
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
-
经营者持股操作指南 理论·实务·案例·政策
沈晗耀，魏德俊著2000 年出版279 页ISBN：7562810869本书从理论、实务、案例、政策四个层面全面剖析经营者的股权激励和约束制度，并根据国际经验，结合中国实情，特别是利用作者亲自主持的一些案例，从理论与实务的结合上，给出最适合于中国国情及各类企业特点的持股方...
-
-
-
-
精通视窗程序设计 适用Visual C++6.0版 第20章 Visual C++的操作 3 程序快速开发工具的应用
位元文化研究室编著2000 年出版86 页ISBN：7506246481