Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conf... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Numerisk analyse
  5. Softwareudvikling
  6. Matematisk datateori
  7. Kunstig intelligens
  8. Computere og hardware
  9. Theory and Applications of Satisfiability Testing – SAT 2017:...

Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

(Bog, Paperback / softback, Engelsk)
Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
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

Computere og hardware Kunstig intelligens Matematisk datateori Numerisk analyse Operativsystemer Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2017
Udgivelsesdato 09-08-2017
Første udgivelsesår 2017
Serie Theoretical Computer Science and General Issues
Illustrationer 68 Illustrations, black and white; XIII, 476 p. 68 illus.
Fagredaktør Serge Gaspers, Toby Walsh
Originalsprog Switzerland
Sideantal 476
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 476 pages, 68 Illustrations, black and white; XIII, 476 p. 68 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783319662626