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, und V. Ngo. Algorithmic Foundations of Robotics IX, Volume 68 von Springer Tracts in Advanced Robotics, Kapitel 11, Springer Berlin Heidelberg, Berlin, Heidelberg, (2011)
M. Kwiatkowska, G. Norman, und D. Parker. Computer Performance Evaluation: Modelling Techniques and Tools, Seite 200--204. Berlin, Heidelberg, Springer Berlin Heidelberg, (2002)
I. Chatzigiannakis, S. Dolev, S. Fekete, O. Michail, und P. Spirakis. In 13th International Conference on Principles of Distributed Systems (OPODIS), volume 5923 of Lecture Notes in Computer Science, Seite 33--47. Springer-Verlag, (2009)