大约有7,000项符合查询结果项。（搜索耗时：0.0254秒）
为您推荐：
可视化微分几何和形式
微分几何
常微分方程几何理论
微分几何与拓扑学简明教程
微分几何与共轭曲面原理
随机微分方程和应用
-
（苏）尤·索·齐默尔曼著；李月英，祝基成译1988 年出版86 页ISBN：7501700737
-
唐春荣编著1988 年出版266 页ISBN：7542400568
-
（苏）В.А.阿布家夫洛夫，В.Г.萨塔诺夫斯基著；刘焕森等译1988 年出版240 页ISBN：
-
蔡俊生著1988 年出版385 页ISBN：7500400349
-
王祖敏主编1988 年出版391 页ISBN：7562601119
-
韩志光，叶志坚编1988 年出版15 页ISBN：
-
周寿南编著1988 年出版43 页ISBN：7225001787
-
龚亚夫著1988 年出版84 页ISBN：7502306358
-
何伟然等著1988 年出版286 页ISBN：712000400X
-
（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
