大约有3,518项符合查询结果项。(搜索耗时:0.0522秒)
为您推荐: 几何定理机器证明的基本原理 几何定理机器证明的案例 分析基础机器证明系统 不等式机器证明与自动发现 方程求解与机器证明 证明论
-
-
语言与机器计算机科学理论导论 原书第3版
(美)THOMAS A.SUDKAMP著2008 年出版392 页ISBN:9787111226345本书介绍了形式语言、自动机、可计算性、计算复杂性等内容。
-
-
思考机器 范杜森教授经典探案全集 上
(美)杰克·福翠尔著2010 年出版412 页ISBN:9787219068885杰克·福翠尔共创作了五十篇以“思考机器”范杜森教授为主人公的短篇推理小说。故事中的业余侦探范杜森教授拥有天才的大脑、敏锐的直觉和精湛的逻辑推理能力,可以解决任何费解的谜团,被誉为“美国的福尔摩斯...
-
R语言机器学习参考手册 英文
丘祐玮著2016 年出版431 页ISBN:9787564160630本书通过设置一个用户友好的编程环境并使用R语言进行数据ETL来介绍R语言基础知识。提供数据探索样例,以展示R语言的数据可视化和机器学习功能在探索隐含关系方面的强大能力。你将深入了解重要的机器学习主题...
-
-
-
智能机器人产业发展报告
北京生产力促进中心编著2014 年出版220 页ISBN:9787030435101本书主要从工业机器人、服务机器人两个方面介绍了国内外智能机器人的技术和产业技术发展现状,行业和市场需求,未来发展方向及趋势,并着重分析了国内智能机器人产业的特点、区域分布及发展瓶颈,并针对性地提出产...
-
Spark机器学习进阶实战
马海平,于俊,吕昕,向海著2018 年出版210 页ISBN:9787111608103全书一共分三篇。基础篇(1~2章)对Spark机器学习进行概述、并通过Spark机器学习开始进行数据分析;算法篇(3~8章)针对分类、聚类、回归、协同过滤、关联规则、降维等算法进行详细讲解,并进行案例支持;综合案例篇(9......
-
