Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog
Paperback version af SAT 2005

SAT 2005

Forfatter: info mangler
Bog
  • Format
  • Bog, paperback
  • Engelsk

Normalpris

kr. 1.229,95

Medlemspris

kr. 1.169,95
  • Du sparer kr. 60,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal300
  • Udgivelsesdato03-12-2014
  • ISBN139789400787155
  • Forlag Springer
  • FormatPaperback
Størrelse og vægt
  • Vægt462 g
  • Dybde1,7 cm
    • coffee cup img
    10 cm
    book img
    15,5 cm
    23,5 cm

    Anmeldelser

    Vær den første!

    Log ind for at skrive en anmeldelse.

    Findes i disse kategorier...