Checking

达人签|手机版

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

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

￥-

颜色：

按需印刷不退不换图书Knowing and Checking:An Epistemological Investigation[9780367141127]

110 元券

￥2360; 0去看看
按需印刷不退不换图书Knowing and Checking:An Epistemological Investigation[9780367141127]

预售按需印刷 Knowing and Checking

100 元券

￥1676; 0去看看
预售按需印刷 Knowing and Checking

按需印刷不退不换Model Checking Abstract State Machines[9783639018912]

110 元券

￥1221; 0去看看
按需印刷不退不换Model Checking Abstract State Machines[9783639018912]

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

50 元券

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

按需印刷不退不换Improving Scalability of Model Checking Software Architectures[9783639101423]

80 元券

￥688; 0去看看
按需印刷不退不换Improving Scalability of Model Checking Software Architectures[9783639101423]

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

50 元券

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

海外直订Knowing and Checking: An Epistemological Investigation 认识与检验:认识论研究

50 元券

￥1971; 0去看看
海外直订Knowing and Checking: An Epistemological Investigation 认识与检验:认识论研究

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

50 元券

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

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

50 元券

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

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

50 元券

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

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

50 元券

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

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

50 元券

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

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

50 元券

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

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

50 元券

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

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

50 元券

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

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

50 元券

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

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

50 元券

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

Banner Engineering STBVR81Q Self Checking Touch Button | P/N

￥3787.8; 0去看看
Banner Engineering STBVR81Q Self Checking Touch Button | P/N

Banner Engineering STBVR81Q Self Checking Touch Button | P/N

￥3787.8; 0去看看
Banner Engineering STBVR81Q Self Checking Touch Button | P/N

荷兰原装进口壁画 Checking Out Nature 美式大花法式背景墙纸

537 元券

￥3043; 0去看看
荷兰原装进口壁画 Checking Out Nature 美式大花法式背景墙纸

荷兰原装进口壁画 Checking Out Nature 绿野仙踪鹦鹉树叶墙纸

537 元券

￥3043; 0去看看
荷兰原装进口壁画 Checking Out Nature 绿野仙踪鹦鹉树叶墙纸

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

30 元券

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

预订 Checking the Pulse of Lake Erie [9783510652365]

523 元券

￥2963; 0去看看
预订 Checking the Pulse of Lake Erie [9783510652365]

荷兰原装进口壁画 Checking Out Nature 绿野仙踪丛林树叶墙纸

522 元券

￥2958; 0去看看
荷兰原装进口壁画 Checking Out Nature 绿野仙踪丛林树叶墙纸

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

5 元券

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

海外直订Checking The Gate: Don Kirk, Assistant Camera 检票:唐·柯克，助理摄像师

30 元券

￥1462; 0去看看
海外直订Checking The Gate: Don Kirk, Assistant Camera 检票:唐·柯克，助理摄像师

荷兰原装进口壁画 Checking Out Nature 绿野仙踪丛林豹子墙纸

507 元券

￥2873; 0去看看
荷兰原装进口壁画 Checking Out Nature 绿野仙踪丛林豹子墙纸

荷兰原装进口壁画 Checking Out Nature 绿野仙踪丛林猴子墙纸

507 元券

￥2873; 0去看看
荷兰原装进口壁画 Checking Out Nature 绿野仙踪丛林猴子墙纸

荷兰原装进口壁画 Checking Out Nature 绿野仙踪英格兰格子墙纸

507 元券

￥2873; 0去看看
荷兰原装进口壁画 Checking Out Nature 绿野仙踪英格兰格子墙纸

荷兰原装进口壁画 Checking Out Nature 绿野仙踪丛林考拉墙纸

507 元券

￥2873; 0去看看
荷兰原装进口壁画 Checking Out Nature 绿野仙踪丛林考拉墙纸

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

30 元券

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

海外直订New Methods of Concurrent Checking 并行检查的新方法

30 元券

￥1295; 0去看看
海外直订New Methods of Concurrent Checking 并行检查的新方法

海外直订Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, 模型检查软件:第28届国际研讨

30 元券

￥1295; 0去看看
海外直订Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, 模型检查软件:第28届国际研讨

海外直订Unfoldings: A Partial-Order Approach to Model Checking 展开：模型检查的部分顺序方法

30 元券

￥1295; 0去看看
海外直订Unfoldings: A Partial-Order Approach to Model Checking 展开：模型检查的部分顺序方法

海外直订New Methods of Concurrent Checking 并发检查的新方法

30 元券

￥1295; 0去看看
海外直订New Methods of Concurrent Checking 并发检查的新方法

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

30 元券

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

海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2

30 元券

￥1034; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2

海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检

30 元券

￥1018; 0去看看
海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检

海外直订Checking Out Chekhov: A Guide to the Plays for Actors, Directors, and Readers 查阅契诃夫:给演员、导演和读者

30 元券

￥1013; 0去看看
海外直订Checking Out Chekhov: A Guide to the Plays for Actors, Directors, and Readers 查阅契诃夫:给演员、导演和读者

海外直订Conformance Checking: Relating Processes and Models 一致性检查：相关过程和模型

30 元券

￥973; 0去看看
海外直订Conformance Checking: Relating Processes and Models 一致性检查：相关过程和模型

海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

30 元券

￥964; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法

30 元券

￥902; 0去看看
海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法

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

30 元券

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

海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

30 元券

￥839; 0去看看
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过

30 元券

￥834; 0去看看
海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过

海外直订Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on th 模型检验、综合与学习:本特·

30 元券

￥831; 0去看看
海外直订Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on th 模型检验、综合与学习:本特·

海外直订Model Checking Software 模型校验软件

30 元券

￥698; 0去看看
海外直订Model Checking Software 模型校验软件

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

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

30 元券

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

首页 1 2 3 4 5 6 >末页