Teses de doutorado de Ciência da Computação para estudantes de Engenharia