Theory and Applications of Satisfiability Testing - Sat 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues - Armin Biere - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540372066 - 26 lipca 2006
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Armin Biere
Theory and Applications of Satisfiability Testing - Sat 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Cena
zł 211,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. This book presents 26 revised full papers together with 11 revised short papers and 2 invited talks.

440 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 26 lipca 2006
ISBN13 9783540372066
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 440
Wymiary 156 × 234 × 23 mm   ·   662 g
Język Niemiecki  

Więcej od Armin Biere

Pokaż wszystko

Zobacz wszystko od Armin Biere ( np. Paperback Book i Hardcover Book )