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

9 result found.

Title ISBN Author Copyright
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Lecture Notes in Computer Science #8413) 9783642548628 Erika Ábrahám, Klaus Havelund 2014
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science #9058) 9783319175249 Klaus Havelund, Gerard Holzmann, Rajeev Joshi 2015
SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science #1885) 9783540452973 Klaus Havelund, John Penix, Willem Visser 2000
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
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13260) 9783031067730 Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez 2022
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science #10951) 9783319955827 Klaus Havelund, Jan Peleska, Bill Roscoe, Erik De Vink 2018
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science #6617) 9783642203985 Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi 2011
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers (Lecture Notes in Computer Science #4262) 9783540497035 Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff 2006
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science #6418) 9783642166129 Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann 2010