Pastāsti draugiem par šo preci:
Algorithms for the Satisfiability Problem Jun Gu
Algorithms for the Satisfiability Problem
Jun Gu
Describes state-of-the-art methods and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing.
250 pages
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2020. gada 1. jūnijs |
| ISBN13 | 9780521640411 |
| Izdevēji | Cambridge University Press |
| Lapas | 250 |
| Izmēri | 150 × 220 × 20 mm · 587 g (Svars (aptuveni)) |