Heidelberger Taschenbücher, Sammlung Informatik, Band 87: Buch Springer