Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conf... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik til informatikfag
  5. Diskret matematik
  6. Softwareudvikling
  7. Matematisk datateori
  8. Kunstig intelligens
  9. Theory and Applications of Satisfiability Testing – SAT 2018:...

Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

(Bog, Paperback / softback, Engelsk)
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Beskrivelse

This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2018 ed.
Udgivelsesdato 26-06-2018
Første udgivelsesår 2018
Serie Theoretical Computer Science and General Issues
Illustrationer 73 Illustrations, black and white; XIX, 452 p. 73 illus.
Fagredaktør Olaf Beyersdorff, Christoph M. Wintersteiger
Originalsprog Switzerland
Sideantal 452
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 452 pages, 73 Illustrations, black and white; XIX, 452 p. 73 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319941431