The main purpose of this paper is computing higher algebraic
K
-theory of Koszul complexes over principal ideal domains. The second purpose of this paper is giving examples of comparison techniques on algebraic
K
-theory for Waldhausen categories without the factorization axiom.