60 元券预售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 Testing80 元券Satisfiability9783838303277OptimizationSearching¥13730去看看上海外文图书音像专营店发布了按需印刷Searching for Optimization through Satisfiability[9783838303277]40 元券Satisfiability9783639147384ConstraintsDifference¥7100去看看上海外文图书音像专营店发布了按需印刷Satisfiability Checking with Difference Constraints[9783639147384]80 元券SatisfiabilityVerification预订¥12320去看看上海外文图书音像专营店发布了预订Satisfiability & Verification80 元券ExtremalSatisfiability9783838114118Colorings¥11590去看看上海外文图书音像专营店发布了按需印刷Extremal Colorings and Extremal Satisfiability[9783838114118]25 元券ExtremalSatisfiability9783838114118Colorings¥10930去看看澜瑞图书专营店发布了【4周达】Extremal Colorings and Extremal Satisfiability [9783838114118]25 元券Satisfiability9783838101026Verification周达】¥11210去看看澜瑞图书专营店发布了【4周达】Satisfiability & Verification [9783838101026]25 元券Satisfiability9783838303277OptimizationSearching¥11720去看看澜瑞图书专营店发布了【4周达】Searching for Optimization through Satisfiability [9783838303277]25 元券2005Satisfiability9789400787155Research¥14910去看看澜瑞图书专营店发布了【4周达】SAT 2005 : Satisfiability Research in the Year 2005 [9789400787155]25 元券Satisfiability9781489988478GenerationBoolean¥9830去看看澜瑞图书专营店发布了【4周达】High Quality Test Pattern Generation and Boolean Satisfiability [9781489988478]20 元券SatisfiabilityPropositionalIntroduction印刷¥2330去看看中国图书音像图书专营店发布了按需印刷 Introduction to Propositional Satisfiability25 元券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 元券Satisfiability9781441999757GenerationBoolean¥10390去看看澜瑞图书专营店发布了【4周达】High Quality Test Pattern Generation and Boolean Satisfiability [9781441999757]80 元券SatisfiabilityInternationalApplicationsConference¥11670去看看上海外文图书音像专营店发布了预订Theory and Applications of Satisfiability Testing - SAT 2016:19th International Conference, Bordeaux, France, Ju60 元券预售SatisfiabilityApplicationsTheory¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Test...60 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing – SAT 201660 元券预售SatisfiabilityTechniquesMultilevel¥8980去看看中图数字图书专营店发布了【预售 按需印刷】Multilevel Techniques for solving the Satisfiability Problem40 元券Satisfiability9783659131974TechniquesMultilevel¥9180去看看上海外文图书音像专营店发布了按需印刷Multilevel Techniques for solving the Satisfiability Problem[9783659131974]200 元券预售SatisfiabilityProblem¥18070去看看中国国际图书专营店发布了【预售】Satisfiability Problem50 元券求解SatisfiabilityVerificationValidation¥15000去看看中华商务图书专营店发布了海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的60 元券预售SatisfiabilityApplicationsTesting¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Testing:100 元券Extremal预售SatisfiabilityColorings¥10060去看看中国国际图书专营店发布了【预售】Extremal Colorings and Extremal Satisfiability50 元券SatisfiabilityInternationalApplications满足¥10060去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2021: 24th International 可满足性测试的理论和应用—60 元券预售SatisfiabilityApplicationsTesting¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Testing -100 元券预售SatisfiabilityVerification¥10930去看看中国国际图书专营店发布了【预售】Satisfiability & Verification60 元券预售SatisfiabilityApplicationTesting¥4600去看看中国国际图书专营店发布了【预售】Theory and Application of Satisfiability Testing:50 元券求解SatisfiabilityVerificationValidation¥15000去看看中华商务图书专营店发布了海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的20 元券SatisfiabilityInternationalApplications满足¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2013: 16th International 可满足性测试的理论和应用—50 元券SatisfiabilityVerification验证满足¥9810去看看中华商务图书专营店发布了海外直订Satisfiability & Verification 可满足性与验证100 元券Satisfiability9783030802226Applications预订¥10430去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing – SAT 2021 978303080222690 元券2005满意度SatisfiabilityResearch¥16990去看看中华商务图书专营店发布了海外直订SAT 2005: Satisfiability Research in the Year 2005 2005年度满意度研究20 元券SatisfiabilityInternationalApplications满足¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2018: 21st International 可满足性测试的理论和应用—60 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing – SAT 200820 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International 满意度测试理论与应用——20100 元券预售SatisfiabilityVerificationValidation¥13310去看看中国国际图书专营店发布了【预售】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers60 元券2019预售SatisfiabilityInternational¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lis...60 元券Satisfiability9783031427459VerificationProcesses¥6260去看看中国国际图书专营店发布了[预订]Verification of Data-Aware Processes Via Satisfiability Modulo Theories 978303142745950 元券布尔Satisfiability高质量Generation¥10910去看看中华商务图书专营店发布了海外直订High Quality Test Pattern Generation and Boolean Satisfiability 高质量测试模式生成与布尔可满足性25 元券Satisfiability9780821804797Problem周达】¥22160去看看澜瑞图书专营店发布了【4周达】Satisfiability Problem [9780821804797]20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 8th International Conference, 满意度测试理论与应用:第8届40 元券满意度SatisfiabilityApplications理论¥5810去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testin... 满意度测试理论与应用——SAT 201520 元券2017满意度SatisfiabilityInternational¥5000去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2017: 20th International 满意度测试理论与应用-201720 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 6th International Conference, 满意度测试理论与应用:第六25 元券Satisfiability9781643681603HandbookEdition¥26040去看看澜瑞图书专营店发布了【4周达】Handbook of Satisfiability Second Edition [9781643681603]60 元券SatisfiabilityApplications预订Testing¥5880去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing -- SAT 201520 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 7th International Conference, 满意度测试的理论和应用:2025 元券Satisfiability9780444504104FunctionsProblem¥31650去看看澜瑞图书专营店发布了【4周达】Satisfiability Problem and Boolean Functions [9780444504104]20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2006: 9th International 满意度测试理论与应用20 元券SatisfiabilityInternationalApplicationConference¥5330去看看中华商务图书专营店发布了海外直订Theory and Application of Satisfiability Testing: 14th International Conference, 可满足性测试的理论与应用:10 元券Satisfiability9781848901391PropositionalIntroduction¥2530去看看澜瑞图书专营店发布了【4周达】Introduction to Propositional Satisfiability [9781848901391]40 元券下界Satisfiability综述Problems¥7390去看看中华商务图书专营店发布了海外直订A Survey of Lower Bounds for Satisfiability and Related Problems 可满足性下界及其相关问题的研究综述50 元券2005满意度SatisfiabilityResearch¥15000去看看中华商务图书专营店发布了海外直订SAT 2005: Satisfiability Research in the Year 2005 2005年度满意度研究20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2007: 10th International 满意度测试的理论与应用——25 元券2005Satisfiability9781402045523Research¥15100去看看澜瑞图书专营店发布了【4周达】SAT 2005 : Satisfiability Research in the Year 2005 [9781402045523]100 元券Satisfiability9781586039295预订Handbook¥15300去看看中国国际图书专营店发布了【预订】Handbook of Satisfiability 978158603929550 元券布尔Satisfiability高质量Generation¥10220去看看中华商务图书专营店发布了海外直订High Quality Test Pattern Generation and Boolean Satisfiability 高质量测试模式生成与布尔可满足性40 元券多级SatisfiabilityTechniquesMultilevel¥6120去看看中华商务图书专营店发布了海外直订Multilevel Techniques for solving the Satisfiability Problem 解决可满足性问题的多级技术