当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0381秒）
为您推荐： 中国自动化学会asea办公室组 press中国自动化学会 信息与控制 电力行业热工自动化技术委员会 press计算机技术与自动化 编辑部 press中国计算机自动测量与控制技术协会 中国计算机自动测量与控制技术协会
-
-
不等式机器证明与自动发现
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......
-
-
-
-
-
中国赤潮研究与防治：中国海洋学会赤潮研究与防治专业委员会第二届学术研讨会论文集，二
（李立新主编），中国海洋学会赤潮研究与防治专业委员会编2008 年出版252 页ISBN：9787502771430本书讲述海洋经济的快速持续增长与近岸海洋环境污染之间的矛盾是粗放式发展模式带来的结果，是不可持续的。赤潮的频发给人民生命财产造成巨大损失。...
-
-
-
学科分类