Name: Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues)
Brand: Springer Nature Switzerland AG
SKU: 314138898
Price: 1040 HKD
Availability: InStock

1 results

Theory and Applications of Satisfiability Testing – SAT 2021 (24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Chu-Min Li, Felip Manyà

HK$1,040

View:
Safe Search(?):