关注微信公众号查券更方便
【预订】Theory and Applications of Satisfiability Testing – SAT 2021 9783030802226
【预售】Satisfiability Problem
【预售】Theory and Applications of Satisfiability Testing -
【预售】Theory and Applications of Satisfiability Testing:
【预售】Theory and Application of Satisfiability Testing:
【预售】Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lis...
【预订】Theory and Applications of Satisfiability Testing - SAT 2006
【预订】Theory and Applications of Satisfiability Testing
【预订】Theory and Applications of Satisfiability Testing – SAT 2008
【预订】Theory and Applications of Satisfiability Testing – SAT 2016
【预售】Theory and Applications of Satisfiability Test...
【预订】Theory and Applications of Satisfiability Testing -- SAT 2012 9783642316111
【预订】Theory and Applications of Satisfiability Testing – SAT 2020
预售 按需印刷 Introduction to Propositional Satisfiability
【预售】Extremal Colorings and Extremal Satisfiability
【预订】Theory and Applications of Satisfiability Testing -- SAT 2015
【预售】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers
预订 Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games 应用可满足性：密码学、调度与联盟博弈: 97813
【预售】Satisfiability & Verification
[预订]Verification of Data-Aware Processes Via Satisfiability Modulo Theories 9783031427459
海外直订Theory and Applications of Satisfiability Testing: 7th International Conference, 满意度测试的理论和应用：20
海外直订Theory and Applications of Satisfiability Testin... 满意度测试理论与应用——SAT 2015
【预订】Handbook of Satisfiability 9781586039295
【预售】A Survey of Lower Bounds for Satisfiability and
海外直订High Quality Test Pattern Generation and Boolean Satisfiability 高质量测试模式生成与布尔可满足性
海外直订Theory and Applications of Satisfiability Testing - SAT 2021: 24th International 可满足性测试的理论和应用—
海外直订SAT 2005: Satisfiability Research in the Year 2005 2005年度满意度研究
海外直订Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games 应用可满足性：密码学、调度和联合博
海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的
海外直订Theory and Applications of Satisfiability Testing - SAT 2017: 20th International 满意度测试理论与应用-2017
海外直订Theory and Applications of Satisfiability Testing: 8th International Conference, 满意度测试理论与应用:第8届
海外直订Theory and Applications of Satisfiability Testing - SAT 2018: 21st International 可满足性测试的理论和应用—
海外直订Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International 满意度测试理论与应用——20
海外直订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 - SAT 2006: 9th International 满意度测试理论与应用
海外直订Theory and Application of Satisfiability Testing: 14th International Conference, 可满足性测试的理论与应用：
海外直订Theory and Applications of Satisfiability Testing - SAT 2007: 10th International 满意度测试的理论与应用——
海外直订Theory and Applications of Satisfiability Testing - SAT 2014: 17th International 满意度测试的理论和应用- SA
【3-4周达】Introduction to Propositional Satisfiability [9781848901391]
【3-4周达】Verification of Data-Aware Processes via Satisfiability Modulo Theories (1st ed. 2023) (1s... [9783031427459]
【3-4周达】Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011,... [9783642215803]
【3-4周达】Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005... [9783540262763]
【3-4周达】Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003.... [9783540208518]
【3-4周达】Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conferen... [9783642390708]
【3-4周达】Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conferenc... [9783642141850]
【3-4周达】Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004,... [9783540278290]
【3-4周达】Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conferenc... [9783540372066]
【3-4周达】Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Confere... [9783642316111]
【3-4周达】Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conferen... [9783540727873]
【3-4周达】Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conferen... [9783319941431]
【3-4周达】Theory and Applications of Satisfiability Testing - SAT 2019 : 22nd International Conferen... [9783030242572]
【3-4周达】Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conferen... [9783319662626]
【3-4周达】Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conferenc... [9783319092836]
【3-4周达】Bridging Constraint Satisfaction and Boolean Satisfiability (1st ed. 2015) (1st ed. 2015) ... [9783319218090]
预订 Multilevel Techniques for solving the Satisfiability Problem [9783659131974]
【3-4周达】SAT 2005 : Satisfiability Research in the Year 2005 [9781402045523]
【3-4周达】Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (1st ed... [9783319728131]
【3-4周达】High Quality Test Pattern Generation and Boolean Satisfiability [9781441999757]
【3-4周达】SAT 2005 : Satisfiability Research in the Year 2005 [9789400787155]
【3-4周达】Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Softco... [9783319892146]
【3-4周达】High Quality Test Pattern Generation and Boolean Satisfiability [9781489988478]
【3-4周达】Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Confere... [9783319243177]
【3-4周达】Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conferenc... [9783642027765]
【3-4周达】Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conferen... [9783319409696]
【3-4周达】Theory and Applications of Satisfiability Testing - SAT 2021 : 24th International Conferen... [9783030802226]
【3-4周达】Handbook of Satisfiability [9781586039295]
【3-4周达】Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games [9781394249787]
【3-4周达】Satisfiability Problem [9780821804797]
【3-4周达】Handbook of Satisfiability Second Edition [9781643681603]
【3-4周达】Satisfiability Problem and Boolean Functions [9780444504104]
【3-4周达】Bridging Constraint Satisfaction and Boolean Satisfiability (Softcover reprint of the orig... [9783319373645]
