今日上新店铺
0
家
|
新单品
0
件
遇到购物问题? 联系我 >
搜 索
首页
超级人气榜
领券中心
限时抢购
9块9包邮
19块9包邮
商品分类
书籍/杂志/报纸
工业/农业技术
历史
旅游
生活
计算机/网络
外语/语言文字
经济
国外原版书/台版、港版书
传记
医学卫生
地图/地理
娱乐时尚
报纸
政治军事
期刊杂志
法律
淘宝网开店书籍专区
社会科学
培训课程
考试/教材/论文
小说
文化
管理
自我实现/励志
漫画/动漫小说
自然科学
文学
报刊订阅
保健/心理类书籍
工具书/百科全书
艺术
哲学和宗教
低于5元专区
儿童读物/教辅
育儿书籍
体育运动(新)
热门搜索
verification
书籍拼音
三星堆文化
射雕英雄传小说
万界神主小说
抗日之兵魂传说小说
书籍教材
恐怖灵异小说
客户书籍
生物学书籍
中国古代书籍
金融小说
启蒙书籍
幻城小说
等到烟暖雨收小说
电力书籍
战恋雪小说
古代文化
庆余年小说
交易书籍
色五月小说
中国历史书籍
你好旧时光小说
产品经理书籍
官道无疆小说
商战小说
彼得德鲁克书籍
幼儿营养食谱
蜀山小说
占卜书籍
重启之极海听雷小说
中级口译
藏地密码
言情书籍
山东文化
我是特种兵小说
考研英语
恋足小说
花千骨小说
新上
人气
热销
价格↑
价格↓
不限价格
0-30元
31-100元
101-300元
301-1000元
1001-3000元
3001-10000元
10000元以上
¥
723
折后价
¥
723
50元券
Formal Adaptive Validation. Engineering Methods Rigorous Verification and Applications Leveraging 预订 Collective
中国国际图书专营店
¥
723
折后价
¥
723
50元券
Essays Principles Joost Cycling Probabilistic the Landscape Dedicated Occ Katoen 预订 Pieter Verification
中国国际图书专营店
¥
850
折后价
¥
850
50元券
and 预订 Checking Verification Abstract Rennes International Model 27th Interpretation Conference VMCAI France 2026
中国国际图书专营店
¥
746
折后价
¥
746
50元券
Verification 预订 Prevention Software and Hiroshima International Fault First Validation Symposium SFPVV Japan 2024
中国国际图书专营店
¥
746
折后价
¥
746
50元券
预订 Evaluation Verification Computer 2024 17th and Systems Communication International Conference Djerba VECoS
中国国际图书专营店
¥
746
折后价
¥
746
50元券
26th Interpretation International Conference 预订 VMCAI Model Denver Checking 2025 Abstract Verification and
中国国际图书专营店
¥
746
折后价
¥
746
50元券
26th Interpretation International Conference 预订 VMCAI Model Denver Checking 2025 Abstract Verification and
中国国际图书专营店
¥
1533
折后价
¥
1533
100元券
Practical Verification 预售 Design
中国国际图书专营店
¥
862
折后价
¥
862
50元券
and 预订 Checking Verification Abstract London International Model 25th Interpretation Conference VMCAI United 2024
中国国际图书专营店
¥
862
折后价
¥
862
50元券
and 预订 Checking Verification Abstract London International Model 25th Interpretation Conference VMCAI United 2024
中国国际图书专营店
¥
758
折后价
¥
758
50元券
International 预订 25th Runtime Conference Proceedings Graz Verification 2025 Austria September 运 15–19
中国国际图书专营店
¥
876
折后价
¥
876
50元券
9783031301667 预订 Checking Concise Guide Annotation Software Verification Model From
中国国际图书专营店
¥
876
折后价
¥
876
50元券
Technology Verification and Automated 9783031453281 for Analysis 预订
中国国际图书专营店
¥
1608
折后价
¥
1608
100元券
Automated Driving 验证与确认 9783032132680 预订 自动驾驶系统 Verification Systems and Validation
中国国际图书专营店
¥
1608
折后价
¥
1608
100元券
多功能硬件分析技术:从基 Versatile Formal Hardware Analysis Verification From Waveform Techniques 预订 based
中国国际图书专营店
¥
1622
折后价
¥
1622
100元券
Processes 预订 Computer Coordinating Verification Aided
中国国际图书专营店
¥
548
折后价
¥
548
50元券
Deductive Perspectives 预订 Future Software Verification
中国国际图书专营店
¥
548
折后价
¥
548
50元券
预订 Software Verification
中国国际图书专营店
¥
548
折后价
¥
548
50元券
Formal 预订 Leveraging Methods International Validation. Applications and Verification Application Areas Sympo 12th
中国国际图书专营店
¥
1643
折后价
¥
1643
100元券
Verification Software Challenges 预订
中国国际图书专营店
¥
1646
折后价
¥
1646
100元券
Protocol Communication Verification 预售
中国国际图书专营店
¥
1654
折后价
¥
1654
100元券
Element 验证和确认 and 介绍有限元 Analysis Finite Validation Formulation Verification Introduction 预订 分析:构想
中国国际图书专营店
¥
932
折后价
¥
932
50元券
Formal Methods Validati 9783031198489 and Applications Verification Leveraging 预订
中国国际图书专营店
¥
942
折后价
¥
942
50元券
23rd Analysis International Symposium 预订 ATVA Technology Bengaluru for 2025 and Octob Automated Verification India
中国国际图书专营店
¥
575
折后价
¥
575
50元券
Verification 预订 Software Guide with Applications Core Frama Components Usages ****验证指南:核心组 and
中国国际图书专营店
¥
575
折后价
¥
575
50元券
异构SoC Heterogeneous Exploration SoC Design Debugging Verification and 预订
中国国际图书专营店
¥
1724
折后价
¥
1724
100元券
9783031885457 Verification 自主系统验证 Autonomous 预订 Systems
中国国际图书专营店
¥
978
折后价
¥
978
50元券
for 预订 Circuits Embedding their 时序电路嵌入 Verification Sequential Formal Polynomial 用于多项式 形式 978365850 化验证
中国国际图书专营店
¥
985
折后价
¥
985
50元券
Multipliers 预订 Structurally Formal Complex Verification
中国国际图书专营店
¥
437
折后价
¥
437
30元券
Aided 9783031377051 Verification Computer 预订
中国国际图书专营店
¥
437
折后价
¥
437
30元券
Aided 9783031377082 Verification Computer 预订
中国国际图书专营店
¥
437
折后价
¥
437
30元券
CAV Conference 2024 Montreal 预订 Aided July Verification Canada International Proc Computer 36th 24–27
中国国际图书专营店
上一页
1
2
3
4
5
6
7
8
9
10
11
12
30
下一页