Name: Theory and Applications of Satisfiability Testing -- SAT 2015
Brand: Marijn Heule
SKU: ID12471406
Availability: InStock

Theory and Applications of Satisfiability Testing -- SAT 2015

61.98 EUR 9% Off 68.48 EUR

Ein kompakter Sammelband aus der SAT‑2015-Konferenz in Austin, der neueste Forschungsergebnisse zur Erfüllbarkeitsprüfung zusammenfasst und theoretische Konzepte mit praxisnahen Anwendungen verknüpft.

Marke: Marijn Heule

ISBN: 3319243179

MPN: 94 colour illustrations, biography

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-9%

Gesponsert Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science)

Medimops DE

61.98 EUR 68.48 EUR

26-08-2026 05:57:22

Access to the deal

Gesponsert Theory and Applications of Satisfiability Testing -- SAT 2015

SpringerLink DE

68.48 EUR 68.48 EUR

26-08-2026 14:12:00

Access to the deal

Theory and Applications of Satisfiability Testing -- SAT 2015

Gesponsert Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science)

Gesponsert Theory and Applications of Satisfiability Testing -- SAT 2015

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Theory and Applications of Satisfiability Testing -- SAT 2015

Gesponsert Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science)

Gesponsert Theory and Applications of Satisfiability Testing -- SAT 2015

Ähnliche Produkte

Theory and Applications of Satisfiability Testing SAT 2019

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings (Lecture Notes in Computer Science, Band 12178)

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings