大约有9,000项符合查询结果项。（搜索耗时：0.0342秒）
为您推荐：
无穷级数
常微分方程
常微分方程几何理论
常微分方程续论
常微分方程张晓梅
参数方程和极坐标
-
王启丁，高锦文编著1996 年出版298 页ISBN：7302023662
-
（美）彼里西阿（G.E.Pellissier），（美）浦迪（S.M.Purdy）著；孙惠林，马继畲译1980 年出版195 页ISBN：15033·4876
-
（苏）西福罗夫（В.И.Сифоров）著；陈章等译1957 年出版251 页ISBN：
-
周炎勋等编著1992 年出版216 页ISBN：7118008907
-
陆延丰，常清璞编著2000 年出版183 页ISBN：7810129821
-
刘湘林等编著1990 年出版227 页ISBN：7530405020
-
赵保经编著1985 年出版116 页ISBN：15034·2888
-
冯宇彦，蒋平编著1997 年出版204 页ISBN：7502923209
-
（美）A.麦罗拉（Asha Mehrotra）著；庞沁华等译1997 年出版460 页ISBN：7115064385
-
（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
