当前位置：首页 > 名称
大约有646,890项符合查询结果项。（搜索耗时：0.7054秒）
为您推荐： title计算机科学丛书 程序的构造和解释 计算机科学精粹 图灵程序设计丛书 title云计算 概念技术与架构 计算机科学丛书 title软件项目管理 原书第5版 计算机科学丛书 title信息检索导论 修订版 图灵计算机科学丛书 title软件测试 原书第2版 计算机科学丛书
-
-
-
-
-
构造地质学术语汇编 第2部分 构造运动的类型、构造作用的旋迥和构造作用幕
（苏）别尔金（Н.А.Берзин）编；杨振德译1965 年出版164 页ISBN：15165·4084（地质352） -
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot，PierreCasteran等著2010 年出版432 页ISBN：9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...
-
-
图灵程序设计丛书 Python数据科学与机器学习 从入门到实践
张海艳责任编辑；陈光欣译；（美）弗兰克·凯恩2019 年出版274 页ISBN：9787115512413本书帮助你进入数据科学的世界，让你能够使用Python进行数据分析和高效的机器学习。首先从一节Python速成课开始，然后回顾统计学和概率论的基础知识，接着深入讨论与数据挖掘和机器学习相关的60多个主题。这些主...
-
-
学科分类
出版时间