今日上新店铺
0
家
|
新单品
0
件
遇到购物问题? 联系我 >
搜 索
首页
超级人气榜
领券中心
限时抢购
9块9包邮
19块9包邮
商品分类
书籍/杂志/报纸
工业/农业技术
历史
旅游
生活
计算机/网络
外语/语言文字
经济
国外原版书/台版、港版书
传记
医学卫生
地图/地理
娱乐时尚
报纸
政治军事
期刊杂志
法律
淘宝网开店书籍专区
社会科学
培训课程
考试/教材/论文
小说
文化
管理
自我实现/励志
漫画/动漫小说
自然科学
文学
报刊订阅
保健/心理类书籍
工具书/百科全书
艺术
哲学和宗教
低于5元专区
儿童读物/教辅
育儿书籍
体育运动(新)
热门搜索
verification
智慧书籍
spss书籍
电工书籍
框架书籍
ios书籍
九州海上牧云记小说
将进酒小说
女主重生小说
武侠小说
锦衣夜行小说
近代史书籍
散文书籍
求医不如求己
楚留香传奇小说
橙红年代小说
公务员考试 用书
陶瓷书籍
书籍书法
心理学入门书籍
电路书籍
大主宰小说
供应链管理书籍
泡妞书籍
EI杂志
逻辑思维书籍
销售 书籍
青铜器文化
名人书籍
锦绣未央小说
新东方考研英语
会计初级书籍
鹤唳华亭小说
逆水寒小说
书籍方法
全职法师小说
儿童教育书籍
书籍名言
经典管理书籍
新上
人气
热销
价格↑
价格↓
不限价格
0-30元
31-100元
101-300元
301-1000元
1001-3000元
3001-10000元
10000元以上
¥
1149
折后价
¥
1149
100元券
Verification Hardware Designs 预订 Using Techniques Mining for Data Based 使用数据挖掘 Advanced Assertion Algorithms
中国国际图书专营店
¥
632
折后价
¥
632
50元券
预订 Evaluation Verification Computer 2023 16th and Systems Communication International Conference Marrak VECoS
中国国际图书专营店
¥
2236
折后价
¥
2236
200元券
Validation Testing Verification Systems And Engineered 预售
中国国际图书专营店
¥
658
折后价
¥
658
50元券
Verification From Annotation ****验证简明指南:从模型检查到标 预订 Checking Software Model Guide Concise
中国国际图书专营店
¥
658
折后价
¥
658
50元券
Design 9783031334573 Information Implementation for Emerging and Verification Tools 预订 Technologies
中国国际图书专营店
¥
1205
折后价
¥
1205
100元券
Formal Approximate Polynomial 9783658418878 Verification Functions 预订
中国国际图书专营店
¥
1205
折后价
¥
1205
100元券
Verification Floating Point Formal Design Hardware 预订
中国国际图书专营店
¥
666
折后价
¥
666
50元券
Systems Communication 18th International 预订 Conference and 2025 Evaluation VECoS Computer Verification Paris
中国国际图书专营店
¥
666
折后价
¥
666
50元券
International 预订 Second Symposium Proceedings Zagreb Verification 2025 SAIV Croatia July 人工智能 21–22
中国国际图书专营店
¥
666
折后价
¥
666
50元券
Security 预订 and Reliability 6th Modelling Safety Systems. Railway Analysis Verification Int Certification
中国国际图书专营店
¥
766
折后价
¥
766
50元券
Formal Methods Validati 9783031197581 and Applications Verification Leveraging 预订
中国国际图书专营店
¥
766
折后价
¥
766
50元券
Runtime 9783031442667 预订 Verification
中国国际图书专营店
¥
766
折后价
¥
766
50元券
Essays Principles Joost Cycling Probabilistic the Landscape Dedicated Occ Katoen 预订 Pieter Verification
中国国际图书专营店
¥
766
折后价
¥
766
50元券
Formal Methods Validati 9783031197550 and Applications Verification Leveraging 预订
中国国际图书专营店
¥
1406
折后价
¥
1406
100元券
Safety 9781945541438 预订 安全仪表系统设计:技术和设计验证 Techniques Design Verification Instrumented and System
中国国际图书专营店
¥
1265
折后价
¥
1265
100元券
9781447175 Verification ****开发:程序验证导论 Introduction Development 严谨 Program Software Rigorous 预订 第2版
中国国际图书专营店
¥
1424
折后价
¥
1424
100元券
and 9783031314759 Programming Systems Transformation Verification Intelligent for Declarative Analysis 预订 Essay
中国国际图书专营店
¥
1424
折后价
¥
1424
100元券
International 预订 First Symposium 22–23 Montreal Verification 2024 SAIV Canada Proceedings人工 July
中国国际图书专营店
¥
2973
折后价
¥
2973
200元券
预订 Concurrency Verification
中国国际图书专营店
¥
803
折后价
¥
803
50元券
Technology Verification and Automated 9783031199912 for Analysis 预订
中国国际图书专营店
¥
803
折后价
¥
803
50元券
Interpretation 预订 and Verification Abstract Checking Model
中国国际图书专营店
¥
706
折后价
¥
706
50元券
and 9783031212215 Autonomous Formal Verification Enabled Methods for Software 预订
中国国际图书专营店
¥
1454
折后价
¥
1454
100元券
Verification 预售 and Higher Hardware Logic Order
中国国际图书专营店
¥
711
折后价
¥
711
50元券
and Safety 预订 Security Certifi Systems. Reliability Railway Modelling Analysis 9783031433658 Verification
中国国际图书专营店
¥
711
折后价
¥
711
50元券
Formal Methods Validati 9783031197611 and Applications Verification Leveraging 预订
中国国际图书专营店
¥
711
折后价
¥
711
50元券
预订 Guide with Frama Verification Software
中国国际图书专营店
¥
810
折后价
¥
810
50元券
Validation. Leveraging Formal Verification Methods and Applications REoCAS Nico Colloquium Rocco 预订 Honor
中国国际图书专营店
¥
810
折后价
¥
810
50元券
Intern Leveraging Specification Applications 12th Methods Verification Formal Validation. 预订 and
中国国际图书专营店
¥
810
折后价
¥
810
50元券
Essays Principles Joost Cycling Probabilistic the Landscape Dedicated Occ Katoen 预订 Pieter Verification
中国国际图书专营店
¥
1464
折后价
¥
1464
100元券
Practioner’s Guide Science Atmospheric Verification Forecast 预售
中国国际图书专营店
¥
821
折后价
¥
821
50元券
Technology Verification and Automated 9783031453311 for Analysis 预订
中国国际图书专营店
¥
723
折后价
¥
723
50元券
Formal 预订 Leveraging Methods 12th Validation. Applications and Verification Software Engineering Methodologies
中国国际图书专营店
1
2
3
4
5
6
7
8
9
10
11
12
30
下一页