好站推荐: 找书资源 | 备用域名:zhiso.cc
<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式: PDF 请到详细页访问 来源:无名图书PeterHarrington拥有电气工程学士和硕士学位,他曾经在美国加州和中国的英特尔公司工作7年。Peter拥有5项美国专利,在三种学术期刊上发表过文章。…
格式: PDF 请到详细页访问 来源:书行天下PeterHarrington拥有电气工程学士和硕士学位,他曾经在美国加州和中国的英特尔公司工作7年。Peter拥有5项美国专利,在三种学术期刊上发表过文章。…
格式: PDF 请到详细页访问 来源:书行天下作者介绍:徐雪松,副教授职称,湖南师范大学操控科学研究与工程类专业博士生,国防科学技术大学金融数学与工程类专业博后。美国布兰迪斯大学VolanNational…
格式: PDF 请到详细页访问 来源:书行天下<p>《阿里云天池大赛赛题解析——机器学习篇》聚焦机器学习算法建模及相关技术,以工业蒸汽量预测、天猫用户重复购买预测、O2O优惠券预测和阿里云安全恶意程序检测…
格式: PDF 请到详细页访问 来源:无名图书<p>本书以图文并茂的方式介绍了Python的基础内容,并深入浅出地介绍了数据分析和机器学习领域的相关入门知识。</p><p>第1章至第5章以极简方式讲解了P…
格式: PDF 请到详细页访问 来源:无名图书