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 高质量测试模式生成与布尔可满足性25 元券SatisfiabilityInternational9783030242572Applications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conference... [9783030242572]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 满意度测试理论与应用-201710 元券Satisfiability9781848901391PropositionalIntroduction¥2530去看看澜瑞图书专营店发布了【4周达】Introduction to Propositional Satisfiability [9781848901391]20 元券满意度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 满意度测试的理论和应用- SA20 元券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 满意度测试理论与应用——2050 元券求解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年度满意度研究25 元券Satisfiability9783659131974TechniquesMultilevel¥7670去看看澜瑞图书专营店发布了【4周达】Multilevel Techniques for solving the Satisfiability Problem [9783659131974]25 元券Satisfiability9781601980847ProblemsRelated¥7690去看看澜瑞图书专营店发布了【4周达】A Survey of Lower Bounds for Satisfiability and Related Problems [9781601980847]25 元券Satisfiability9781489988478GenerationBoolean¥9830去看看澜瑞图书专营店发布了【4周达】High Quality Test Pattern Generation and Boolean Satisfiability [9781489988478]25 元券Satisfiability9781441999757GenerationBoolean¥10390去看看澜瑞图书专营店发布了【4周达】High Quality Test Pattern Generation and Boolean Satisfiability [9781441999757]25 元券ExtremalSatisfiability9783838114118Colorings¥10930去看看澜瑞图书专营店发布了【4周达】Extremal Colorings and Extremal Satisfiability [9783838114118]25 元券Satisfiability9783838101026Verification周达】¥11210去看看澜瑞图书专营店发布了【4周达】Satisfiability & Verification [9783838101026]