您好,欢迎来到科学出版社 !
[请登录]
,新用户?
[免费注册]
热门关键词:
颠覆性技术创新研究
现代数学基础丛书
0
去购物车结算
购物车中还没有商品,赶紧选购吧!
全部商品分类
网上书店
按需印刷
电子书
当前位置:
图书分类
>
数学
>
应用数学
应用数学
销售排行榜
时变随机系统:稳定性与自适应理论(第二版)
¥68.60元
生物数学
¥134.40元
商品筛选
书类 :
全部
专著
基本资料
基础理论
大学教材
报告类
研究生教材
综述
论文集
装帧 :
全部
圆脊精装
平脊精装
平装
散页
商品列表
显示方式:
分析基础机器证明系统
副书名:
书号:9787030706713
作者:郁文生,付尧顺,郭礼权
丛书名:数学机械化丛书
出版日期:2022-01-01
库存:可供
图书介质:纸质书
定价:
¥198.00元
内容简介:本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系...
系统科学进展 第2卷
副书名:
书号:9787030626547
作者:郭雷
丛书名:
出版日期:2019-10-01
库存:可供
图书介质:纸质书
定价:
¥128.00元
内容简介:本书是中国科学院系统科学研究所组织汇编的系列丛书《系统科学进展》的第2卷,收集了包括吴文俊、郝柏林、陆汝钤、颜泽贤等著名学者的重要文献,内容...
网络优化选论
副书名:
书号:9787030683212
作者:张丽华,程丛电
丛书名:
出版日期:2021-06-01
库存:可供
图书介质:纸质书
定价:
¥118.00元
内容简介:本书共8章。第1—4章是关于网络流的,其中第1章讲述网络流的基础知识;第2章讲述多商品网络流;第3章研究几个具体的多商品网络流问题;第4章介...
总计
3
个记录
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证