Combinatorial image analysis: 15th international workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012 : proceedings

Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 15th international workshop, APPROX 2012 and 16th International Workshop, RANDOM 2012 Cambridge, MA, USA, August 15-17, 2012 : proceedings

Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings

Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings