0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 数学 > 应用数学

应用数学

商品筛选

装帧 : 全部    圆脊精装  平脊精装  平装  散页 

商品列表
显示方式:    按上架时间排序 按更新时间排序 按销量排行

  • 分析基础机器证明系统
  • 分析基础机器证明系统
    副书名:
    书号:9787030706713 作者:郁文生,付尧顺,郭礼权
    丛书名:数学机械化丛书
    出版日期:2022-01-01
    库存:缺货 图书介质:纸质书
    定价:¥198.00元
    内容简介:本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系...
  • 网络优化选论
  • 网络优化选论
    副书名:
    书号:9787030683212 作者:张丽华,程丛电
    丛书名:
    出版日期:2021-06-01
    库存:缺货 图书介质:纸质书
    定价:¥118.00元
    内容简介:本书共8章。第1—4章是关于网络流的,其中第1章讲述网络流的基础知识;第2章讲述多商品网络流;第3章研究几个具体的多商品网络流问题;第4章介...
  • 系统科学进展 第2卷
  • 系统科学进展 第2卷
    副书名:
    书号:9787030626547 作者:郭雷
    丛书名:
    出版日期:2019-10-01
    库存:缺货 图书介质:纸质书
    定价:¥128.00元
    内容简介:本书是中国科学院系统科学研究所组织汇编的系列丛书《系统科学进展》的第2卷,收集了包括吴文俊、郝柏林、陆汝钤、颜泽贤等著名学者的重要文献,内容...
总计 3 个记录
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证