Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

The Daily Book of Art: 365 readings that teach, inspire & entertain