Web Information Systems and Technologies: 8th International Conference, Webist 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers (2013 (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im (Paperback)
Computation, Logic, Games, and Quantum Foundations – The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His 60t (Paperback)
Advances in Computer Science and Information Technology. Computer Science and Engineering: Second International Conference, Ccsit 2012, Bangalore, Ind (Paperback)