Synthesis Lectures on Algorithms & Software in Engineering