Marco Barden, Alexander Ostermann (Hg.): Scientific Computing @ uibk
Friedrich Neurauter: Termination Analysis of Term Rewriting by Polynomial Interpretations and Matrix Interpretations
Alexander Kendl, Sabine Schindler (Hg.): Introduction to Computer Science & Applied Computing
