checking

达人签|手机版

排序：综合有券销量↓价格↑人气↓

价格：全部￥0 - 200 ￥200 - 500 ￥500以上

￥-

颜色：

海外直订Formal Equivalence Checking and Design Debugging 形式等价性检验与设计调试

60 元券

￥1800; 0去看看
海外直订Formal Equivalence Checking and Design Debugging 形式等价性检验与设计调试

海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化

40 元券

￥1205; 0去看看
海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化

[预订]The Chicago Guide to Fact-Checking, Second Edition 9780226817897

5 元券

￥179; 0去看看
[预订]The Chicago Guide to Fact-Checking, Second Edition 9780226817897

现货模型检测第2版英文原版 Model Checking Edmund M Clark【中商原版】

10 元券

￥350; 0去看看
现货模型检测第2版英文原版 Model Checking Edmund M Clark【中商原版】

海外直订Building Information Modeling: Automated Code Checking and Compliance Processes 建筑信息建模:自动代码检查和

60 元券

￥1964; 0去看看
海外直订Building Information Modeling: Automated Code Checking and Compliance Processes 建筑信息建模:自动代码检查和

【预订】Checking C Programs with Lint

5 元券

￥170; 0去看看
【预订】Checking C Programs with Lint

海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具

40 元券

￥1407; 0去看看
海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具

海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具

40 元券

￥1407; 0去看看
海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具

海外直订Checking the Waste: A Study in Conservation 检查废物：一项保护研究

10 元券

￥383; 0去看看
海外直订Checking the Waste: A Study in Conservation 检查废物：一项保护研究

海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理，

40 元券

￥1510; 0去看看
海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理，

现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社

15 元券

￥575; 0去看看
现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社

现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社

15 元券

￥575; 0去看看
现货模型检测第2版英文原版 Model Checking Edmund M Clark 麻省理工学院出版社

现货模型检验原理 Principles of Model Checking 英文原版 Christel Baier Joost Pieter Katoen【中商原版】

10 元券

￥458; 0去看看
现货模型检验原理 Principles of Model Checking 英文原版 Christel Baier Joost Pieter Katoen【中商原版】

海外直订Stochastic Model Checking: International Autumn School, Rocks 2012, Vahrn, Italy 随机模型检查：201

10 元券

￥484; 0去看看
海外直订Stochastic Model Checking: International Autumn School, Rocks 2012, Vahrn, Italy 随机模型检查：201

海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释：

10 元券

￥524; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释：

海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释

10 元券

￥524; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释

海外直订Verification, Model Checking, and Abstract Interpretation: 19th International Co 验证、模型检查和抽象解释：

10 元券

￥524; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 19th International Co 验证、模型检查和抽象解释：

海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释

10 元券

￥524; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释

海外直订Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China 模型检测软件:第26届国际学

10 元券

￥524; 0去看看
海外直订Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China 模型检测软件:第26届国际学

海外直订Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, 模型检查软件：第22届国际研

10 元券

￥542; 0去看看
海外直订Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, 模型检查软件：第22届国际研

海外直订Checking the Boxes: Writing Units With Checklists 检查方框:使用检查列表编写单元

10 元券

￥557; 0去看看
海外直订Checking the Boxes: Writing Units With Checklists 检查方框:使用检查列表编写单元

海外直订Knowing and Checking 认识和检查

10 元券

￥550; 0去看看
海外直订Knowing and Checking 认识和检查

海外直订Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 模型检测与人工智能：2008年

10 元券

￥543; 0去看看
海外直订Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 模型检测与人工智能：2008年

海外直订Conformance Checking and Diagnosis in Process Mining: Comparing Observed and Mod 流程挖掘中的一致性检查与诊

10 元券

￥543; 0去看看
海外直订Conformance Checking and Diagnosis in Process Mining: Comparing Observed and Mod 流程挖掘中的一致性检查与诊

海外直订Model Checking Software 模型检查软件

10 元券

￥543; 0去看看
海外直订Model Checking Software 模型检查软件

海外直订Model Checking Software: 13th International Spin Workshop, Vienna, Austria, Marc 模型检查软件:第十三届国际

10 元券

￥543; 0去看看
海外直订Model Checking Software: 13th International Spin Workshop, Vienna, Austria, Marc 模型检查软件:第十三届国际

海外直订Efficient Checking of Polynomials and Proofs and the Hardness of Approximation P 多项式的有效检验、证明和逼

10 元券

