This course provides the fundamental techniques of modeling and performance evaluation of computer systems. The course covers Markov chain theory, queuing theory, simulation models, analytical modeling, workload characterization, and performance evaluation problems.