关注微信公众号查券更方便
预售 按需印刷 Introduction to Propositional Satisfiability
按需印刷 Introduction to Propositional Satisfiability
【4周达】Introduction to Propositional Satisfiability [9781848901391]
海外直订Introduction to Propositional Satisfiability 命题满足性导论
【预售】Theory and Applications of Satisfiability Testing:
【预售】Theory and Applications of Satisfiability Testing -
【预售】Theory and Application of Satisfiability Testing:
【预售】Theory and Applications of Satisfiability Test...
【预售】Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lis...
【预订】Theory and Applications of Satisfiability Testing – SAT 2016
【预订】Theory and Applications of Satisfiability Testing – SAT 2008
【预订】Theory and Applications of Satisfiability Testing - SAT 2006
【预订】Theory and Applications of Satisfiability Testing
【预订】Theory and Applications of Satisfiability Testing – SAT 2020
【预订】Theory and Applications of Satisfiability Testing -- SAT 2012 9783642316111
海外直订Theory and Applications of Satisfiability Testing - SAT 2017: 20th International 满意度测试理论与应用-2017
【4周达】Bridging Constraint Satisfaction and Boolean Satisfiability [9783319373645]
海外直订Theory and Applications of Satisfiability Testing: 7th International Conference, 满意度测试的理论和应用:20
海外直订Theory and Applications of Satisfiability Testing - SAT 2007: 10th International 满意度测试的理论与应用——
海外直订Theory and Applications of Satisfiability Testing - SAT 2018: 21st International 可满足性测试的理论和应用—
海外直订Theory and Application of Satisfiability Testing: 14th International Conference, 可满足性测试的理论与应用:
海外直订Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International 满意度测试理论与应用——20
海外直订Theory and Applications of Satisfiability Testing - SAT 2014: 17th International 满意度测试的理论和应用- SA
海外直订Theory and Applications of Satisfiability Testing - SAT 2006: 9th International 满意度测试理论与应用
海外直订Theory and Applications of Satisfiability Testing: 8th International Conference, 满意度测试理论与应用:第8届
海外直订Theory and Applications of Satisfiability Testing: 6th International Conference, 满意度测试理论与应用:第六
海外直订Theory and Applications of Satisfiability Testing - SAT 2013: 16th International 可满足性测试的理论和应用—
【4周达】Bridging Constraint Satisfaction and Boolean Satisfiability [9783319218090]
【4周达】Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conference... [9783030242572]
【4周达】Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference,... [9783319941431]
【4周达】Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference... [9783319662626]
【4周达】Theory and Applications of Satisfiability Testing: 6th International Conference, Sat 2003. S... [9783540208518]
【4周达】Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, ... [9783540262763]
【4周达】Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference... [9783540727873]
【4周达】Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, A... [9783642215803]
【4周达】Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference,... [9783642141850]
【4周达】Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference... [9783642390708]
【4周达】Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference,... [9783319092836]
【4周达】Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, V... [9783540278290]
【4周达】Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference,... [9783540372066]
【4周达】Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conferenc... [9783642316111]
【4周达】Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference... [9783319409696]
【4周达】Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference... [9783642027765]
海外直订Theory and Applications of Satisfiability Testin... 满意度测试理论与应用——SAT 2015
【预订】Theory and Applications of Satisfiability Testing -- SAT 2015
海外直订Multilevel Techniques for solving the Satisfiability Problem 解决可满足性问题的多级技术
[预订]Verification of Data-Aware Processes Via Satisfiability Modulo Theories 9783031427459
【4周达】Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conferenc... [9783319243177]
【预售】A Survey of Lower Bounds for Satisfiability and
【4周达】Verification of Data-Aware Processes Via Satisfiability Modulo Theories [9783031427459]
按需印刷Satisfiability Checking with Difference Constraints[9783639147384]
海外直订A Survey of Lower Bounds for Satisfiability and Related Problems 可满足性下界及其相关问题的研究综述
【4周达】Multilevel Techniques for solving the Satisfiability Problem [9783659131974]
【4周达】A Survey of Lower Bounds for Satisfiability and Related Problems [9781601980847]
按需印刷Multilevel Techniques for solving the Satisfiability Problem[9783659131974]
【预售 按需印刷】Multilevel Techniques for solving the Satisfiability Problem
【4周达】High Quality Test Pattern Generation and Boolean Satisfiability [9781489988478]
海外直订Satisfiability & Verification 可满足性与验证
海外直订Theory and Applications of Satisfiability Testing - SAT 2021: 24th International 可满足性测试的理论和应用—
【4周达】High Quality Test Pattern Generation and Boolean Satisfiability [9781441999757]
海外直订High Quality Test Pattern Generation and Boolean Satisfiability 高质量测试模式生成与布尔可满足性
【预售】Extremal Colorings and Extremal Satisfiability
【4周达】Extremal Colorings and Extremal Satisfiability [9783838114118]
【预订】Theory and Applications of Satisfiability Testing – SAT 2021 9783030802226
【4周达】Satisfiability & Verification [9783838101026]
【预售】Satisfiability & Verification
【4周达】Searching for Optimization through Satisfiability [9783838303277]
【4周达】Theory and Applications of Satisfiability Testing - SAT 2021 : 24th International Conference... [9783030802226]
按需印刷Extremal Colorings and Extremal Satisfiability[9783838114118]
预订Theory and Applications of Satisfiability Testing - SAT 2016:19th International Conference, Bordeaux, France, Ju
预订Satisfiability & Verification
【预售】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers
按需印刷Searching for Optimization through Satisfiability[9783838303277]
【4周达】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers [9783319892146]
【4周达】SAT 2005 : Satisfiability Research in the Year 2005 [9789400787155]
【4周达】SAT 2005 : Satisfiability Research in the Year 2005 [9781402045523]
【4周达】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers [9783319728131]
海外直订SAT 2005: Satisfiability Research in the Year 2005 2005年度满意度研究
海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的
【预订】Handbook of Satisfiability 9781586039295
【预售】Satisfiability Problem
【4周达】Satisfiability Problem [9780821804797]
【4周达】Handbook of Satisfiability Second Edition [9781643681603]
【4周达】Satisfiability Problem and Boolean Functions [9780444504104]