Projective Arithmetic Analytic 海外直订Quasi and Formal 拟射影和形式 Surfaces 解析算术曲面
券后¥668
最近售1件
2025 Conference Denmark Formal FMICS Aarhus International Critical 30th Methods for August Systems 预订 Industrial
券后¥666
最近售0件
5th 正式 Ferr Concept Icfca Conference 概念分析：第五届国际会 2007 海外直订Formal International Analysis Clermont
券后¥658
最近售0件
4
Networks Informal 4周达 9780197808368 Organizations and Formal
折后¥359¥359
5
Handbook Cryptography Analysis Formal 9780367546663 and 4周达 Verification
折后¥1042¥1042
6
September 2024 Symposium 9783031711619 26th 2024... International 4周达 Milan Italy Methods Formal
折后¥555¥555
7
9781032488196 Based System 4周达 Testing Embedded Solution Automatic Formal Software Method
折后¥837¥837
8
芯片设计 TCL SVA 正版 方法与实战 化验证原理 以实践为导向 王亮 Formal9787111782681 芯片形式 谭永亮 编著
折后¥66.8¥66.8
9
Analysis Formal 预订 9783031426254 Systems Timed and Modeling
50元
券后¥603¥603
10
Teaching Methods 预订 Formal
50元
券后¥603¥603
11
9783031359484 预订 Concept Analysis Formal
50元
券后¥603¥603
12
9783030388027 Methods Domains for Software Engineering Formal Languages 预订 Application
50元
券后¥603¥603
13
Dover数学丛书 Knot 形式 结理论 Formal Theory
15元
券后¥118.7¥118.7
14
Vitória SBMF December Formal 2024 Brazil Symposium Applications Brazilian Methods Foundations 4–6 27th 预订 and
50元
券后¥635¥635
15
September Fmics Formal Milan Industrial Conference 2024 Italy Methods 预订 International for 29th Systems Critical
50元
券后¥635¥635
16
Manaus SBMF December Formal 2023 Brazil Symposium Applications Brazilian Methods Foundations 4–8 26th 预订 and
50元
券后¥632¥632
17
Formal Descriptional Complexity 预订 9783031343254 Systems
50元
券后¥658¥658
18
语言与 Validate Programming 基于编程 Languages Implement Prove 形式 Based 预订 Design Formal Theory Automata and
50元
券后¥658¥658
19
Formal Foundations形式 Mathematical 预订 Concept Analysis 第2版 概念分析：数学基础 9783031634215
50元
券后¥658¥658
20
and Languages Programming 预订 9783031439728 Theory Automata Formal Based
50元
券后¥658¥658
21
Politics 斯科特·盖尔巴赫 剑桥大学社科方法论系列 国内政治 英文原版 模型 Domestic Formal 进口英语原 形式 Models 英文版
45元
券后¥423.2¥423.2
22
Software Formal Methods 预订 9789819975839 Engineering and
53元
券后¥711¥711
23
9783031436802 Conference 预订 2023 for International Fmics Antwerp Formal 28th Methods Systems Critical Industrial
53元
券后¥711¥711
24
2023 Conference the 9783031471148 预订 Sefm Eindhoven International Formal 21st Software Engineering Methods and
53元
券后¥711¥711
25
Con Timed and 预订 Evaluation Formal Quantitative Analysis Modeling International Systems First Joint
53元
券后¥723¥723
26
Software Methods 预订 Applications Verification Leveraging Validation. and Methodologies Formal Engineering 12th
53元
券后¥723¥723
27
and Formal power 预售 combinatorics algebraic series
53元
券后¥734¥734
28
Milan Italy September 预订 Teaching Methods 2024 6th Procee Formal Workshop Fmtea
39元
券后¥416¥416
29
9780367546656 Cryptography Formal Analysis and Handbook Verification 预订
200元
券后¥2306¥2589
30
Workshops Methods. 预订 Engineering SEFM and Software Collocated 2023 OpenCERT Formal CIFMA Eindhoven
39元
券后¥437¥437