Theory and Applications of Satisfiability Testing | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
  • #
  • #

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

53.49 EUR

Die Ausgabe der SAT‑2016-Konferenz in Bordeaux liefert einen kompakten Überblick über neueste Ansätze zur Erfüllbarkeitsprüfung, diskutiert innovative Algorithmen und zeigt praktische Anwendungen in der Logikforschung.

Teilen:

Ähnliche Produkte

Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings

49.98 EUR
Theory and Applications of Satisfiability Testing

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

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

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

53.49 EUR
Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing - SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science)

53.49 EUR
Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science)

53.49 EUR
Theory and Applications of Satisfiability Testing

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

53.49 EUR