第一图书网

全部分类

方程求解与机器证明

高小山 等著 科学
出版时间：2006-9
出版社：科学
作者：高小山 等著
页数：279
字数：342000
Tag标签：无
图书封面

图书标签Tags

无

下载链接
    方程求解与机器证明PDF格式下载

相关图书

数学分析辅导与习题精解
近世代数辅导与习题精解
留给孩子的永恒纪念-我的孕产日记
高等数学同步练习册（下册）
高等数学学习指导
高等数学教与学参考
数学符号史
五年级-小学数学提优辅导教程
四年级-小学数学提优辅导教程
摩擦学导论
断裂力学
理论力学
界面力学
计算流体力学方法及应用
结构力学
科学技术哲学概论
科学活动中的利益冲突及其控制
游戏中的科学
著名实验室里的神奇故事
自然辩证法纲要
更大秘密
世界上最神奇的奥秘
科学方法论视野下的技术哲学
物理事理人理系统方法论
简明自然辩证法教程
技术与生活世界
玩具中的科学
系统科学导论
实验室能力验证实践
当代自然辩证法导论
自然辩证法教程
中医护理学-国际中医药.针炙培训考试指导用书
镜头下的震撼
消费社会批判
读懂生命密码
信息光子学物理
物理学内容提要与习题
光学设计
声音与人耳听觉
微观组织热力学
光的电磁理论
大学物理实验
实物与暗物的数理逻辑
心經與生活智慧
电磁场要点与解题
道与现代物理学
三级物理实验
大学物理（下册）
应用物理基础
大学物理复习指南