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