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
Medimops DE
53.49 EUR
Preis aktualisiert am: 11-06-2026 01:21:38
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 10-06-2026 10:46:12
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 11-06-2026 01:41:26
Allgemein
Marke
Springer International Publishing
ISBN
Springer International Publishing 3319092839
MPN
Springer International Publishing 77 black & white illustrations, biograph
