Bayesian Methods for Hackers : An intro to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view.
H. Bai, D. Hsu, W. Lee, and V. Ngo. Algorithmic Foundations of Robotics IX, volume 68 of Springer Tracts in Advanced Robotics, chapter 11, Springer Berlin Heidelberg, Berlin, Heidelberg, (2011)
M. Kwiatkowska, G. Norman, and D. Parker. Computer Performance Evaluation: Modelling Techniques and Tools, page 200--204. Berlin, Heidelberg, Springer Berlin Heidelberg, (2002)
I. Chatzigiannakis, S. Dolev, S. Fekete, O. Michail, and P. Spirakis. In 13th International Conference on Principles of Distributed Systems (OPODIS), volume 5923 of Lecture Notes in Computer Science, page 33--47. Springer-Verlag, (2009)