10 元券预售SatisfiabilityPropositionalIntroduction¥2380去看看中图上海图书音像店发布了预售 按需印刷 Introduction to Propositional Satisfiability20 元券SatisfiabilityPropositionalIntroduction印刷¥2330去看看中国图书音像图书专营店发布了按需印刷 Introduction to Propositional Satisfiability10 元券Satisfiability9781848901391PropositionalIntroduction¥2530去看看澜瑞图书专营店发布了【4周达】Introduction to Propositional Satisfiability [9781848901391]导论SatisfiabilityPropositional命题¥2870去看看中华商务图书专营店发布了海外直订Introduction to Propositional Satisfiability 命题满足性导论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 元券预售SatisfiabilityApplicationsTheory¥4600去看看中国国际图书专营店发布了【预售】Theory and Applications of Satisfiability Test...60 元券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 Testing – SAT 201660 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing – SAT 200860 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing - SAT 200660 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing60 元券SatisfiabilityApplications预订Testing¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing – SAT 202060 元券Satisfiability9783642316111Applications预订¥4600去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing -- SAT 2012 978364231611120 元券2017满意度SatisfiabilityInternational¥5000去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2017: 20th International 满意度测试理论与应用-2017Satisfiability9783319373645SatisfactionConstraint¥5370去看看澜瑞图书专营店发布了【4周达】Bridging Constraint Satisfaction and Boolean Satisfiability [9783319373645]20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing: 7th International Conference, 满意度测试的理论和应用:2020 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2007: 10th International 满意度测试的理论与应用——20 元券SatisfiabilityInternationalApplications满足¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2018: 21st International 可满足性测试的理论和应用—20 元券SatisfiabilityInternationalApplicationConference¥5330去看看中华商务图书专营店发布了海外直订Theory and Application of Satisfiability Testing: 14th International Conference, 可满足性测试的理论与应用:20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International 满意度测试理论与应用——2020 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2014: 17th International 满意度测试的理论和应用- SA20 元券满意度SatisfiabilityInternationalApplications¥5330去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2006: 9th International 满意度测试理论与应用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 - SAT 2013: 16th International 可满足性测试的理论和应用—Satisfiability9783319218090SatisfactionConstraint¥5560去看看澜瑞图书专营店发布了【4周达】Bridging Constraint Satisfaction and Boolean Satisfiability [9783319218090]25 元券SatisfiabilityInternational9783030242572Applications¥5510去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conference... [9783030242572]SatisfiabilityInternational9783319941431Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference,... [9783319941431]SatisfiabilityInternational9783319662626Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference... [9783319662626]SatisfiabilityInternational9783540208518Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing: 6th International Conference, Sat 2003. S... [9783540208518]SatisfiabilityInternational9783540262763Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, ... [9783540262763]SatisfiabilityInternational9783540727873Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference... [9783540727873]SatisfiabilityInternational9783642215803Application¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, A... [9783642215803]SatisfiabilityInternational9783642141850Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference,... [9783642141850]SatisfiabilityInternational9783642390708Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference... [9783642390708]SatisfiabilityInternational9783319092836Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference,... [9783319092836]SatisfiabilityInternational9783540278290Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, V... [9783540278290]Satisfiability9783540372066InternationalApplications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference,... [9783540372066]SatisfiabilityInternational9783642316111Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conferenc... [9783642316111]SatisfiabilityInternational9783319409696Applications¥5950去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference... [9783319409696]SatisfiabilityInternational9783642027765Applications¥5950去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference,... [9783642027765]40 元券满意度SatisfiabilityApplications理论¥5810去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testin... 满意度测试理论与应用——SAT 201560 元券SatisfiabilityApplications预订Testing¥5880去看看中国国际图书专营店发布了【预订】Theory and Applications of Satisfiability Testing -- SAT 201540 元券多级SatisfiabilityTechniquesMultilevel¥6120去看看中华商务图书专营店发布了海外直订Multilevel Techniques for solving the Satisfiability Problem 解决可满足性问题的多级技术60 元券Satisfiability9783031427459VerificationProcesses¥6260去看看中国国际图书专营店发布了[预订]Verification of Data-Aware Processes Via Satisfiability Modulo Theories 9783031427459SatisfiabilityInternational9783319243177Applications¥6880去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conferenc... [9783319243177]80 元券预售SatisfiabilityBoundsSurvey¥6350去看看中国国际图书专营店发布了【预售】A Survey of Lower Bounds for Satisfiability andSatisfiability9783031427459VerificationProcesses¥7250去看看澜瑞图书专营店发布了【4周达】Verification of Data-Aware Processes via Satisfiability Modulo Theories [9783031427459]40 元券Satisfiability9783639147384ConstraintsDifference¥7100去看看上海外文图书音像专营店发布了按需印刷Satisfiability Checking with Difference Constraints[9783639147384]40 元券下界Satisfiability综述Problems¥7390去看看中华商务图书专营店发布了海外直订A Survey of Lower Bounds for Satisfiability and Related Problems 可满足性下界及其相关问题的研究综述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]40 元券Satisfiability9783659131974TechniquesMultilevel¥9180去看看上海外文图书音像专营店发布了按需印刷Multilevel Techniques for solving the Satisfiability Problem[9783659131974]60 元券预售SatisfiabilityTechniquesMultilevel¥8980去看看中图数字图书专营店发布了【预售 按需印刷】Multilevel Techniques for solving the Satisfiability Problem25 元券Satisfiability9781489988478GenerationBoolean¥9830去看看澜瑞图书专营店发布了【4周达】High Quality Test Pattern Generation and Boolean Satisfiability [9781489988478]50 元券SatisfiabilityVerification验证满足¥9810去看看中华商务图书专营店发布了海外直订Satisfiability & Verification 可满足性与验证50 元券SatisfiabilityInternationalApplications满足¥10060去看看中华商务图书专营店发布了海外直订Theory and Applications of Satisfiability Testing - SAT 2021: 24th International 可满足性测试的理论和应用—