瀏覽紀錄
TOP
企業採購
登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
商品館分類
繁體書
簡體書
外文書
電子書
港版書
文具選物
紅利兌換
GO
進階搜尋
熱搜：
Night, Night, Cats
、
少年綠皮書
、
劉克襄
、
萬聖節
、
Bluey盒書
、
關於國旗的⼀切
、
無人機戰爭
、
紅樓夢心理學（上冊）
、
絕對超級大雨傘
、
最新綜合六法全書
、
2027年故宮月曆
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
電子書
親子
文具選物
漫畫
教科考用
NEW
紅利積點抵現金，消費購書更貼心
165反詐騙
💡 邁向小一的第一步！給孩子一本「查得到自信」的專屬辭典，輕鬆跨越閱讀關卡！🚀
篩選商品
關閉
縮小範圍
關鍵字
商品名稱
作者
出版社/品牌
包含
排除
篩選商品
商品類型
外文書
(536)
商品狀態
可訂購
(536)
無庫存
(536)
商品定價
$800以上
(536)
出版日期
2026年以後
(54)
2024~2025
(123)
2022~2023
(150)
2020~2021
(108)
2018~2019
(99)
2017年以前
(2)
裝訂方式
平裝
(286)
精裝
(250)
出版社/品牌
Springer Nature
(536)
作者
Tiziana Margaria(EDI)
(18)
Banh Tien Long(EDI)
(9)
Marco Corazza(EDI)
(6)
Hiep Xuan Huynh(EDI)
(5)
Ryspek Usubamatov
(5)
Xian Wen Ng
(4)
Yo-Ping Huang(EDI)
(4)
Antonio Cerone(EDI)
(3)
Franz W. Peren(EDI)
(3)
Guo-Qiang Zhang
(3)
Igor Tsukerman
(3)
Kim Phuc Tran(EDI)
(3)
Nan Chen
(3)
Tero Tuovinen(EDI)
(3)
Wei Qi Yan
(3)
A. K. Chakravarthy(EDI)
(2)
Adrian Gambier
(2)
Alan Javier Hernández-Álvarez(EDI)
(2)
Alemka Tomicic(EDI)
(2)
Alessandro Deserti(EDI)
(2)
More
搜尋結果
/
Formal Methods for Components and Objects
篩選
關鍵字：Formal Methods f...
出版社/品牌:Springer Natu...
顯示
並排
列表
排序
相關性(高→低)
相關性(低→高)
出版日(新→舊)
出版日(舊→新)
定價(高→低)
定價(低→高)
共
536
筆
第
1
/ 14
頁
預購
滿額折
1.
Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems: 13th Inter
出版日：
2026/10/29
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
預購
滿額折
2.
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: 13
出版日：
2026/11/01
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
3.
Formal Methods for Industrial Critical Systems: 31st International Conference, Fmics 2026, Liverpool, Uk, September 3-4, 2026, Proceedings
出版日：
2026/10/04
作者：
Peter Gorm Larsen(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
預購
滿額折
4.
Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps Between Software and System Contracts: 13th International Sympos
出版日：
2026/10/29
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
預購
滿額折
5.
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 13th International Sympos
出版日：
2026/10/29
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
預購
滿額折
6.
Leveraging Applications of Formal Methods, Verification and Validation. X-By-Construction Meets Intersymbolic AI: 13th International Symposium, Isola
出版日：
2026/11/01
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
預購中
7.
Software Engineering and Formal Methods. Sefm 2025 Collocated Workshops: Reacts 2025 and Cifma 2025, Toledo, Spain, November 11, 2025, Revised Selecte
出版日：
2026/09/23
作者：
Francesco Bianchini(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
8.
Statistical Methods and Machine Learning for Ranking Data
出版日：
2026/11/10
作者：
Mayer Alvo
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
9.
Analytical Methods for Tobacco and Nicotine Harm Reduction
出版日：
2026/08/03
作者：
Serban Moldoveanu
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
10.
Convex Trajectory Optimization for Aerospace Vehicles: Methods and Applications
出版日：
2026/10/09
作者：
Zhenbo Wang
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
11.
Formal Methods for Software Engineering: Languages, Methods, Application Domains
出版日：
2023/06/24
作者：
Markus Roggenbach
出版社：
Springer Nature
裝訂：
平裝
定價：3479 元
無庫存
12.
Formal Methods for Software Engineering: Languages, Methods, Application Domains
出版日：
2021/05/25
作者：
Markus Roggenbach
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
13.
Formal Techniques for Distributed Objects, Components, and Systems: 46th Ifip Wg 6.1 International Conference, Forte 2026, Held as Part of the 21st In
出版日：
2026/07/07
作者：
Laura Bocchi(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
滿額折
14.
Formal Techniques for Distributed Objects, Components, and Systems: 45th Ifip Wg 6.1 International Conference, Forte 2025, Held as Part of the 20th In
出版日：
2025/07/15
作者：
Carla Ferreira(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
15.
Formal Techniques for Distributed Objects, Components, and Systems: 44th Ifip Wg 6.1 International Conference, Forte 2024, Held as Part of the 19th In
出版日：
2024/07/17
作者：
Valentina Castiglioni(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
16.
Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In
出版日：
2023/07/23
作者：
Marieke Huisman(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
17.
Formal Techniques for Distributed Objects, Components, and Systems: 41st Ifip Wg 6.1 International Conference, Forte 2021, Held as Part of the 16th In
出版日：
2021/07/25
作者：
Kirstin Peters(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
18.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2025/07/11
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
精裝
定價：3479 元
無庫存
滿額折
19.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2023/11/23
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
20.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2022/10/25
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
21.
Bioimage Data Analysis Workflows ‒ Advanced Components and Methods
出版日：
2021/08/27
作者：
Kota Miura(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
無庫存
22.
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISo
出版日：
2021/10/12
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
23.
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, Qld, Australia, November 2
出版日：
2023/12/01
作者：
Yi Li(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
24.
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024
出版日：
2024/11/29
作者：
Kazuhiro Ogata(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
25.
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022,
出版日：
2022/11/10
作者：
Adrian Riesco(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
26.
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal
出版日：
2020/12/08
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
27.
Mathematical Methods for Objects Reconstruction: From 3D Vision to 3D Printing
出版日：
2023/06/15
作者：
Emiliano Cristiani(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
28.
Advanced Materials and Components for 5g and Beyond
出版日：
2023/12/01
作者：
Colin Tong
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
29.
Advanced Materials and Components for 5g and Beyond
出版日：
2022/11/17
作者：
Colin Tong
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
30.
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, Fomlas 2022, and 15th International Workshop,
出版日：
2022/12/30
作者：
Omri Isac(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
31.
Mechanical Components of Automobile Vehicles and Equipment for Testing
出版日：
2026/06/21
作者：
Vicente Díaz López
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
32.
Recommendations for Fatigue Design of Welded Joints and Components
出版日：
2024/07/15
作者：
A. F. Hobbacher
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
33.
Startup Ecosystems: Components for an Interpretative Model and International Benchmarks
出版日：
2023/08/08
作者：
Fabio Greco
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
34.
Classification of Musical Objects for Analysis and Composition
出版日：
2023/06/12
作者：
Linshujie Zheng
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
35.
Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Proceedings
出版日：
2021/04/14
作者：
Antonio Cerone(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
36.
Schwarz Methods and Multilevel Preconditioners for Boundary Element Methods
出版日：
2021/07/23
作者：
Ernst Peter Stephan
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
37.
Bioactive Components: A Sustainable System for Good Health and Well-Being
出版日：
2023/12/16
作者：
Monika Thakur(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
38.
Bioactive Components: A Sustainable System for Good Health and Well-Being
出版日：
2022/09/20
作者：
Monika Thakur(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
39.
Dynamic and Stimuli-Responsive Multi-Phase Emulsion Droplets for Optical Components
出版日：
2021/09/03
作者：
Sara Nagelberg
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
40.
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,
出版日：
2024/10/26
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
共
536
筆
第
14
頁
1
2
3
4
5
6
7
8
9
14
暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區
加入會員
會員登入
客服中心
領券專區
首頁
網站導航
暢銷榜
新品
中文書
外文書
簡體書
三民東大
親子館
文具禮品
漫畫館
教科考用
政府出版
香港出版
大學出版
得獎作品
套書
紅利兌換
加價構
主題書展
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
