Bemærk: Kan ikke leveres før jul.
Forventes på lager: 24-08-2009
This book is one of the first to cover SAT-solvers and how they can be used in cryptanalysis. It includes chapters on finite field linear algebra and the equicomplexity of matrix operations.
| Forlag | Springer-Verlag New York Inc. |
| Forfatter | Gregory Bard |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2009 ed. |
| Udgivelsesdato | 24-08-2009 |
| Første udgivelsesår | 2009 |
| Illustrationer | XXXIII, 356 p. |
| Originalsprog | United States |
| Sideantal | 356 |
| Indbinding | Hardback |
| Forlag | Springer-Verlag New York Inc. |
| Sideoplysninger | 356 pages, XXXIII, 356 p. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9780387887562 |