Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Algorithmic Game Theory 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 – October 2, 2014. Proceedings

Computer Networks 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings

Semantics of Probabilistic Processes An Operational Approach

Data-driven Generation of Policies

Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation

Handbook of Biometric Anti-Spoofing Trusted Biometrics under Spoofing Attacks

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings

Biomedical Image Registration 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings