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

7 result found.

Title ISBN Author Copyright
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Lecture Notes in Computer Science #8453) 9783662454893 Anne Remke, Mariëlle Stoelinga 2014
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science #7437) 9783642324697 Mariëlle Stoelinga, Ralf Pinger 2012
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings (Lecture Notes in Computer Science #11750) 9783030296629 Étienne André, Mariëlle Stoelinga 2019
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Lecture Notes in Computer Science #8054) 9783642401961 Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio 2013
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #13560) 9783031156298 Nils Jansen, Mariëlle Stoelinga, Petra van den Bos 2022
Principles of Verification: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I (Lecture Notes in Computer Science #15260) 9783031757839 Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk 2025
Principles of Verification: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II (Lecture Notes in Computer Science #15261) 9783031757754 Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk 2025