We investigate mapping properties for the Bargmann transform and prove that this transform is isometric and bijective from modulation spaces to convenient Banach spaces of analytic functions. We also present some consequences. ...