10 元券预售SatisfiabilityPropositionalIntroduction¥2380去看看中图上海图书音像店发布了预售 按需印刷 Introduction to Propositional Satisfiability60 元券预售SatisfiabilityApplicationsTesting¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Testing:60 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing - SAT 200660 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing60 元券预售SatisfiabilityApplicationsTheory¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Test...60 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing – SAT 201660 元券预售SatisfiabilityApplicationsTesting¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Testing:60 元券预售SatisfiabilityApplicationsTesting¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Testing -60 元券预售SatisfiabilityApplicationTesting¥4600去看看中国国际图书专营店发布了【预售】Theory and Application of Satisfiability Testing:60 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing – SAT 200860 元券2019预售SatisfiabilityInternational¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lis...60 元券Satisfiability9783642316111Applications预订¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing -- SAT 2012 978364231611160 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing – SAT 202080 元券预售SatisfiabilityBoundsSurvey¥6350去看看中国国际图书专营店发布了【预售】A Survey of Lower Bounds for Satisfiability and200 元券预售SatisfiabilityProblem¥18070去看看中国国际图书专营店发布了【预售】Satisfiability Problem60 元券SatisfiabilityApplications预订Testing¥5880去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing -- SAT 2015100 元券Extremal预售SatisfiabilityColorings¥10060去看看中国国际图书专营店发布了【预售】Extremal Colorings and Extremal Satisfiability100 元券Satisfiability9783030802226Applications预订¥10430去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing – SAT 2021 978303080222660 元券Satisfiability9783031427459VerificationProcesses¥6260去看看中国国际图书专营店发布了[预订]Verification of Data-Aware Processes Via Satisfiability Modulo Theories 9783031427459100 元券预售SatisfiabilityVerification¥10930去看看中国国际图书专营店发布了【预售】Satisfiability & Verification20 元券SatisfiabilityPropositionalIntroduction印刷¥2330去看看中国图书音像图书专营店发布了按需印刷 Introduction to Propositional Satisfiability100 元券预售SatisfiabilityVerificationValidation¥13310去看看中国国际图书专营店发布了【预售】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers80 元券ExtremalSatisfiability9783838114118Colorings¥11590去看看上海外文图书音像专营店发布了按需印刷Extremal Colorings and Extremal Satisfiability[9783838114118]40 元券满意度SatisfiabilityApplications理论¥5810去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testin... 满意度测试理论与应用——SAT 201580 元券SatisfiabilityInternationalApplicationsConference¥11670去看看上海外文图书音像专营店发布了预订Theory and Applications of Satisfiability Testing - SAT 2016:19th International Conference, Bordeaux, France, Ju60 元券预售SatisfiabilityTechniquesMultilevel¥8980去看看中图数字图书专营店发布了【预售 按需印刷】Multilevel Techniques for solving the Satisfiability Problem100 元券Satisfiability9781586039295预订Handbook¥15300去看看中国国际图书专营店发布了【预订】Handbook of Satisfiability 978158603929540 元券多级SatisfiabilityTechniquesMultilevel¥6120去看看中华商务图书专营店发布了海外直订Multilevel Techniques for solving the Satisfiability Problem 解决可满足性问题的多级技术80 元券SatisfiabilityVerification预订¥12320去看看上海外文图书音像专营店发布了预订Satisfiability & Verification80 元券Satisfiability9783838303277OptimizationSearching¥13730去看看上海外文图书音像专营店发布了按需印刷Searching for Optimization through Satisfiability[9783838303277]40 元券Satisfiability9783639147384ConstraintsDifference¥7100去看看上海外文图书音像专营店发布了按需印刷Satisfiability Checking with Difference Constraints[9783639147384]40 元券下界Satisfiability综述Problems¥7390去看看中华商务图书专营店发布了海外直订A Survey of Lower Bounds for Satisfiability and Related Problems 可满足性下界及其相关问题的研究综述90 元券2005满意度SatisfiabilityResearch¥16990去看看中华商务图书专营店发布了海外直订SAT 2005: Satisfiability Research in the Year 2005 2005年度满意度研究50 元券SatisfiabilityVerification验证满足¥9810去看看中华商务图书专营店发布了海外直订Satisfiability & Verification 可满足性与验证50 元券SatisfiabilityInternationalApplications满足¥10060去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2021: 24th International 可满足性测试的理论和应用—50 元券布尔Satisfiability高质量Generation¥10220去看看中华商务图书专营店发布了海外直订High Quality Test Pattern Generation and Boolean Satisfiability 高质量测试模式生成与布尔可满足性50 元券布尔Satisfiability高质量Generation¥10910去看看中华商务图书专营店发布了海外直订High Quality Test Pattern Generation and Boolean Satisfiability 高质量测试模式生成与布尔可满足性40 元券Satisfiability9783659131974TechniquesMultilevel¥9180去看看上海外文图书音像专营店发布了按需印刷Multilevel Techniques for solving the Satisfiability Problem[9783659131974]20 元券2017满意度SatisfiabilityInternational¥5000去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2017: 20th International 满意度测试理论与应用-201720 元券SatisfiabilityInternationalApplications满足¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2013: 16th International 可满足性测试的理论和应用—20 元券SatisfiabilityInternationalApplications满足¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2018: 21st International 可满足性测试的理论和应用—20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International 满意度测试理论与应用——2020 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 8th International Conference, 满意度测试理论与应用:第8届20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 6th International Conference, 满意度测试理论与应用:第六20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 7th International Conference, 满意度测试的理论和应用:2020 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2006: 9th International 满意度测试理论与应用20 元券SatisfiabilityInternationalApplicationConference¥5330去看看中华商务图书专营店发布了海外直订Theory and Application of Satisfiability Testing: 14th International Conference, 可满足性测试的理论与应用:20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2007: 10th International 满意度测试的理论与应用——20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2014: 17th International 满意度测试的理论和应用- SA50 元券求解SatisfiabilityVerificationValidation¥15000去看看中华商务图书专营店发布了海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的50 元券求解SatisfiabilityVerificationValidation¥15000去看看中华商务图书专营店发布了海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的50 元券2005满意度SatisfiabilityResearch¥15000去看看中华商务图书专营店发布了海外直订SAT 2005: Satisfiability Research in the Year 2005 2005年度满意度研究