Title: Operations Research for Industrial Management.