Pastāsti draugiem par šo preci:
SAT 2005: Satisfiability Research in the Year 2005 Enrico Giunchiglia 2006 edition
Cena
€ 152,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 22. - 30. sept.
Saņemiet paziņojumus par jauniem Enrico Giunchiglia izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
SAT 2005: Satisfiability Research in the Year 2005
Enrico Giunchiglia
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.
293 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2014. gada 3. decembris |
| ISBN13 | 9789400787155 |
| Izdevēji | Springer |
| Lapas | 293 |
| Izmēri | 155 × 235 × 16 mm · 421 g |
| Redaktors | Giunchiglia, Enrico |
| Redaktors | Walsh, Toby |
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
