当前位置:首页 > 名称
大约有100项符合查询结果项。(搜索耗时:0.0069秒)
为您推荐: 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
-
-
-
-
-
不要任何借口 用工作证明自己的价值
(美)奥里森·马登(Orison Swett Marden),(美)查尔斯·斯通(Charles Stoner)著;王隆译2004 年出版161 页ISBN:7806409955本书是19世纪著名成功学家奥里森·马登关于职业道德的名篇,和此类作品的开山之作。首次系统提出了人们在工作中应当遵守的职业操守,那就是全力以赴、自我完善和拒绝借口。...
-
涉过愤怒的河 野性的证明
(日)西村寿行著;森村诚著;夏燕编译;春华编译2004 年出版305 页ISBN:7801460855内 容 简 介 地处偏远的风道屯,五户人家,十三口人全被 杀死。经过验尸,发现一具来此旅行的女子尸体,而 本屯一位8岁女孩却下落不明。虽经警方全力调 查,但仍未能破案。 两年后,一位叫味泽的男子领着一个10岁的 女...
-
小型机器人的基础技术与制作 挑战RoboCup小型机器人
NPO RoboCup日本委员会主编;(日)高桥友一等著;宗光华等译2004 年出版150 页ISBN:703013169X本书围绕着目前在全世界盛行的机器人足球比赛,详细介绍作为运动员的机器人制作方法,以及与其关连的事项和资料,主要有机器人的视觉信息处理技术,机器人制作,为实现高性能的技术,关连事项及关连资料等。...
-
-
