Pastāsti draugiem par šo preci:
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings - Lecture Notes in Computer Science 1st ed. 2015 edition
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings - Lecture Notes in Computer Science
436 pages, 94 colour illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2015. gada 4. novembris |
| ISBN13 | 9783319243177 |
| Izdevēji | Springer International Publishing AG |
| Lapas | 436 |
| Izmēri | 155 × 235 × 24 mm · 6,85 kg |
| Valoda | Franču |
| Redaktors | Heule, Marijn |
| Redaktors | Weaver, Sean |