Central Books (the official publisher) has slowly moved into the digital realm. While they are cautious about PDF distribution due to piracy, they sometimes offer e-books in DRM-protected formats (like VitalSource).