欢迎光临中图网 请 | 注册
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
高级搜索
阅读是一座随身携带的避难所人间草木生活如此多娇假装得很辛苦茶经
上新2万种！每满100减50
中图网
>
关于“张永智”检索到   共2种现货商品
>
计算机/网络
清除筛选
出版社：
所有出版社 K R
确定 取消
更多
展开
售价：
￥
---
￥
确定
折扣：
---
确定
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
  • 矩阵结构与矩阵函数的形式化

    矩阵结构与矩阵函数的形式化

    施智平，吴爱轩，关永，王国辉，张倩颖  /  2023-09-01  /  科学出版社
    ¥60.8(7.8折)定价:¥78.0

    在使用ITP技术来验证日趋复杂的现代工程应用问题时，特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时，因缺乏矩阵分析理论基础定理库的支持，其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍，提高系统的安全等级，本书以矩阵分析理论的形式化作为基本任务，旨在构建一个用户友好的形式化数学体系，并将该体系运用于实际物理问题的证明...

    加入购物车 收藏
  • 智能路由器开发指南

    智能路由器开发指南

    张永智,李章明著  /  2016-10-01  /  人民邮电出版社
    ¥41.3(7折)定价:¥59.0

    1. 这是一本智能路由器开发的必读指南。 2. 本书以理论和实际相结合，以virtualbox来讲解，没有智能路由设备的开发者也可学习实践。 3. 以代码为基础进行讲解，代码放在国内托管网站上供大家自由下载。 4. 本书提供进一步深入阅读的参考资料链接，读者可以进一步深入学习...

    加入购物车 收藏

五星书

编辑推荐

新手上路
新用户指引
注册用户 更改注册信息
购物常见问题
关于特价书的常见问题
购买问题
订单跟踪
付款方式
账户余额  申请提现
配送方式及费用、范围
集团购买
售后服务
退换货流程
投诉与建议
特色服务
会员等级与书币
中图网书馨卡
邀请好友购买返10元礼包
其他信息
本站简介
联系我们
招聘英才
网站联盟
友情链接
微信公众号
中图网微信
中图网微博
中图网微博
手机中图网
手机中图网
中图网
诚信认证 电子商务诚信单位认证

京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号：1101083394

营业执照出版物经营许可证 京出发京批字第直110071

返回顶部