Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Theory and Applications of Satisfiability Testing – SAT 2016
- 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
- Bindende:
- Paperback
- Sider:
- 564
- Utgitt:
- 12. juni 2016
- Utgave:
- 12016
- Dimensjoner:
- 236x156x36 mm.
- Vekt:
- 896 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 15. september 2025
Beskrivelse av Theory and Applications of Satisfiability Testing – SAT 2016
This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.
Brukervurderinger av Theory and Applications of Satisfiability Testing – SAT 2016
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Theory and Applications of Satisfiability Testing – SAT 2016 finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2025 Tales.no
