有 294 項符合
Theorem
的圖書,這是第 17 頁
|
|
$ 5640 | Frege’s Theorem
作者:Heck
出版社:OUP Oxford
出版日期:2011-12-15
語言:英文 規格:精裝 / 356頁 / 23.6 x 15.7 x 2.5 cm / 普通級
博客來 - 當代西方哲學
- 來源網頁   看圖書介紹
|
|
$ 6599 | Theorem Proving with the Real Numbers
作者:Harrison
出版社:Springer
出版日期:2011-11-20
語言:英文 規格:平裝 / 186頁 / 23.39 x 15.6 x 1.07 cm / 普通級/ 初版
博客來 - 程式
- 來源網頁   看圖書介紹
|
|
$ 5999 | Topics in Noncommutative Algebra: The Theorem of Campbell, Baker, Hausdorff and Dynkin
作者:Bonfiglioli,Andrea/Fulci,Roberta
出版日期:2011-10-12
語言:英文 規格:平裝 / 15.2 x 22.9 x 3.2 cm / 普通級
博客來 - 群論
- 來源網頁   看圖書介紹
|
|
$ 1100 | Higgs Boson Mass predicted by the Four Color Theorem
作者:Khachatryan
出版社:Createspace Independent Publishing Platform
出版日期:2011-10-05
語言:英文 規格:平裝 / 62頁 / 27.94 x 21.59 x 0.41 cm / 普通級/ 初版
博客來 - 物理理論
- 來源網頁   看圖書介紹
|
|
$ 3299 | Bell’s Theorem and Quantum Realism: Reassessment in Light of the Schrodinger Paradox
作者:Hemmick
出版社:Springer
出版日期:2011-10-03
語言:英文 規格:平裝 / 97頁 / 23.4 x 15.5 x 0.5 cm / 普通級
博客來 - 原子, 分子, 核子
- 來源網頁   看圖書介紹
|
|
$ 1375 | The Four Colour Theorem
作者:Dharwadker
出版社:Createspace Independent Publishing Platform
出版日期:2011-08-31
語言:英文 規格:平裝 / 82頁 / 27.94 x 21.59 x 0.53 cm / 普通級/ 初版
博客來 - 組合學
- 來源網頁   看圖書介紹
|
|
$ 3299 | Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
出版社:Springer
出版日期:2011-08-02
語言:英文 規格:平裝 / 382頁 / 23.37 x 15.49 x 2.29 cm / 普通級/ 初版
博客來 - 程式
- 來源網頁   看圖書介紹
|
|
$ 547 | Proof of Fermat’s Theorem: And McGinnis’ Theorem of Derivative Equations in an Absolute Proof of Fermat’s Theorem; Reduction of the General Equat
作者:McGinnis
出版社:University of Michigan Library
出版日期:2011-07-07
語言:英文 規格:平裝 / 48頁 / 22.86 x 15.24 x 0.3 cm / 普通級/ 初版
博客來 - 圖書資訊總論
- 來源網頁   看圖書介紹
|
|
$ 5399 | Interactive Theorem Proving and Program Development: Coq’’art: The Calculus of Inductive Constructions
作者:Bertot
出版社:Springer
出版日期:2010-12-15
語言:英文 規格:平裝 / 472頁 / 23.39 x 15.6 x 2.57 cm / 普通級/ 初版
博客來 - 計算機概論
- 來源網頁   看圖書介紹
|
|
$ 17999 | Bell’s Theorem, Quantum Theory and Conceptions of the Universe
出版社:Springer
出版日期:2010-12-07
語言:英文 規格:平裝 / 330頁 / 23.39 x 15.6 x 1.83 cm / 普通級/ 初版
博客來 - 量子力學
- 來源網頁   看圖書介紹
|
|
$ 3299 | Automated Theorem Proving in Software Engineering
作者:Schumann
出版社:Springer
出版日期:2010-12-01
語言:英文 規格:平裝 / 228頁 / 23.39 x 15.6 x 1.3 cm / 普通級/ 初版
博客來 - 人工智慧
- 來源網頁   看圖書介紹
|
|
$ 9599 | Abel’s Theorem in Problems and Solutions: Based on the Lectures of Professor V.I. Arnold
作者:Alekseev / 譯者:Aicardi,Francesca
出版社:Springer
出版日期:2010-12-01
語言:英文 規格:平裝 / 270頁 / 23.39 x 15.6 x 1.52 cm / 普通級/ 初版
博客來 - 群論
- 來源網頁   看圖書介紹
|
|
|
|
| 作者:許添盛 出版社:賽斯文化 出版日期:2012-08-13 66折: $ 581 | | 作者:學習樹研究發展總部 出版社:五南圖書出版股份有限公司 出版日期:2018-05-28 66折: $ 673 | | 作者:謝志文 出版社:五南圖書出版股份有限公司 出版日期:2015-06-25 66折: $ 185 | | 作者:科林.史都華 出版社:五南圖書出版股份有限公司 出版日期:2019-05-28 66折: $ 231 | |
|
| 作者:洋洋兔編著 出版社:幼福文化事業股份有限公司 出版日期:2019-09-01 $ 157 | | 作者:青山剛昌 出版社:青文出版社股份有限公司 出版日期:2025-02-24 $ 83 | | 作者:強納森.海德特 (Jonathan Haidt) 出版社:網路與書出版 出版日期:2024-11-29 $ 379 | | 作者:周冠男 出版社:天下文化 出版日期:2024-07-31 $ 355 | |
|
| $ 750 | | 作者:秋蘆 出版社:白象文化事業有限公司 出版日期:2025-02-01 $ 224 | | $ 110 | | $ 331 | |
|
|
|
|