Mathematics

Matters computational : ideas, algorithms, source code

The concrete tetrahedron : symbolic sums, recurrence equations, generating functions, asymptotic estimates

Transactions on Rough Sets XIII

Evolutionary optimization : the [mu]GP toolkit

Efficient solving of large arithmetic constraint systems with complex Boolean structure : proof engines for the analysis of hybrid discrete-continuous systems

Research in computational molecular biology : 15th annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011 : proceedings

Analysis for computer scientists : foundations, methods, and algorithms

Ranking queries on uncertain data

Theory and applications of models of computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, proceedings

Analysis and correctness of algebraic graph and model transformations

Formal concept analysis : 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings

Relational and algebraic methods in computer science : 12th international conference, RAMICS 2011, Rotterdam, the Netherlands, May 30 - June 3, 2011 : proceedings