Voter Verification 预订 Based Source for Web Open GIS Technology 9783848496068
折后¥835
最近售0件
Testbench Language 9781461407140 for ... Verification 4周达 Guide Learning the SystemVerilog Features 精装
折后¥1396
最近售0件
Marrak International Computer 预订 and Communication Evaluation Verification 16th Systems VECoS Conference 2023
券后¥632
最近售0件
4
Emerging Information for Tools Verification Design 9783031334573 预订 Implementation and Technologies
50元
券后¥658¥658
5
****验证简明指南：从模型检查到标 Annotation Software Verification From Guide Model Concise 预订 Checking
50元
券后¥658¥658
6
探索 and verification 定制化绿色信息影响研究 验证和解释 exploration 王建明等 interpretation 经济书籍
折后¥132.7¥132.7
7
Int Analysis 预订 Safety Railway and Reliability Modelling Systems. Certification Security Verification 6th
50元
券后¥666¥666
8
Conference Verification 2025 International VECoS Paris and 预订 18th Evaluation Systems Communication Computer
50元
券后¥666¥666
9
人工智能 Croatia Symposium 预订 Verification SAIV Second Zagreb 2025 21–22 International July Proceedings
50元
券后¥666¥666
10
9783031433658 Modelling Security Reliability Safety 预订 Systems. Railway Verification and Analysis Certifi
53元
券后¥711¥711
11
预订 with Software Guide Frama Verification
53元
券后¥711¥711
12
Software Methods 预订 Applications Verification Leveraging Validation. and Methodologies Formal Engineering 12th
53元
券后¥723¥723
13
Joost Dedicated Katoen Occ Principles Pieter Essays the Landscape Verification Probabilistic 预订 Cycling
53元
券后¥723¥723
14
China Symposium and 预订 Fault Validation Prevention Software International Second 2025 Verification SFPVV Shanghai
53元
券后¥758¥758
15
9783031377082 预订 Aided Verification Computer
39元
券后¥437¥437
16
9783031377051 预订 Aided Verification Computer
39元
券后¥437¥437
17
Proc Computer July 36th Montreal Canada 24–27 Aided 预订 2024 Verification CAV Conference International
39元
券后¥437¥437
18
9783031377020 预订 Aided Verification Computer
39元
券后¥437¥437
19
Proc Computer July 36th Montreal Canada 24–27 Aided 预订 2024 Verification CAV Conference International
39元
券后¥437¥437
20
Proc Computer July 36th Montreal Canada 24–27 Aided 预订 2024 Verification CAV Conference International
39元
券后¥437¥437
21
9783031442667 Verification 预订 Runtime
53元
券后¥766¥766
22
Joost Dedicated Katoen Occ Principles Pieter Essays the Landscape Verification Probabilistic 预订 Cycling
53元
券后¥766¥766
23
Verification Heterogeneous Design and 预订 SoC
50元
券后¥548¥548
24
Sympo Application Methods 预订 Applications Verification Leveraging Validation. and 12th Formal Areas International
50元
券后¥548¥548
25
9783031245732 化验证 Structurally Complex Multipliers Verification 结构复杂乘数 Formal 预订 形式
80元
券后¥1034¥1034
26
France Conference Abstract 预订 Model Interpretation Checking Verification International 27th 2026 and VMCAI Rennes
53元
券后¥850¥850
27
Method Transfer 9783031289453 Approximations Sph Numerical Solutions 预订 Verification the Heat Applied with
39元
券后¥492¥492
28
United Conference Abstract 预订 Model Interpretation Checking Verification International 25th 2024 and VMCAI London
53元
券后¥862¥862
29
United Conference Abstract 预订 Model Interpretation Checking Verification International 25th 2024 and VMCAI London
53元
券后¥862¥862
30
Partial Order 预订 9780821805794 Verification Methods
80元
券后¥1377¥1377