Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science)
Ein kompakter Sammelband aus der SAT‑2015-Konferenz in Austin, der aktuelle Forschungsergebnisse zur Erfüllbarkeitsprüfung präsentiert und theore ...
Gesponsert
Medimops DE
61.98 EUR
Preis aktualisiert am: 09-06-2026 22:11:35
Gesponsert
SpringerLink DE
68.48 EUR
Preis aktualisiert am: 10-06-2026 10:47:13
Gesponsert
Galaxus.de
68.48 EUR
Preis aktualisiert am: 09-06-2026 12:05:57
Allgemein
Marke
Marijn Heule
ISBN
Marijn Heule 3319243179
MPN
Marijn Heule 94 colour illustrations, biography
