瀏覽紀錄
TOP
企業採購
會員登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
商品館分類
繁體書
簡體書
外文書
電子書
港版書
文具選物
紅利兌換
GO
進階搜尋
熱搜：
冠軍之路
、
蔣中正日記限量套書
、
新來的小怪物
、
不行，還不行！
、
家弒女王最新作品
、
判處勇者刑
、
新年書單
、
哆啦A夢世界名人語錄
、
學霸作文 2
、
Julia Donaldson 套書
、
世界名著英文版
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
電子書
親子
文具選物
漫畫
教科考用
165反詐騙
紅利積點抵現金，消費購書更貼心
篩選商品
縮小範圍
關鍵字
商品名稱
作者
出版社/品牌
包含
排除
篩選商品
商品類型
外文書
(13)
商品狀態
可訂購
(13)
無庫存
(13)
商品定價
$800以上
(13)
出版日期
2024~2025
(13)
裝訂方式
平裝
(13)
出版社/品牌
Independently published
(12)
Independently published
(1)
作者
Axionics Ltd
(13)
關閉
搜尋結果
/
Formal Methods
篩選
關鍵字：Formal Methods
作者:Axionics Ltd
顯示
並排
列表
排序
相關性(高→低)
相關性(低→高)
出版日(新→舊)
出版日(舊→新)
定價(高→低)
定價(低→高)
共
13
筆
第
1
/ 1
頁
滿額折
1.
Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, DSLs, and Category Theory Deep Dive
出版日：
2025/06/06
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
2.
MATLAB Programming and Numerical Methods: Functions, Loops, Linear Algebra, and Numerical Computations
出版日：
2025/06/22
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
3.
Mathematical Programming in Lisp & Scheme: Symbolic Algebra, Numerical Methods, Logic Programming, and Theorem Proving
出版日：
2025/06/21
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
4.
Advanced Functional Programming: Monads, Continuations, Lazy Evaluation, Type Systems, and Formal Verification in Racket
出版日：
2025/06/20
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
5.
Variational Methods, Asymptotic Approximations, and WKB Theory
出版日：
2025/06/15
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
6.
Numerical Methods, Monte Carlo Simulations, and Computational Linear Algebra for Physicists
出版日：
2025/06/15
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
7.
Mathematical Methods in Quantum Field Theory, General Relativity, and Topological Physics
出版日：
2025/06/15
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
8.
Advanced Mathematical Programming in OCaml: Cryptography, Geometry, Differential Equations, and Formal Verification (Coq/Z3)
出版日：
2025/06/11
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
9.
Scientific Computing in Groovy: Numerical Methods, Optimization, and Precision
出版日：
2025/06/08
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
10.
Mathematical Haskell: Linear Algebra, Numerical Methods, Graph Theory, and Optimization Algorithms
出版日：
2025/06/06
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
11.
Math for Flutter Developers: Algebra, Trigonometry, Numerical Methods, and Scientific Dart
出版日：
2025/06/01
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
12.
Numerical Methods and Linear Algebra in Lua: Root Finding, Interpolation, Vectors, Matrices, and Systems of Equations
出版日：
2025/05/30
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
滿額折
13.
Markov Chains, Bayesian Reasoning, and Monte Carlo Methods: Game Theory, Belief Updates, and Simulations for Roulette/Dice/Cards
出版日：
2025/06/16
作者：
Axionics Ltd
出版社：
Independently published
裝訂：
平裝
優惠價：
1
1152
無庫存
共
13
筆
第
1
頁
暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區
加入會員
會員登入
客服中心
領券專區
首頁
網站導航
暢銷榜
新品
中文書
外文書
簡體書
三民東大
親子館
文具禮品
漫畫館
教科考用
政府出版
香港出版
大學出版
得獎作品
套書
紅利兌換
加價構
主題書展
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
