当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0193秒）
为您推荐： 中国土地政策与法律实务应用工具箱 中国三农政策与法律实务应用工具箱 中国劳动政策与法律实务应用工具箱 中国道路交通政策与法律实务应用工具箱 中国房屋拆迁政策与法律实务应用工具箱 中国人身损害赔偿政策与法律实务应用工具箱
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
法律助你迎房改 房地产法详解
张沐编著2000 年出版181 页ISBN：7563613323本书主要包括劳动法适用的基本原则和法律制度；促进就业；劳动合同和集体合同；工作时间和休息休假；工资；劳动安全卫生等。
-
-
经营者持股操作指南 理论·实务·案例·政策
沈晗耀，魏德俊著2000 年出版279 页ISBN：7562810869本书从理论、实务、案例、政策四个层面全面剖析经营者的股权激励和约束制度，并根据国际经验，结合中国实情，特别是利用作者亲自主持的一些案例，从理论与实务的结合上，给出最适合于中国国情及各类企业特点的持股方...
-
-
-
