瀏覽紀錄
TOP
企業採購
會員登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
商品館分類
繁體書
簡體書
外文書
電子書
港版書
文具選物
紅利兌換
GO
進階搜尋
熱搜：
Julia Donaldson 套書
、
麵包小偷06
、
【預購】我英公式插畫集
、
明亮燦爛的你
、
蔣中正日記限量套書
、
納粹德國的法與不法
、
納瓦爾寶典珍藏版
、
香港聯合出版79折
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
電子書
親子
文具選物
漫畫
教科考用
NEW
領券享優惠，最高88折起
165反詐騙
【門市限定】至12/31文化幣使用倒數!加快腳步到三民書局使用吧!
篩選商品
縮小範圍
關鍵字
商品名稱
作者
出版社/品牌
包含
排除
篩選商品
商品類型
外文書
(1313)
商品狀態
可訂購
(1311)
無法訂購
(2)
無庫存
(1313)
商品定價
$200~$399
(1)
$400~$599
(1)
$600~$799
(1)
$800以上
(1310)
出版日期
2025年
(188)
2023~2024
(493)
2021~2022
(497)
2019~2020
(98)
2017~2018
(36)
2016以前
(1)
裝訂方式
平裝
(751)
精裝
(562)
出版社/品牌
Springer Nature
(1313)
作者
Apostolos Antonacopoulos(EDI)
(34)
Zhouchen Lin(EDI)
(15)
Qingshan Liu(EDI)
(12)
Alberto del Bimbo(EDI)
(8)
Akram Bennour(EDI)
(6)
Shivakumara Palaiahnakote(EDI)
(6)
Sujeet K. Sharma(EDI)
(6)
Xian Wen Ng
(6)
Yevgeni Koucheryavy(EDI)
(6)
Deepak Gupta(EDI)
(5)
Fausto Pedro García Márquez(EDI)
(5)
Pradeep Verma(EDI)
(5)
Vaibbhav Taraate
(5)
Akhilendra Pratap Singh(EDI)
(4)
Asit Kumar Das(EDI)
(4)
Avinash Kumar Agarwal(EDI)
(4)
Chandrasekar Vuppalapati
(4)
E. S. Gopi
(4)
Farzin Asadi
(4)
Gorachand Dutta(EDI)
(4)
More
關閉
搜尋結果
/
test pattern generation using boolean proof engines
篩選
關鍵字：test pattern gen...
出版社/品牌:Springer Natu...
顯示
並排
列表
模式
預設
斷詞
模糊
排序
相關性(高→低)
相關性(低→高)
出版日(新→舊)
出版日(舊→新)
定價(高→低)
定價(低→高)
共
1313
筆
第
1
/ 33
頁
1.
Paradoxes Between Truth and Proof
出版日：
2025/12/05
作者：
Mattia Petrolo(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
2.
First-Order Schemata and Inductive Proof Analysis
出版日：
2025/11/14
作者：
Alexander Leitsch
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
3.
Indeterminacy, Vagueness, and Truth: The Boolean Many-Valued Approach
出版日：
2025/10/30
作者：
Ken Akiba
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
4.
Natural Language Generation
出版日：
2025/10/17
作者：
Ehud Reiter
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3479
無庫存
預購中
滿額折
5.
Image Denoising Using Mathematical Tools
出版日：
2026/02/23
作者：
Talbi Mourad
出版社：
Springer Nature
裝訂：
精裝
優惠價：
1
2203
預購中
6.
Breaking Barriers with Open Innovation in Germany: A Roadmap to Future-Proof Innovation for the Mittelstand
出版日：
2026/02/12
作者：
Marc Vathauer
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
7.
Sustaining Tomorrow with Minimal Entropy Generation: Proceedings of Eco-Friendly Engineering 2025 Symposium and Industry Summit
出版日：
2026/02/06
作者：
David S. -K Ting(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
8.
Next-Generation Networks and Deployable Artificial Intelligence: Proceedings of Ngndai 2025, Volume 2
出版日：
2026/02/01
作者：
Deepak Gupta(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
9.
Next-Generation Networks and Deployable Artificial Intelligence: Proceedings of Ngndai 2025, Volume 1
出版日：
2026/02/01
作者：
Deepak Gupta(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
10.
Next-Generation Networks and Deployable Artificial Intelligence: Proceedings of Ngndai 2025, Volume 3
出版日：
2026/02/01
作者：
Deepak Gupta(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
預購中
滿額折
11.
Natural Hydrogen Reservoir: Geological Formation, Generation, and Resource Potential for a Low Carbon Future
出版日：
2026/01/30
作者：
Yujie Yuan
出版社：
Springer Nature
裝訂：
精裝
優惠價：
1
2609
預購中
12.
Ai-Driven Security for Next-Generation Iot Systems
出版日：
2026/01/16
作者：
Mourade Azrour(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
13.
Probing the Giant Dipole Resonance Using Nuclear Resonance Fluorescence
出版日：
2026/01/13
作者：
Jörn Kleemann
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
14.
Advanced Wastewater Treatment Using Chitosan Derivatives: A Comprehensive Guide to Bio-Adsorbents and Predictive Modelling Techniques in Environmental
出版日：
2026/01/12
作者：
Ephraim Igberase
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
15.
Next Generation Computing and Communication Applications: First Eai International Conference, Icngcca 2025, Odisha, India, March 18, 2025, Proceedings
出版日：
2026/01/08
作者：
Raghvendra Kumar(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
16.
Pattern Recognition: 47th Dagm German Conference, Dagm Gcpr 2025, Freiburg, Germany, September 23-26, 2025, Proceedings
出版日：
2026/01/04
作者：
Margret Keuper(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
17.
Unknown Inputs Estimation in Linear Time-Delay Systems Using Generalized Functional Observers
出版日：
2026/01/01
作者：
Hieu Trinh
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
18.
Progress in Artificial Intelligence and Pattern Recognition: 9th International Congress, Iwaipr 2025, Varadero, Cuba, October 14-17, 2025, Proceedings
出版日：
2025/12/26
作者：
Yanio Hernádez Heredia(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
19.
Leonhard Euler's Principle of Angular Momentum Volume 2: Sources: A Reconstruction of Its Development Using His Notebooks, Manuscripts, Publications,
出版日：
2025/12/23
作者：
Andreas Verdun
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
20.
Classical Machine Learning: A Practical Guide Using Python
出版日：
2025/12/21
作者：
Sanad Aburass
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
21.
Analytical Solutions of Nonlinear Power System Models Using the Lambert W Function: A Research Monograph
出版日：
2025/12/14
作者：
Martin Ć
;
alasan
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3189
無庫存
滿額折
22.
Guide to Using Generative AI in Programming
出版日：
2025/12/04
作者：
Antti Laaksonen
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
2899
無庫存
23.
Next-Generation Nanomaterials for Sustainable Engineering
出版日：
2025/12/03
作者：
Shrikaant Kulkarni(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
24.
Diasporas, Voting and Linguistic Justice: A Study of Second- And Third-Generation Italo-Australians
出版日：
2025/12/01
作者：
Matteo Bonotti
出版社：
Springer Nature
裝訂：
精裝
優惠價：
1
3479
無庫存
滿額折
25.
Seismic Control of Structures Using Tuned Mass Dampers: Theory and Practice
出版日：
2025/11/26
作者：
Hamid Radmard Rahmani
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3189
無庫存
26.
Computer Vision, Pattern Recognition, Image Processing, and Graphics: 10th National Conference, Ncvpripg 2025, Jammu, India, July 16-18, 2025, Revised
出版日：
2025/11/15
作者：
Badri Narayan Subudhi(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
27.
Computer Vision, Pattern Recognition, Image Processing, and Graphics: 10th National Conference, Ncvpripg 2025, Jammu, India, July 16-18, 2025, Revised
出版日：
2025/11/15
作者：
Badri Narayan Subudhi(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
28.
Pattern Recognition Applications and Methods: 13th International Conference, Icpram 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers
出版日：
2025/11/14
作者：
Ana Fred(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3769
無庫存
29.
Molecular Orientation Analysis Using Polarized Vibrational Spectroscopy: A Programmatic Approach
出版日：
2025/11/07
作者：
Dennis Hore
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
30.
Smart Generation Computing and Communication Networks
出版日：
2025/10/31
作者：
Anand Kr Shukla(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
31.
Hydrological Modelling and Assessment in Arid Region Using Remote Sensing and Gis: A Case Study in Southeast Sinai, Egypt
出版日：
2025/10/29
作者：
Ali Hagras
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
32.
E-Waste: From Generation to Management-Practices, Challenges, and Solutions
出版日：
2025/10/28
作者：
Prashant Shukla(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
33.
Regulatory Cooperation Chapters in the New Generation Ftas: Legitimacy Requirements for Their Manifestation and Interaction with the EU Legal Order
出版日：
2025/10/26
作者：
Kornilia Pipidi-Kalogirou
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
34.
Navigating Uncertainty Using Foresight Intelligence: A Guidebook for Scoping Scenario Options in Cyber and Beyond
出版日：
2025/10/26
作者：
Bruce Garvey
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
35.
Leonhard Euler's Principle of Angular Momentum: A Reconstruction of Its Development Using His Notebooks, Manuscripts, Publications, and Correspondence
出版日：
2025/10/25
作者：
Andreas Verdun
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
36.
Growing Up with AI: Understanding the Impact of AI on the New Generation
出版日：
2025/10/18
作者：
Alexei Dingli(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
37.
Perovskites for Next-Generation Wearable Technology
出版日：
2025/10/14
作者：
Mahdi Darab
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
38.
Law, Literature and Legal Counterfactuals: A Method of Contrastive Discourse Analysis Using the Example of Contemporary Literature
出版日：
2025/10/12
作者：
Alexandra Juster
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
39.
Building Recommender Systems Using Large Language Models
出版日：
2025/10/10
作者：
Jianqiang Wang
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3189
無庫存
40.
Modeling Correlated Outcomes Using Extensions of Generalized Estimating Equations and Linear Mixed Modeling
出版日：
2025/10/09
作者：
George J. Knafl
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
共
1313
筆
第
33
頁
1
2
3
4
5
6
7
8
9
33
暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區
加入會員
會員登入
客服中心
領券專區
首頁
網站導航
暢銷榜
新品
中文書
外文書
簡體書
三民東大
親子館
文具禮品
漫畫館
教科考用
政府出版
香港出版
大學出版
得獎作品
套書
紅利兌換
加價構
主題書展
三民書局
關於我們
門市專區
藝文講座
學習平台
異業合作
圖書採購/編目
人才招募
禮券兌換處
瀏覽器資訊
三民網路書店服務
會員服務條款
資訊安全警語
隱私權政策
新手購書
圖書分類
中國圖書館分類
空中大學購書
好站連結
企業會員專區
加入企業會員
服務條款
會員須知
圖書目錄下載
三民・東大・弘雅三民
小山丘童書(0-6歲)
兒童・青少年(7歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
