20 元券预售SatisfiabilityPropositionalIntroduction¥2280去看看中图上海图书音像店发布了预售 按需印刷 Introduction to Propositional Satisfiability100 元券多级SatisfiabilityTechniquesMultilevel¥5520去看看中华商务图书专营店发布了海外直订Multilevel Techniques for solving the Satisfiability Problem 解决可满足性问题的多级技术150 元券SatisfiabilityVerification验证满足¥8810去看看中华商务图书专营店发布了海外直订Satisfiability & Verification 可满足性与验证150 元券SatisfiabilityInternationalApplications满足¥9060去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2021: 24th International 可满足性测试的理论和应用—150 元券布尔Satisfiability高质量Generation¥9220去看看中华商务图书专营店发布了海外直订High Quality Test Pattern Generation and Boolean Satisfiability 高质量测试模式生成与布尔可满足性250 元券2005满意度SatisfiabilityResearch¥15390去看看中华商务图书专营店发布了海外直订SAT 2005: Satisfiability Research in the Year 2005 2005年度满意度研究150 元券布尔Satisfiability高质量Generation¥9910去看看中华商务图书专营店发布了海外直订High Quality Test Pattern Generation and Boolean Satisfiability 高质量测试模式生成与布尔可满足性100 元券下界Satisfiability综述Problems¥6790去看看中华商务图书专营店发布了海外直订A Survey of Lower Bounds for Satisfiability and Related Problems 可满足性下界及其相关问题的研究综述60 元券预售SatisfiabilityApplicationsTesting¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Testing:60 元券预售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 200660 元券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 元券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 元券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 Problem150 元券求解SatisfiabilityVerificationValidation¥14000去看看中华商务图书专营店发布了海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的150 元券求解SatisfiabilityVerificationValidation¥14000去看看中华商务图书专营店发布了海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的150 元券2005满意度SatisfiabilityResearch¥14000去看看中华商务图书专营店发布了海外直订SAT 2005: Satisfiability Research in the Year 2005 2005年度满意度研究60 元券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 & Verification40 元券2017满意度SatisfiabilityInternational¥4800去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2017: 20th International 满意度测试理论与应用-201740 元券满意度SatisfiabilityInternationalApplications¥5130去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International 满意度测试理论与应用——2040 元券满意度SatisfiabilityInternationalApplications¥5130去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2014: 17th International 满意度测试的理论和应用- SA40 元券SatisfiabilityInternationalApplications满足¥5130去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2018: 21st International 可满足性测试的理论和应用—40 元券SatisfiabilityInternationalApplications满足¥5130去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2013: 16th International 可满足性测试的理论和应用—40 元券满意度SatisfiabilityInternationalApplications¥5130去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 6th International Conference, 满意度测试理论与应用:第六40 元券满意度SatisfiabilityInternationalApplications¥5130去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 7th International Conference, 满意度测试的理论和应用:2040 元券满意度SatisfiabilityInternationalApplications¥5130去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 8th International Conference, 满意度测试理论与应用:第8届40 元券满意度SatisfiabilityInternationalApplications¥5130去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2006: 9th International 满意度测试理论与应用40 元券SatisfiabilityInternationalApplicationConference¥5130去看看中华商务图书专营店发布了海外直订Theory and Application of Satisfiability Testing: 14th International Conference, 可满足性测试的理论与应用:40 元券满意度SatisfiabilityInternationalApplications¥5130去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2007: 10th International 满意度测试的理论与应用——100 元券预售SatisfiabilityVerificationValidation¥13310去看看中国国际图书专营店发布了【预售】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers80 元券ExtremalSatisfiability9783838114118Colorings¥11590去看看上海外文图书音像专营店发布了按需印刷Extremal Colorings and Extremal Satisfiability[9783838114118]80 元券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 978158603929580 元券SatisfiabilityVerification预订¥12320去看看上海外文图书音像专营店发布了预订Satisfiability & Verification80 元券Satisfiability9783838303277OptimizationSearching¥13730去看看上海外文图书音像专营店发布了按需印刷Searching for Optimization through Satisfiability[9783838303277]40 元券Satisfiability9783639147384ConstraintsDifference¥7100去看看上海外文图书音像专营店发布了按需印刷Satisfiability Checking with Difference Constraints[9783639147384]25 元券Satisfiability9783319373645SatisfactionConstraint¥5120去看看澜瑞图书专营店发布了【4周达】Bridging Constraint Satisfaction and Boolean Satisfiability [9783319373645]25 元券Satisfiability9783319218090SatisfactionConstraint¥5310去看看澜瑞图书专营店发布了【4周达】Bridging Constraint Satisfaction and Boolean Satisfiability [9783319218090]25 元券SatisfiabilityInternational9783540262763Applications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, ... [9783540262763]25 元券SatisfiabilityInternational9783319662626Applications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference... [9783319662626]25 元券SatisfiabilityInternational9783642215803Application¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, A... [9783642215803]25 元券SatisfiabilityInternational9783030242572Applications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conference... [9783030242572]25 元券SatisfiabilityInternational9783540278290Applications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, V... [9783540278290]25 元券Satisfiability9783540372066InternationalApplications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference,... [9783540372066]25 元券SatisfiabilityInternational9783319941431Applications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference,... [9783319941431]25 元券SatisfiabilityInternational9783642390708Applications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference... [9783642390708]25 元券SatisfiabilityInternational9783540208518Applications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing: 6th International Conference, Sat 2003. S... [9783540208518]