Arithmetic Geometry, Number Theory, and Computation by Jennifer S. Balakrishnan
Specific topics include algebraic varieties over finite fields the Chabauty-Coleman method modular forms rational points on curves of small genus S-unit equations and integral points.