瀏覽紀錄
TOP
企業採購
會員登入
會員專區
購物車
0
通知
0
紅利兌換
客服中心
領券專區
藝文講座
學習平台
0
0
全部
商品名稱
ISBN
作者
出版社/品牌
促銷活動
書展
叢書
系列
標籤
代碼
商品代碼
商品館分類
繁體書
簡體書
外文書
電子書
港版書
文具選物
紅利兌換
GO
進階搜尋
熱搜：
孩子需要的繪本180選
、
Julia Donaldson 套書
、
麵包小偷06
、
【預購】我英公式插畫集首刷限定
、
明亮燦爛的你
、
蔣中正日記限量套書
、
納粹德國的法與不法
、
納瓦爾寶典珍藏版
、
香港聯合出版79折
暢銷榜
新品
推薦
中文
外文
簡體
三民東大
電子書
親子
文具選物
漫畫
教科考用
NEW
領券享優惠，最高88折起
165反詐騙
【門市限定】至12/31文化幣使用倒數!加快腳步到三民書局使用吧!
篩選商品
縮小範圍
關鍵字
商品名稱
作者
出版社/品牌
包含
排除
篩選商品
商品類型
外文書
(1313)
商品狀態
可訂購
(1312)
無法訂購
(1)
無庫存
(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.
Biogas Combustion Engines for Green Energy Generation
出版日：
2022/04/01
作者：
Eiji Tomita
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3189
無庫存
2.
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems
出版日：
2024/05/31
作者：
Rolf Drechsler(EDI)
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
3.
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems
出版日：
2023/06/08
作者：
Rolf Drechsler(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
4.
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems
出版日：
2022/04/30
作者：
Rolf Drechsler(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
5.
Pattern Recognition and Computational Intelligence Techniques Using MATLAB
出版日：
2020/10/28
作者：
E. S. Gopi
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
6.
Energy Generation Using Reverse Electrodialysis ― Principles, Implementation, and Applications
出版日：
2019/05/02
作者：
Daejoong Kim
;
Kilsung Kwon
;
Deok Han Kim
;
Longnan Li
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3000
無庫存
7.
Natural Gas Engines ― For Transportation and Power Generation
出版日：
2018/11/15
作者：
Kalyan Kumar Srinivasan (EDT)
;
Avinash Kumar Agarwal (EDT)
;
Sundar Rajan Krishnan (EDT)
;
Vincenzo Mulone (EDT)
出版社：
Springer Nature
裝訂：
精裝
This book covers the various advanced reciprocating combustion engine technologies that utilize natural gas and alternative fuels for transportation and power generation applications. It is divided in
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
8.
Paradoxes Between Truth and Proof
出版日：
2025/12/05
作者：
Mattia Petrolo(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
9.
First-Order Schemata and Inductive Proof Analysis
出版日：
2025/11/14
作者：
Alexander Leitsch
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
10.
Indeterminacy, Vagueness, and Truth: The Boolean Many-Valued Approach
出版日：
2025/10/30
作者：
Ken Akiba
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
11.
Natural Language Generation
出版日：
2025/10/17
作者：
Ehud Reiter
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3479
無庫存
12.
Pattern Recognition and Artificial Intelligence: Selected Papers from the 6th Mediterranean Conference on Pattern Recognition and Artificial Intellige
出版日：
2025/08/18
作者：
Fausto Pedro García Márquez(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
13.
Pattern Recognition Primer
出版日：
2025/06/27
作者：
Karol Przystalski
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
14.
Automatic Question Generation
出版日：
2025/06/15
作者：
Michael Flor
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
15.
Innate Immunity: Pattern Recognition and Effector Mechanisms
出版日：
2025/06/01
作者：
Uday Kishore(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
16.
Beyond the T-Test
出版日：
2025/05/19
作者：
Scott A. Pardo
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
17.
Transactions on Pattern Languages of Programming V
出版日：
2025/04/17
作者：
Eugene Wallingford(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
18.
Clean Water: Next Generation Technologies
出版日：
2025/03/20
作者：
Khouloud Jlassi(EDI)
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
滿額折
19.
Wie Die Generation Z Das Gesundheitswesen Verändert: Zukunftspositive Geschichten Der Neuen Generation
出版日：
2025/03/14
作者：
Inga Bergen(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
950
無庫存
20.
Emerging Trends in Information System Security Using AI & Data Science for Next-Generation Cyber Analytics
出版日：
2025/03/07
作者：
Faisal Rehman(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
21.
Information-Powered Engines
出版日：
2025/02/07
作者：
Tushar Kanti Saha
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
22.
Paradoxes Between Truth and Proof
出版日：
2024/12/05
作者：
Mattia Petrolo(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
23.
The Forcing Method in Set Theory: An Introduction Via Boolean Valued Logic
出版日：
2024/11/13
作者：
Matteo Viale
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3189
無庫存
24.
Indeterminacy, Vagueness, and Truth: The Boolean Many-Valued Approach
出版日：
2024/10/29
作者：
Ken Akiba
出版社：
Springer Nature
裝訂：
精裝
到貨時通知我
滿額折
25.
Natural Language Generation
出版日：
2024/10/11
作者：
Ehud Reiter
出版社：
Springer Nature
裝訂：
精裝
優惠價：
1
3479
無庫存
26.
Fundamentals of Pattern Recognition and Machine Learning
出版日：
2024/09/08
作者：
Ulisses Braga-Neto
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
滿額折
27.
Wie Die Generation Z Das Gesundheitswesen Verändert: Zukunftspositive Geschichten Der Neuen Generation
出版日：
2024/08/25
作者：
Inga Bergen(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
2319
無庫存
滿額折
28.
The Code of Mathematics: Proof and Truth
出版日：
2024/08/20
作者：
Stefan Müller-Stach
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3479
無庫存
29.
Explosion-Proof Equipment in Hazardous Area
出版日：
2024/07/26
作者：
Arvind Kumar Singh
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
30.
Hydrogen for Future Thermal Engines
出版日：
2024/07/15
作者：
Efstathios-Al Tingas(EDI)
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
31.
New-Generation Cement-Based Nanocomposites
出版日：
2024/05/20
作者：
Siqi Ding
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
滿額折
32.
Metrics for Test Reporting: Analysis and Reporting for Effective Test Management
出版日：
2024/04/04
作者：
Frank Witte
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3189
無庫存
33.
Software Testing Automation: Testability Evaluation, Refactoring, Test Data Generation and Fault Localization
出版日：
2024/03/26
作者：
Saeed Parsa
出版社：
Springer Nature
裝訂：
平裝
到貨時通知我
滿額折
34.
Structural Dynamics of Liquid Rocket Engines: A Holistic Approach
出版日：
2024/02/29
作者：
Andrew M. Brown
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
3769
無庫存
滿額折
35.
Peter Schroeder-Heister on Proof-Theoretic Semantics
出版日：
2024/02/22
作者：
Thomas Piecha(EDI)
出版社：
Springer Nature
裝訂：
精裝
優惠價：
1
3479
無庫存
滿額折
36.
Peter Schroeder-Heister on Proof-Theoretic Semantics
出版日：
2024/02/22
作者：
Thomas Piecha(EDI)
出版社：
Springer Nature
裝訂：
平裝
優惠價：
1
2899
無庫存
37.
Clean Water: Next Generation Technologies
出版日：
2024/02/06
作者：
Khouloud Jlassi(EDI)
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
38.
Information-Powered Engines
出版日：
2024/02/01
作者：
Tushar Kanti Saha
出版社：
Springer Nature
裝訂：
精裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
39.
Progress in Artificial Intelligence and Pattern Recognition: 8th International Workshop on Artificial Intelligence and Pattern Recognition, Iwaipr 202
出版日：
2024/01/13
作者：
Yanio Hernández Heredia(EDI)
出版社：
Springer Nature
裝訂：
平裝
若需訂購本書，請電洽客服 02-25006600[分機130、131]。
40.
Perfect Secrecy in Iot: A Hybrid Combinatorial-Boolean Approach
出版日：
2023/10/12
作者：
Behrouz Zolfaghari
出版社：
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歲以上)
古籍圖書目錄
古典圖書目錄
畢業禮品
