Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ... Notes in Computer Science, Band 8561)

Dieses Buch fasst die Beiträge der SAT‑2014-Konferenz zusammen, beleuchtet innovative Algorithmen zur Erfüllbarkeitsprüfung und ihre Anwendungen ...
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 12:54:18
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:18:02
Gesponsert
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:12:40

Allgemein

Marke
Springer International Publishing
ISBN
Springer International Publishing 3319092839
MPN
Springer International Publishing 77 black & white illustrations, biograph

Eigenschaften

Menü