Textbooks on algorithms for optimization, decision making, and validation