Algorithms for the Satisfiability Problem - Jun Gu - Grāmatas - Cambridge University Press - 9780521640411 - 2020. gada 1. jūnijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Algorithms for the Satisfiability Problem


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Pievienot savam iMusic vēlmju sarakstam

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))

Vairāk no Jun Gu

Rādīt visu