瀏覽紀錄
TOP
企業採購
會員登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
商品館分類
繁體書
簡體書
外文書
電子書
港版書
文具選物
紅利兌換
GO
進階搜尋
熱搜：
週年慶優惠
、
抄寫英語的奇蹟02
、
黃寬重院士
、
國際布克獎 臺灣漫遊錄
、
如果歷史是一群喵
、
膽大黨漫迷手冊(全)
、
活出自己的節奏
、
奧德賽
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
電子書
親子
文具選物
漫畫
教科考用
NEW
紅利積點抵現金，消費購書更貼心
165反詐騙
英國出版界指標大獎肯定！A.F. Steadman 獲年度作家，《史坎德》系列帶你踏上熱血奇幻旅程
篩選商品
關閉
縮小範圍
關鍵字
商品名稱
作者
出版社/品牌
包含
排除
篩選商品
商品類型
外文書
(362)
商品狀態
可訂購
(362)
無庫存
(362)
商品定價
$400~$599
(3)
$600~$799
(1)
$800以上
(358)
出版日期
2026年以後
(11)
2024~2025
(37)
2022~2023
(43)
2020~2021
(35)
2018~2019
(15)
2017年以前
(220)
裝訂方式
平裝
(226)
精裝
(121)
出版社/品牌
Cambridge Univ Pr
(115)
Springer Nature
(88)
Springer Verlag
(37)
Springer-Verlag New York Inc
(28)
John Wiley & Sons Inc
(13)
Dover Pubns
(5)
Lightning Source Inc
(5)
Mit Pr
(5)
Bloomsbury Academic UK
(3)
Cambridge University Press
(3)
Bradford Books
(2)
CAMBRIDGE
(2)
CREATIVE MEDIA PUB
(2)
Chapman & Hall
(2)
Harvard Univ Pr
(2)
Igi Global
(2)
PBKTYFRL
(2)
Routledge UK
(2)
Springer International Publishing AG
(2)
Springer Nature B.V.
(2)
More
作者
Tiziana Margaria(EDI)
(13)
Antonio Cerone(EDI)
(3)
Boulanger
(3)
Daniel Jackson
(3)
Emil Sekerinski(EDI)
(3)
Guo-Qiang Zhang
(3)
Jonathan Jacky
(3)
Maurice H. Ter Beek(EDI)
(3)
William Poland
(3)
Aaron Dutle(EDI)
(2)
Adnan Darwiche
(2)
Anne E. Haxthausen(EDI)
(2)
Archibald H. Christie
(2)
Assaf Likhovski
(2)
Augusto Sampaio(EDI)
(2)
Ben W. Ansell
(2)
Carroll Morgan
(2)
Charles C. Sims
(2)
Christopher Carrigan
(2)
Christopher Fletcher
(2)
More
搜尋結果
/
Formal Methods
篩選
關鍵字：Formal Methods
商品類型:外文書
顯示
並排
列表
排序
相關性(高→低)
相關性(低→高)
出版日(新→舊)
出版日(舊→新)
定價(高→低)
定價(低→高)
共
362
筆
第
1
/ 10
頁
90 折
1.
Formal Methods for Managing and Processing Ontology Alignments
出版日：
2026/07/20
作者：
Marcin Pietranik (Wroclaw University of Science and Technology Wybreze St Wyspinaskiego 27 Wroclaw Poland 50-370)
出版社：
PBKTYFRL
裝訂：
平裝
優惠價：
9
3131
無庫存
2.
NASA Formal Methods: 18th International Symposium, Nfm 2026, Los Angeles, Ca, Usa, May 5-7, 2026, Proceedings
出版日：
2026/07/05
作者：
Jyotirmoy Deshmukh(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
3.
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, Fmtea 2026, Tokyo, Japan, May 19, 2026, Proceedings
出版日：
2026/06/18
作者：
Gustavo Carvalho(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3189 元
無庫存
4.
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II
出版日：
2026/06/14
作者：
Augusto Sampaio(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
5.
Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
出版日：
2026/06/12
作者：
Augusto Sampaio(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
無庫存
6.
Juggling Formal Methods and Security: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday
出版日：
2026/03/17
作者：
Barbara Fila(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
7.
Formal Methods, Informally: How to Write Programs That Work
出版日：
2026/01/31
作者：
Carroll Morgan
出版社：
CAMBRIDGE
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
8.
Formal Methods, Informally: How to Write Programs That Work
出版日：
2026/01/31
作者：
Carroll Morgan
出版社：
CAMBRIDGE
裝訂：
平裝
定價：2750 元
無庫存
滿額折
9.
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, Sbmf 2025, Recife, Brazil, December 3-5, 2025, Proceedings
出版日：
2025/12/31
作者：
Maurice Ter Beek(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
10.
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings
出版日：
2025/12/16
作者：
Ferruccio Damiani(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
11.
Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 202
出版日：
2025/12/15
作者：
Étienne André(EDI)
出版社：
Springer
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
12.
Software Engineering and Formal Methods: 23rd International Conference, Sefm 2025, Toledo, Spain, November 10-14, 2025, Proceedings
出版日：
2025/12/10
作者：
Domenico Bianculli(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
13.
Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul Agha to Celebrate His Scientific Career
出版日：
2025/10/15
作者：
Jose Meseguer(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
14.
Formal Methods in Architecture: Proceedings of the 7th International Symposium on Formal Methods in Architecture (7fma), Porto 2024
出版日：
2025/09/23
作者：
Bruno Marques(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
15.
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 元
無庫存
16.
Advances in Formal Design Methods for CAD
出版日：
2025/08/25
作者：
Lamarcus Crowne(EDI)
出版社：
Ny Research Pr
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
17.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2025/07/11
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
精裝
定價：3479 元
無庫存
18.
NASA Formal Methods: 17th International Symposium, Nfm 2025, Hampton Roads, Va, Usa, June 11-13, 2025, Proceedings
出版日：
2025/06/28
作者：
Aaron Dutle(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
19.
Formal Methods for Multi-Agent Feedback Control Systems
出版日：
2025/04/29
作者：
Lars Lindemann
出版社：
Mit Pr
裝訂：
平裝
優惠價：
79
4266
無庫存
20.
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]。
滿額折
21.
Formal Methods: Foundations and Applications: 27th Brazilian Symposium, Sbmf 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
出版日：
2024/11/29
作者：
Sidney C. Nogueira(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
22.
Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
出版日：
2024/11/26
作者：
Alexandre Madeira(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
23.
Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings
出版日：
2024/11/13
作者：
Nikolai Kosmatov(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
24.
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos
出版日：
2024/10/27
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
25.
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]。
滿額折
26.
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc
出版日：
2024/10/26
作者：
Tiziana Margaria(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3189 元
無庫存
27.
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
出版日：
2024/10/12
作者：
Andre Platzer(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
28.
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
出版日：
2024/10/09
作者：
André Platzer(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：2899 元
無庫存
滿額折
29.
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
出版日：
2024/10/08
作者：
Emil Sekerinski(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3189 元
無庫存
30.
Formal Methods for Managing and Processing Ontology Alignments
出版日：
2024/10/07
作者：
Marcin Pietranik (Wroclaw University of Science and Technology Wybreze St Wyspinaskiego 27 Wroclaw Poland 50-370)
出版社：
PBKTYFRL
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
31.
Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition
出版日：
2024/09/21
作者：
Dirk Beyer(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3189 元
無庫存
滿額折
32.
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 元
無庫存
33.
NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings
出版日：
2024/07/03
作者：
Nathaniel Benz(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
34.
Securing the System: Formal Methods for Error-Free Software
出版日：
2024/06/21
作者：
Naviya
出版社：
Tredition Gmbh
裝訂：
平裝
定價：1019 元
無庫存
滿額折
35.
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
出版日：
2024/01/11
作者：
Haniel Barbosa(EDI)
出版社：
Springer Nature
裝訂：
平裝
定價：3479 元
無庫存
36.
Software Engineering and Formal Methods: 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
出版日：
2023/12/08
作者：
Carla Ferreira(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
37.
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]。
滿額折
38.
Formal Methods for the Analysis of Biomedical Ontologies
出版日：
2023/11/23
作者：
Guo-Qiang Zhang
出版社：
Springer Nature
裝訂：
平裝
定價：3769 元
無庫存
39.
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]。
40.
Formal Methods for Autonomous Systems
出版日：
2023/09/21
作者：
Tichakorn Wongpiromsarn
出版社：
NEW PUBL INC
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
1
2
3
4
5
6
7
8
9
10
共
362
筆
第
10
頁
1
2
3
4
5
6
7
8
9
10
暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區
加入會員
會員登入
客服中心
領券專區
首頁
網站導航
暢銷榜
新品
中文書
外文書
簡體書
三民東大
親子館
文具禮品
漫畫館
教科考用
政府出版
香港出版
大學出版
得獎作品
套書
紅利兌換
加價構
主題書展
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
