Leram - Markov Chains and Decision Processes for Engineers and Managers (English Edition)