Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Theory and Applications of Satisfiability Testing - SAT 2019

- 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings

Über Theory and Applications of Satisfiability Testing - SAT 2019

This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019. The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783030242572
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 425
  • Veröffentlicht:
  • 29. Juni 2019
  • Ausgabe:
  • 12019
  • Gewicht:
  • 670 g.
  Versandkostenfrei
  Sofort lieferbar
Verlängerte Rückgabefrist bis 31. Januar 2025

Beschreibung von Theory and Applications of Satisfiability Testing - SAT 2019

This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019. The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions.

Kund*innenbewertungen von Theory and Applications of Satisfiability Testing - SAT 2019



Ähnliche Bücher finden
Das Buch Theory and Applications of Satisfiability Testing - SAT 2019 ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.