￥543; 0去看看
海外直订Efficient Checking of Polynomials and Proofs and the Hardness of Approximation P 多项式的有效检验、证明和逼

海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国

海外直订Verification, Model Checking, and Abstract Interpretation: 17th International Co 验证、模型检查和摘要解释：

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 17th International Co 验证、模型检查和摘要解释：

海外直订Verification, Model Checking, and Abstract Interpretation: 4th International Con 验证、模型检验和抽象解释：

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 4th International Con 验证、模型检验和抽象解释：

海外直订Verification, Model Checking, and Abstract Interpretation: 14th International Co 验证、模型检查和抽象解释：

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 14th International Co 验证、模型检查和抽象解释：

海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:

海外直订Model-Checking Based Data Retrieval: An Application to Semistructured and Tempor 基于模型检查的数据检索:半

10 元券

￥543; 0去看看
海外直订Model-Checking Based Data Retrieval: An Application to Semistructured and Tempor 基于模型检查的数据检索:半

海外直订Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Us 模型检测软件:第12届国际纺

10 元券

￥543; 0去看看
海外直订Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Us 模型检测软件:第12届国际纺

海外直订Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, Ma 模型检查软件:第十届国际旋

10 元券

￥543; 0去看看
海外直订Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, Ma 模型检查软件:第十届国际旋

海外直订Verification, Model Checking, and Abstract Interpretation: 8th International Con 验证、模型检验与抽象解释:

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 8th International Con 验证、模型检验与抽象解释:

海外直订Verification, Model Checking, and Abstract Interpretation: 9th International Con 验证、模型检验与抽象解释:第九

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 9th International Con 验证、模型检验与抽象解释:第九

海外直订Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th Internatio 自旋模型检验的理论和实践方

10 元券

￥543; 0去看看
海外直订Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th Internatio 自旋模型检验的理论和实践方

海外直订Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 1 模型检测软件:第八届国际纺

10 元券

￥543; 0去看看
海外直订Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 1 模型检测软件:第八届国际纺

海外直订Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 模型检查软件:第十四届国际

10 元券

￥543; 0去看看
海外直订Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 模型检查软件:第十四届国际

海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:

海外直订Verification, Model Checking, and Abstract Interpretation: 6th International Con 验证、模型检验和抽象解释:

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 6th International Con 验证、模型检验和抽象解释:

海外直订Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Ga 模型检查和人工智能：第四次

10 元券

￥543; 0去看看
海外直订Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Ga 模型检查和人工智能：第四次

海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

10 元券

￥543; 0去看看
海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第

海外直订Verification, Model Checking, and Abstract Interpretation: 7th International Con 验证、模型检查和抽象解释：

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 7th International Con 验证、模型检查和抽象解释：

海外直订Verification, Model Checking, and Abstract Interpretation: 15th International Co 验证，模型检验和抽象解释:

10 元券

￥543; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 15th International Co 验证，模型检验和抽象解释:

海外直订Verification, Model Checking, and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释：

10 元券

￥546; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释：

海外直订Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, Apr 模型检查软件:第11届国际旋

10 元券

￥539; 0去看看
海外直订Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, Apr 模型检查软件:第11届国际旋

海外直订Model Checking Software: 9th International Spin Workshop Grenoble, France, April 模型检测软件:第九届国际纺

10 元券

￥539; 0去看看
海外直订Model Checking Software: 9th International Spin Workshop Grenoble, France, April 模型检测软件:第九届国际纺

现货英文原版 Model Checking, second edition (Cyber Physical Systems Series) 9780262038836

20 元券

￥525; 0去看看
现货英文原版 Model Checking, second edition (Cyber Physical Systems Series) 9780262038836

英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍

50 元券

￥1168; 0去看看
英文原版 Principles of Model Checking The MIT Press 模型检验原理计算机 Christel Baier 精装英文版进口英语原版书籍

PDR LINE BOARD FLEXI VERSION - 800mm for checking panel dama

3 元券

￥127.7; 0去看看
PDR LINE BOARD FLEXI VERSION - 800mm for checking panel dama

PDR LINE BOARD FLEXI VERSION - 800mm for checking panel dama

3 元券

￥127.7; 0去看看
PDR LINE BOARD FLEXI VERSION - 800mm for checking panel dama

Car Detailing Tools Car Paint Checking Swirl Finder Light Pe

3 元券

￥140; 0去看看
Car Detailing Tools Car Paint Checking Swirl Finder Light Pe

首页 < 1 2 3 末页