手机浏览
    排序：综合有券销量↓价格↑人气↓
    价格：全部￥0 - 200￥200 - 500￥500以上

    ￥-

    颜色：
    【3-4周达】Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, J... [9783642391750]
    79 元券

    International9783642391750SymposiumChecking

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, J... [9783642391750]
    【3-4周达】SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, ... [9783540410300]
    79 元券

    SPINInternational9783540410300Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】SPIN Model Checking and Software Verification : 7th International SPIN Workshop Stanford, ... [9783540410300]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 6th International Conference, ... [9783540242970]
    79 元券

    InterpretationInternational9783540242970Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 6th International Conference, ... [9783540242970]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 10th International Conference, ... [9783540938996]
    79 元券

    InterpretationInternational9783540938996Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 10th International Conference, ... [9783540938996]
    【3-4周达】Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 1... [9783540851134]
    79 元券

    International9783540851134CheckingSoftware

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 1... [9783540851134]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 8th International Conference, ... [9783540697350]
    79 元券

    InterpretationInternational9783540697350Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 8th International Conference, ... [9783540697350]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 7th International Conference, V... [9783540311393]
    79 元券

    InterpretationInternational9783540311393Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 7th International Conference, V... [9783540311393]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 15th International Conference, ... [9783642540127]
    79 元券

    InterpretationInternational9783642540127Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 15th International Conference, ... [9783642540127]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 16th International Conference,... [9783662460801]
    79 元券

    InterpretationInternational9783662460801Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 16th International Conference,... [9783662460801]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 13th International Conference, ... [9783642279393]
    79 元券

    InterpretationInternational9783642279393Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 13th International Conference, ... [9783642279393]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 12th International Conference, ... [9783642182747]
    79 元券

    InterpretationInternational9783642182747Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 12th International Conference, ... [9783642182747]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 11th International Conference,... [9783642113185]
    79 元券

    InterpretationInternational9783642113185Verification

    ￥579
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 11th International Conference,... [9783642113185]
    预订 Mpcs: Myanmar Preposition Checking System [9786202314664]
    81 元券

    9786202314664Preposition预订Checking

    ￥593
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 Mpcs: Myanmar Preposition Checking System [9786202314664]
    预订 A Cloud based latency checking system for the developers [9786139816408]
    81 元券

    9786139816408developers预订checking

    ￥594
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 A Cloud based latency checking system for the developers [9786139816408]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 20th International Conference, ... [9783030112448]
    82 元券

    InterpretationInternational9783030112448Verification

    ￥597
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 20th International Conference, ... [9783030112448]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 18th International Conference,... [9783319522333]
    82 元券

    InterpretationInternational9783319522333Verification

    ￥597
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 18th International Conference,... [9783319522333]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 4th International Conference, V... [9783540003489]
    82 元券

    InterpretationInternational9783540003489Verification

    ￥597
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 4th International Conference, V... [9783540003489]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 17th International Conference, ... [9783662491218]
    82 元券

    InterpretationInternational9783662491218Verification

    ￥597
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 17th International Conference, ... [9783662491218]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: Third International Workshop, V... [9783540436317]
    82 元券

    InterpretationInternational9783540436317Verification

    ￥597
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: Third International Workshop, V... [9783540436317]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 14th International Conference,... [9783642358722]
    82 元券

    InterpretationInternational9783642358722Verification

    ￥597
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation : 14th International Conference,... [9783642358722]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 26th International Conference, ... [9783031826993]
    84 元券

    InterpretationInternational9783031826993Verification

    ￥614
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 26th International Conference, ... [9783031826993]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 26th International Conference, ... [9783031827020]
    84 元券

    InterpretationInternational9783031827020Verification

    ￥614
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 26th International Conference, ... [9783031827020]
    【3-4周达】Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26... [9783031321566]
    84 元券

    International9783031321566SymposiumChecking

    ￥614
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26... [9783031321566]
    【3-4周达】Fact-Checking Journalism and Political Argumentation : A British Perspective [9783030305727]
    84 元券

    9783030305727ArgumentationPerspectiveJournalism

    ￥614
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Fact-Checking Journalism and Political Argumentation : A British Perspective [9783030305727]
    预订 Contract Checking for Feldspar [9783659169410]
    84 元券

    9783659169410预订ContractChecking

    ￥614
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 Contract Checking for Feldspar [9783659169410]
    预订 Model checking trace-based information flow properties [9783838377803]
    84 元券

    9783838377803informationproperties预订

    ￥614
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 Model checking trace-based information flow properties [9783838377803]
    预订 Checking the Conformance [9783844395549]
    84 元券

    9783844395549Conformance预订Checking

    ￥614
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 Checking the Conformance [9783844395549]
    预订 Xilinx Hdlc Supporting IP Over SONET and Checking 16,32bit CRC [9783659341182]
    84 元券

    9783659341182Supporting预订Checking

    ￥614
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 Xilinx Hdlc Supporting IP Over SONET and Checking 16,32bit CRC [9783659341182]
    【预售】Medical Billing Training: A workbook/Checklist Guide for Checking Medical Claim Status
    34 元券

    Medical预售ChecklistTraining

    ￥668
    0
    中国国际图书专营店
    中国国际图书专营店

    发布了

    【预售】Medical Billing Training: A workbook/Checklist Guide for Checking Medical Claim Status
    【预订】Model Checking, Synthesis, and Learning 9783030913830
    34 元券

    9783030913830Synthesis预订Checking

    ￥677
    0
    中国国际图书专营店
    中国国际图书专营店

    发布了

    【预订】Model Checking, Synthesis, and Learning 9783030913830
    预订 Design And Fabrication Of Yarn Shrinkage Checking Machine [9786200475121]
    87 元券

    9786200475121FabricationShrinkage预订

    ￥636
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 Design And Fabrication Of Yarn Shrinkage Checking Machine [9786200475121]
    海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
    30 元券

    InterpretationInternationalVerificationVerificati

    ￥723
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
    海外直订Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on th 模型检验、综合与学习:本特·
    30 元券

    本特DedicatedSynthesisChecking

    ￥727
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on th 模型检验、综合与学习:本特·
    海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检
    30 元券

    简明VerificationAnnotationSoftware

    ￥732
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检
    海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:
    30 元券

    InterpretationInternationalVerification抽象

    ￥735
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:
    【3-4周达】Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasio... [9783030913830]
    92 元券

    9783030913830DedicatedSynthesisChecking

    ￥673
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasio... [9783030913830]
    【预订】Model Checking Quantum Systems
    34 元券

    预订CheckingQuantumSystems

    ￥733
    0
    中国国际图书专营店
    中国国际图书专营店

    发布了

    【预订】Model Checking Quantum Systems
    按需印刷Improving Scalability of Model Checking Software Architectures[9783639101423]
    40 元券

    Architectures9783639101423ScalabilityImproving

    ￥728
    0
    上海外文图书音像专营店
    上海外文图书音像专营店

    发布了

    按需印刷Improving Scalability of Model Checking Software Architectures[9783639101423]
    预订 Model Checking for Game Design [9783659759116]
    94 元券

    9783659759116预订CheckingDesign

    ￥685
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 Model Checking for Game Design [9783659759116]
    【3-4周达】Developing a System Checking the Efficiency of Emergency Requirements [9786208427726]
    94 元券

    9786208427726RequirementsDevelopingEfficiency

    ￥686
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Developing a System Checking the Efficiency of Emergency Requirements [9786208427726]
    海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过
    30 元券

    Process健壮ConformanceGuarantees

    ￥760
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Robust Process Mining with Guarantees: Process Discovery, Conformance Checking a 具有保证的健壮过程挖掘:过
    海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
    30 元券

    InterpretationInternationalVerificationVerificati

    ￥764
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
    【3-4周达】Model Checking Quantum Systems: Principles and Algorithms [9781108484305]
    96 元券

    9781108484305AlgorithmsPrinciplesChecking

    ￥702
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Model Checking Quantum Systems: Principles and Algorithms [9781108484305]
    [预订]Verification, Model Checking, and Abstract Interpretation
    34 元券

    InterpretationVerification预订Checking

    ￥769
    0
    中国国际图书专营店
    中国国际图书专营店

    发布了

    [预订]Verification, Model Checking, and Abstract Interpretation
    预订 Coverage Metrics for Model Checking [9783845421988]
    99 元券

    9783845421988预订CoverageChecking

    ￥726
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 Coverage Metrics for Model Checking [9783845421988]
    海外直订Conformance Checking: Relating Processes and Models 一致性检查：相关过程和模型
    30 元券

    一致性ConformanceProcessesChecking

    ￥800
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Conformance Checking: Relating Processes and Models 一致性检查：相关过程和模型
    海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法
    30 元券

    量子算法AlgorithmsPrinciples

    ￥823
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Model Checking Quantum Systems: Principles and Algorithms 模型检验量子系统:原理与算法
    【3-4周达】Concise Guide to Software Verification: From Model Checking to Annotation Checking [9783031301698]
    103 元券

    Checking9783031301698VerificationAnnotation

    ￥754
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Concise Guide to Software Verification: From Model Checking to Annotation Checking [9783031301698]
    【预订】Verification, Model Checking, and Abstract Interpretation
    34 元券

    InterpretationVerification预订Checking

    ￥842
    0
    中国国际图书专营店
    中国国际图书专营店

    发布了

    【预订】Verification, Model Checking, and Abstract Interpretation
    [预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
    34 元券

    Checking9783031301667VerificationAnnotation

    ￥842
    0
    中国国际图书专营店
    中国国际图书专营店

    发布了

    [预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
    海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2
    30 元券

    InterpretationInternationalVerification抽象

    ￥867
    0
    中华商务图书专营店
    中华商务图书专营店

    发布了

    海外直订Verification, Model Checking, and Abstract Interpretation: 23rd International Co 验证、模型检验和抽象解释:第2
    【3-4周达】Robust Process Mining with Guarantees : Process Discovery, Conformance Checking and Enhanc... [9783030966546]
    108 元券

    Process9783030966546ConformanceGuarantees

    ￥790
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Robust Process Mining with Guarantees : Process Discovery, Conformance Checking and Enhanc... [9783030966546]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 24th International Conference, ... [9783031249495]
    108 元券

    InterpretationInternational9783031249495Verification

    ￥790
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 24th International Conference, ... [9783031249495]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 25th International Conference, ... [9783031505232]
    108 元券

    InterpretationInternational9783031505232Verification

    ￥790
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 25th International Conference, ... [9783031505232]
    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 25th International Conference, ... [9783031505201]
    108 元券

    InterpretationInternational9783031505201Verification

    ￥790
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Verification, Model Checking, and Abstract Interpretation: 25th International Conference, ... [9783031505201]
    【预售】Using Model Checking to Generate Test Cases for
    34 元券

    预售CheckingGenerateUsing

    ￥891
    0
    中国国际图书专营店
    中国国际图书专营店

    发布了

    【预售】Using Model Checking to Generate Test Cases for
    【预售】Conformance Checking
    34 元券

    预售ConformanceChecking

    ￥898
    0
    中国国际图书专营店
    中国国际图书专营店

    发布了

    【预售】Conformance Checking
    预订 Model-Checking Infinite State Systems for Information Flow Security [9783659301315]
    117 元券

    9783659301315Information预订Checking

    ￥858
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    预订 Model-Checking Infinite State Systems for Information Flow Security [9783659301315]
    预订 Fact-Checking in the Digital Age: How Media Firms Integrate Different Fact-Checking Methods into their Strategy 数
    34 元券

    CheckingFactIntegrateDifferent

    ￥944
    0
    中国国际图书专营店
    中国国际图书专营店

    发布了

    预订 Fact-Checking in the Digital Age: How Media Firms Integrate Different Fact-Checking Methods into their Strategy 数
    【3-4周达】Concise Guide to Software Verification: From Model Checking to Annotation Checking [9783031301667]
    118 元券

    Checking9783031301667VerificationAnnotation

    ￥862
    0
    澜瑞图书专营店
    澜瑞图书专营店

    发布了

    【3-4周达】Concise Guide to Software Verification: From Model Checking to Annotation Checking [9783031301667]
    首页< 1234567 >末页