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
芯片设计 TCL SVA 正版 方法与实战 化验证原理 以实践为导向 王亮 Formal9787111782681 芯片形式 谭永亮 编著
折后¥66.8¥66.8
5
Teaching Methods 预订 Formal
50元
券后¥603¥603
6
9783031359484 预订 Concept Analysis Formal
50元
券后¥603¥603
7
9783030388027 Methods Domains for Software Engineering Formal Languages 预订 Application
50元
券后¥603¥603
8
Analysis Formal 预订 9783031426254 Systems Timed and Modeling
50元
券后¥603¥603
9
Dover数学丛书 Knot 形式 结理论 Formal Theory
15元
券后¥118.7¥118.7
10
Vitória SBMF December Formal 2024 Brazil Symposium Applications Brazilian Methods Foundations 4–6 27th 预订 and
50元
券后¥635¥635
11
September Fmics Formal Milan Industrial Conference 2024 Italy Methods 预订 International for 29th Systems Critical
50元
券后¥635¥635
12
Manaus SBMF December Formal 2023 Brazil Symposium Applications Brazilian Methods Foundations 4–8 26th 预订 and
50元
券后¥632¥632
13
and Languages Programming 预订 9783031439728 Theory Automata Formal Based
50元
券后¥658¥658
14
Formal Foundations形式 Mathematical 预订 Concept Analysis 第2版 概念分析：数学基础 9783031634215
50元
券后¥658¥658
15
Formal Descriptional Complexity 预订 9783031343254 Systems
50元
券后¥658¥658
16
语言与 Validate Programming 基于编程 Languages Implement Prove 形式 Based 预订 Design Formal Theory Automata and
50元
券后¥658¥658
17
Politics 斯科特·盖尔巴赫 剑桥大学社科方法论系列 国内政治 英文原版 模型 Domestic Formal 进口英语原 形式 Models 英文版
45元
券后¥423.2¥423.2
18
2023 Conference the 9783031471148 预订 Sefm Eindhoven International Formal 21st Software Engineering Methods and
53元
券后¥711¥711
19
Software Formal Methods 预订 9789819975839 Engineering and
53元
券后¥711¥711
20
9783031436802 Conference 预订 2023 for International Fmics Antwerp Formal 28th Methods Systems Critical Industrial
53元
券后¥711¥711
21
Con Timed and 预订 Evaluation Formal Quantitative Analysis Modeling International Systems First Joint
53元
券后¥723¥723
22
Software Methods 预订 Applications Verification Leveraging Validation. and Methodologies Formal Engineering 12th
53元
券后¥723¥723
23
and Formal power 预售 combinatorics algebraic series
53元
券后¥734¥734
24
Milan Italy September 预订 Teaching Methods 2024 6th Procee Formal Workshop Fmtea
39元
券后¥416¥416
25
9780367546656 Cryptography Formal Analysis and Handbook Verification 预订
200元
券后¥2306¥2589
26
Intellige Guidelines Examples for Discussions and Artificial Unifying 预订 Novelty Framework Theories Formal
39元
券后¥437¥437
27
9783031330537 Unifying Novelty Framework for Formal Theories 预订
39元
券后¥437¥437
28
Workshops Methods. 预订 Engineering SEFM and Software Collocated 2023 OpenCERT Formal CIFMA Eindhoven
39元
券后¥437¥437
29
预订 and Programming Theories Methods Formal 9783031404351
53元
券后¥766¥766
30
9783031353543 Techniques Systems for Distributed Objects Formal Components 预订 and
53元
券后¥766¥766