熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 2 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
吳文俊全集：附卷--回憶與紀念
|
||
|
方程求解與機器證明:基於MMP的問題求解
主要包括兩部分內容：一是對MMP的基本功能的介紹，主要是前三章；二是通過MMP的實例介紹了數學機械化的基本理論與最新進展，特別是方程求解與機器證明方面的結果。第四章介紹了多項式系統，常微分系統，偏微分... more |
搜尋推薦
另外從您輸入的關鍵字中，推薦您關鍵字: 高佩珊 的結果(請點選看全部符合的商品)
-
國土安全與移民政策：人權與安全的多元議題探析
優惠價: 9 折, 360 元 -
移民理論與移民行政
優惠價: 75 折, 450 元 -
全球化下之國境執法
優惠價: 95 折, 361 元 -
移民政策與法制
優惠價: 95 折, 380 元 -
國境執法與合作
優惠價: 95 折, 618 元 -
戰略與國際關係：運籌帷幄之道
優惠價: 95 折, 561 元
