Noncommutative Involutive Bases [Phd Thesis] 2006