Fortell venner om denne varen:
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues Alessandro Cimatti 2012 edition
Pris
SFr. 44,99
Bestillingsvarer
Forventes levert 16. - 24. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues
Alessandro Cimatti
The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers).
520 pages, 364 black & white illustrations, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 22. juni 2012 |
| ISBN13 | 9783642316111 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 500 |
| Mål | 155 × 235 × 26 mm · 721 g |
| Språk | Fransk |
| Redaktør | Cimatti, Alessandro |
| Redaktør | Sebastiani, Roberto |
Se alt med Alessandro Cimatti ( f.eks. Pocketbok )