Cărți de Stefan Szeider

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6175

Editat de Ofer Strichman et al.

30 iun 2010

Preț: 339^.47 lei 424^.34 lei

3-5 săpt.

-20%

Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8246

Editat de Gregory Gutin et al.

29 noi 2013

Preț: 336^.86 lei 421^.08 lei

6-8 săpt.

-20%