Operations research verfahren : methods of operations research. --