Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Con... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik til informatikfag
  5. Matematisk datateori
  6. Kunstig intelligens
  7. Theory and Applications of Satisfiability Testing -- SAT 2015:...

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

(Bog, Paperback / softback, Engelsk)
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, 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

Kunstig intelligens Matematik til informatikfag Matematisk datateori
  = 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. 2015
Udgivelsesdato 04-11-2015
Første udgivelsesår 2015
Serie Lecture Notes in Computer Science
Illustrationer 94 Illustrations, color; XIX, 436 p. 94 illus. in color.
Fagredaktør Marijn Heule, Sean Weaver
Originalsprog Switzerland
Sideantal 436
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 436 pages, 94 Illustrations, color; XIX, 436 p. 94 illus. in color.
Mål 235 x 155
ISBN-13 / EAN-13 9783319243177