关注微信公众号查券更方便
按需印刷不退不换图书Knowing and Checking:An Epistemological Investigation[9780367141127]
预售 按需印刷 Knowing and Checking
按需印刷不退不换Model Checking Abstract State Machines[9783639018912]
海外直订Building Information Modeling: Automated Code Checking and Compliance Processes 建筑信息建模:自动代码检查和
按需印刷不退不换Improving Scalability of Model Checking Software Architectures[9783639101423]
海外直订Formal Equivalence Checking and Design Debugging 形式等价性检验与设计调试
海外直订Knowing and Checking: An Epistemological Investigation 认识与检验:认识论研究
海外直订Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 数字电路的等价性检验:基本原理，
海外直订Systems and Software Verification: Model-Checking Techniques and Tools 系统和软件验证：模型检查技术和工具
英文原版 Principles of Model Checking The MIT Press 模型检验原理 计算机 Christel Baier 精装 英文版 进口英语原版书籍
Banner Engineering STBVR81Q Self Checking Touch Button | P/N
荷兰原装进口壁画 Checking Out Nature 美式大花 法式背景墙纸
荷兰原装进口壁画 Checking Out Nature 绿野仙踪 鹦鹉树叶墙纸
预订 Checking the Pulse of Lake Erie [9783510652365]
荷兰原装进口壁画 Checking Out Nature 绿野仙踪 丛林树叶墙纸
海外直订Checking The Gate: Don Kirk, Assistant Camera 检票:唐·柯克，助理摄像师
荷兰原装进口壁画 Checking Out Nature 绿野仙踪 丛林猴子墙纸
荷兰原装进口壁画 Checking Out Nature 绿野仙踪 丛林考拉墙纸
荷兰原装进口壁画 Checking Out Nature 绿野仙踪 丛林豹子墙纸
荷兰原装进口壁画 Checking Out Nature 绿野仙踪 英格兰格子墙纸
海外直订Abstraction Refinement for Large Scale Model Checking 大比例尺模型检测的抽象细化
海外直订Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, 模型检查软件:第28届国际研讨
海外直订New Methods of Concurrent Checking 并行检查的新方法
海外直订Unfoldings: A Partial-Order Approach to Model Checking 展开：模型检查的部分顺序方法
海外直订New Methods of Concurrent Checking 并发检查的新方法
海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2
海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检
海外直订Checking Out Chekhov: A Guide to the Plays for Actors, Directors, and Readers 查阅契诃夫:给演员、导演和读者
海外直订Conformance Checking: Relating Processes and Models 一致性检查：相关过程和模型
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法
海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:
海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过
海外直订Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on th 模型检验、综合与学习:本特·
海外直订Model Checking Software 模型校验软件
海外直订Verification, Model Checking, and Abstract Inter... 验证、模型检查和抽象解释
大灰狼科学探查英文原版
海外直订Verification, Model Checking, and Abstract Interpretation: 19th International Co 验证、模型检查和抽象解释：
海外直订Verification, Model Checking, and Abstract Interpretation 验证、模型检查和抽象解释
海外直订Verification, Model Checking, and Abstract Interpretation: 12th International Co 验证、模型检验和摘要解释:
海外直订Verification, Model Checking, and Abstract Interpretation: 5th International Con 模型检验与抽象解释:第5届国
海外直订Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 模型检测与人工智能：2008年
海外直订Conformance Checking and Diagnosis in Process Mining: Comparing Observed and Mod 流程挖掘中的一致性检查与诊
海外直订Verification, Model Checking, and Abstract Interpretation: 20th International Co 验证、模型检查和摘要解释：
海外直订Model Checking Software 模型检查软件
海外直订Model-Checking Based Data Retrieval: An Application to Semistructured and Tempor 基于模型检查的数据检索:半
海外直订Verification, Model Checking, and Abstract Interpretation: 4th International Con 验证、模型检验和抽象解释：
海外直订Verification, Model Checking, and Abstract Interpretation: 17th International Co 验证、模型检查和摘要解释：
海外直订Model Checking Software: 13th International Spin Workshop, Vienna, Austria, Marc 模型检查软件:第十三届国际
海外直订Efficient Checking of Polynomials and Proofs and the Hardness of Approximation P 多项式的有效检验、证明和逼
海外直订Verification, Model Checking, and Abstract Interpretation: 14th International Co 验证、模型检查和抽象解释：
海外直订Model Checking Software: 26th International Symposium, Spin 2019, Beijing, China 模型检测软件:第26届国际学
海外直订Model Checking Software: 17th International SPIN Workshop, Enschede, the Netherl 模型检查软件：201
海外直订Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, Apr 模型检查软件:第11届国际旋
海外直订Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 模型检查软件:第十四届国际
海外直订Verification, Model Checking, and Abstract Interpretation: 8th International Con 验证、模型检验与抽象解释:
海外直订Model Checking Software: 8th International Spin Workshop, Toronto, Canada, May 1 模型检测软件:第八届国际纺
海外直订Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Us 模型检测软件:第12届国际纺
海外直订Verification, Model Checking, and Abstract Interpretation: 6th International Con 验证、模型检验和抽象解释:
海外直订Verification, Model Checking, and Abstract Interpretation: 9th International Con 验证、模型检验与抽象解释:第九
海外直订Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, Ma 模型检查软件:第十届国际旋
海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:
海外直订Model Checking Software: 9th International Spin Workshop Grenoble, France, April 模型检测软件:第九届国际纺
海外直订Verification, Model Checking, and Abstract Interpretation: 15th International Co 验证，模型检验和抽象解释:
海外直订Spin Model Checking and Software Verification: 7th International Spin Workshop S 自旋模型检验与软件验证:第
海外直订Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 模型检验和人工智能：第六届
海外直订Model Checking Software: 22nd International Symposium, Spin 2015, Stellenbosch, 模型检查软件：第22届国际研
海外直订Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV Riva del Ga 模型检查和人工智能：第四次
海外直订Verification, Model Checking, and Abstract Interpretation: 10th International Co 验证、模型检验与摘要解释:
海外直订Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th Internatio 自旋模型检验的理论和实践方
海外直订Verification, Model Checking, and Abstract Interpretation: 7th International Con 验证、模型检查和抽象解释：
【3-4周达】精装 Building Information Modeling: Automated Code Checking and Compliance Processes [9781498785334]
海外直订Checking the Waste A Study in Conservation 环保研究中的废物检查
海外直订Checking the Boxes: Writing Units With Checklists 检查方框:使用检查列表编写单元
海外直订Verification, Model Checking, and Abstract Interpretation: 16th International Co 验证、模型检查和抽象解释：
海外直订Knowing and Checking 认识和检查
【3-4周达】精装 Checking the Fact-Checkers: A Global Perspective [9781032725109]
【3-4周达】精装 Equivalence Checking of Digital Circuits : Fundamentals, Principles, Methods [9781402077258]
【3-4周达】精装 Fake-Checking: A Journalist's Guide to Deepfakes [9781032741314]
【3-4周达】精装 Formal Equivalence Checking and Design Debugging [9780792381846]
【3-4周达】Formal Equivalence Checking and Design Debugging [9781461376064]
【3-4周达】精装 Fact-Checking: Institutions, Practices, Publics, Algorithms and Artificial Intelligence [9781041060673]
【3-4周达】精装 Knowing and Checking : An Epistemological Investigation [9780367141127]
【3-4周达】精装 Handbook of Model Checking (1st ed. 2018) [9783319105741]
STBVR81[传感器STB SERIES: SELF-CHECKING TOUCH]
STBVP6Q[传感器STB SERIES: SELF-CHECKING TOUCH]
STBVP6[传感器STB SERIES: SELF-CHECKING TOUCH]
STBVR81Q6[传感器STB SERIES: SELF-CHECKING TOUCH]
![【3-4周达】精装 Fact-Checking: Institutions, Practices, Publics, Algorithms and Artificial Intelligence [9781041060673]](/Public/skin2/static/tqkpc/images/grey.gif)
