1
Wydane 2008
Spis treści: ... Very Short Bit-Vector Encoding of Tree Hierarchies -- Mathematical Programming Formulations...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2010
Spis treści: ... -- Searching the Best (Formulation, Solver, Configuration) for Structured Problems -- Information Model...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2007
Spis treści: ... -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate...
Dokumenty pełnotekstowe
Elektroniczne E-book