Name: Theory and Applications of Satisfiability Testing - SAT 2014
Brand: Springer International Publishing
SKU: ID11992782
Availability: InStock

Theory and Applications of Satisfiability Testing - SAT 2014

53.49 EUR

Das Buch aus der SAT‑2014‑Konferenz in Wien liefert tiefgehende Analysen moderner Erfüllbarkeitsalgorithmen, ihre theoretischen Grundlagen und praxisorientierte Einsatzmöglichkeiten in Logik, KI sowie Optimierungsaufgaben.

Marke: Springer International Publishing

ISBN: 3319092839

MPN: 77 black & white illustrations, biograph

Angebote
Merkmale

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

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

Medimops DE

53.49 EUR 53.49 EUR

16-05-2026 06:20:34

Access to the deal

Gesponsert Theory and Applications of Satisfiability Testing - SAT 2014

SpringerLink DE

53.49 EUR 53.49 EUR

16-05-2026 18:26:36

Access to the deal

Gesponsert Theory and Applications of Satisfiability Testing - SAT 2014, Fachbücher

Galaxus.de

53.49 EUR 53.49 EUR

15-05-2026 23:38:16

Access to the deal

Theory and Applications of Satisfiability Testing - SAT 2014

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

Gesponsert Theory and Applications of Satisfiability Testing - SAT 2014

Gesponsert Theory and Applications of Satisfiability Testing - SAT 2014, Fachbücher

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Theory and Applications of Satisfiability Testing - SAT 2014

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

Gesponsert Theory and Applications of Satisfiability Testing - SAT 2014

Gesponsert Theory and Applications of Satisfiability Testing - SAT 2014, Fachbücher

Ä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 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings