Search results

What format should I choose?

Select your format based upon:

  1. how you want to read your book, and
  2. compatibility with your reading tool.

To learn more about using Bookshare with your device, visit the Help section.

Here is an overview of the specialized formats that Bookshare offers its members.

  • Bookshare Web Reader - A customized reading tool for Bookshare members offering all the features of DAISY with a single click of the "Read Now" link.
  • DAISY (Digital Accessible Information System) - A digital book file format. DAISY books from Bookshare are DAISY 3.0 text files that work with just about every type of access technology that reads text. Books that contain images will have the download option of ‘DAISY Text with Images’.
  • BRF (Braille Refreshable Format) - Digital Braille for use with refreshable Braille devices and Braille embossers.
  • MP3 (MPEG audio layer 3) - Provides audio only with no text. These books are created with a text-to-speech engine and spoken by Kendra, a high quality synthetic voice from Ivona. Any device that supports MP3 playback is compatible.
  • DAISY Audio - Similar to the DAISY option above; however, this option uses MP3 files created with our text-to-speech engine that utilizes Ivonas Kendra voice. This format will work with Daisy Audio compatible players such as Victor Reader Stream and Read2Go.
  • EPUB - A standard e-book format that can be read on many tools, such as iBooks, Readium or others.
  • Word - Accessible Word output, which can be unzipped and opened in any tool that allows .docx files

6 result found.

Title ISBN Author Copyright
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #5700) 9783642041648 Jens Palsberg 2009
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science #1824) 9783540450993 Jens Palsberg 2000
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science #10747) 9783319737218 Isil Dillig, Jens Palsberg 2018
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings (Lecture Notes in Computer Science #5673) 9783642032370 Jens Palsberg, Zhendong Su 2009
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings (Lecture Notes in Computer Science #3920) 9783540330578 Holger Hermanns, Jens Palsberg 2006
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science #5156) 9783540851141 Klaus Havelund, Rupak Majumdar, Jens Palsberg 2008