Udsalget slutter om
Udvidet returret til d. 31. januar 2025

Theory and Applications of Satisfiability Testing - SAT 2019 - Bog

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

Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783030242572
  • Indbinding:
  • Paperback
  • Sideantal:
  • 425
  • Udgivet:
  • 29. juni 2019
  • Udgave:
  • 12019
  • Vægt:
  • 670 g.
  • 8-11 hverdage.
  • 12. december 2024
Forlænget returret til d. 31. januar 2025

Normalpris

  • BLACK FRIDAY
    : :

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af Theory and Applications of Satisfiability Testing - SAT 2019



Find lignende bøger
Bogen Theory and Applications of Satisfiability Testing - SAT 2019 findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.