瀏覽紀錄
TOP
企業採購
會員登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
商品館分類
繁體書
簡體書
外文書
電子書
港版書
文具選物
紅利兌換
GO
進階搜尋
熱搜：
The Odyssey
、
週年慶優惠
、
抄寫英語的奇蹟
、
黃寬重院士
、
國際布克獎 臺灣漫遊錄
、
如果歷史是一群喵
、
膽大黨漫迷手冊(全)
、
魯冰花
、
奧德賽
、
活出自己的節奏
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
電子書
親子
文具選物
漫畫
教科考用
NEW
紅利積點抵現金，消費購書更貼心
165反詐騙
英國出版界指標大獎肯定！A.F. Steadman 獲年度作家，《史坎德》系列帶你踏上熱血奇幻旅程
篩選商品
關閉
縮小範圍
關鍵字
商品名稱
作者
出版社/品牌
包含
排除
篩選商品
商品類型
外文書
(506)
商品狀態
可訂購
(506)
無庫存
(506)
商品定價
$800以上
(506)
出版日期
2026年以後
(24)
2024~2025
(123)
2022~2023
(150)
2020~2021
(108)
2018~2019
(99)
2017年以前
(2)
裝訂方式
平裝
(264)
精裝
(242)
出版社/品牌
Springer Nature
(506)
作者
Tiziana Margaria(EDI)
(13)
Banh Tien Long(EDI)
(9)
Marco Corazza(EDI)
(6)
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)
Alessandro Deserti(EDI)
(2)
Almo Farina
(2)
Ana Paula Cardoso Ermel
(2)
More
搜尋結果
/
Formal Methods for Components and Objects
篩選
關鍵字：Formal Methods f...
出版社/品牌:Springer Natu...
顯示
並排
列表
排序
相關性(高→低)
相關性(低→高)
出版日(新→舊)
出版日(舊→新)
定價(高→低)
定價(低→高)
共
506
筆
第
1
/ 13
頁
滿額折
1.
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 元
無庫存
滿額折
2.
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 元
無庫存
3.
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]。
4.
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]。
滿額折
5.
Formal Methods for Software Engineering: Languages, Methods, Application Domains
出版日：
2023/06/24
作者：
Markus Roggenbach
出版社：
Springer Nature
裝訂：
平裝
定價：3479 元
無庫存
6.
Formal Methods for Software Engineering: Languages, Methods, Application Domains
出版日：
2021/05/25
作者：
Markus Roggenbach
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
7.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2025/07/11
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
精裝
定價：3479 元
無庫存
8.
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]。
滿額折
9.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2023/11/23
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
10.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2022/10/25
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
11.
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]。
滿額折
12.
Bioimage Data Analysis Workflows ‒ Advanced Components and Methods
出版日：
2021/08/27
作者：
Kota Miura(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
無庫存
13.
Mechanical Components of Automobile Vehicles and Equipment for Testing
出版日：
2026/06/21
作者：
Vicente Díaz López
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
14.
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]。
15.
Advanced Materials and Components for 5g and Beyond
出版日：
2023/12/01
作者：
Colin Tong
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
16.
Mathematical Methods for Objects Reconstruction: From 3D Vision to 3D Printing
出版日：
2023/06/15
作者：
Emiliano Cristiani(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
17.
Advanced Materials and Components for 5g and Beyond
出版日：
2022/11/17
作者：
Colin Tong
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
18.
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]。
19.
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]。
20.
Computational Methods for Nanoscale Applications: Particles, Plasmons and Waves
出版日：
2026/07/28
作者：
Igor Tsukerman
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
21.
Statistical Methods for Data Analysis and Decision Sciences
出版日：
2026/05/23
作者：
Francesca de Battisti(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
22.
Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
出版日：
2025/09/04
作者：
Anne Remke(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
23.
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]。
滿額折
24.
Formal Methods for Industrial Critical Systems: 29th International Conference, Fmics 2024, Milan, Italy, September 9-13, 2024, Proceedings
出版日：
2024/09/09
作者：
Anne E. Haxthausen(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
25.
Recommendations for Fatigue Design of Welded Joints and Components
出版日：
2024/07/15
作者：
A. F. Hobbacher
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
26.
Bioactive Components: A Sustainable System for Good Health and Well-Being
出版日：
2023/12/16
作者：
Monika Thakur(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
27.
Formal Methods for Industrial Critical Systems: 28th International Conference, Fmics 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
出版日：
2023/10/20
作者：
Alessandro Cimatti(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
28.
Startup Ecosystems: Components for an Interpretative Model and International Benchmarks
出版日：
2023/08/08
作者：
Fabio Greco
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
29.
Classification of Musical Objects for Analysis and Composition
出版日：
2023/06/12
作者：
Linshujie Zheng
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
30.
Acoustic Invisibility for Elliptic Objects: Theory and Experiments for Underwater Sound
出版日：
2023/01/27
作者：
Davide Enrico Quadrelli
出版社：
Springer Nature
裝訂：
平裝
定價：3189 元
無庫存
31.
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]。
32.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Gre
出版日：
2022/10/20
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
33.
Bioactive Components: A Sustainable System for Good Health and Well-Being
出版日：
2022/09/20
作者：
Monika Thakur(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
34.
Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings
出版日：
2021/10/02
作者：
Alberto Lluch Lafuente(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
35.
Dynamic and Stimuli-Responsive Multi-Phase Emulsion Droplets for Optical Components
出版日：
2021/09/03
作者：
Sara Nagelberg
出版社：
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.
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application
出版日：
2020/12/10
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
38.
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications
出版日：
2020/10/27
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
39.
Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings
出版日：
2020/08/29
作者：
Maurice H. Ter Beek(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
40.
Market Research for SMEs: Understanding Customers and Markets with AI Enhanced Methods
出版日：
2026/08/03
作者：
Thomas Dobbelstein
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
1
2
3
4
5
6
7
8
9
10
11
12
13
共
506
筆
第
13
頁
1
2
3
4
5
6
7
8
9
13
暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區
加入會員
會員登入
客服中心
領券專區
首頁
網站導航
暢銷榜
新品
中文書
外文書
簡體書
三民東大
親子館
文具禮品
漫畫館
教科考用
政府出版
香港出版
大學出版
得獎作品
套書
紅利兌換
加價構
主題書展
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
