

Approximation and Online Algorithms
1 709,-

Logics and Type Systems in Theory and Practice
1 340,-

Mathematical Optimization Theory and Operations Research
584,-

Mathematical and Computational Oncology
584,-

Principles and Practice of Constraint Programing-CP 2013
584,-

Queueing Theory and Network Applications
584,-

Interactive Theorem Proving
971,-

Applied Algorithms
791,-

Experimental Algorithms
584,-

Interactive Theorem Proving
584,-

Approximation and Online Algorithms
1 709,-

Logics and Type Systems in Theory and Practice
1 340,-

Mathematical Optimization Theory and Operations Research
584,-

Mathematical and Computational Oncology
584,-

Principles and Practice of Constraint Programing-CP 2013
584,-

Queueing Theory and Network Applications
584,-

Interactive Theorem Proving
971,-

Applied Algorithms
791,-

Experimental Algorithms
584,-

Interactive Theorem Proving
584,-














