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

11 results found.

Title ISBN Author Copyright
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings (Lecture Notes in Computer Science #10375) 9783319614670 Sebastian Gabmeyer, Einar Broch Johnsen 2017
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science #10886) 9783319929705 Einar Broch Johnsen, Ina Schaefer 2018
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Lecture Notes in Computer Science #9104) 9783319189413 Marco Bernardo, Einar Broch Johnsen 2015
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Lecture Notes in Computer Science #7940) 9783642386138 Einar Broch Johnsen, Luigia Petre 2013
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #9660) 9783319307343 Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen 2016
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science #4468) 9783540729525 Marcello M. Bonsangue, Einar Broch Johnsen 2007
Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings (Lecture Notes in Computer Science #10465) 9783319672625 Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen 2017
Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings (Lecture Notes in Computer Science #9846) 9783319444826 Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski 2016
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #13360) 9783031081668 Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen 2022
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Lecture Notes in Computer Science #8483) 9783319073170 Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer 2014
Active Object Languages: Current Research Trends (Lecture Notes in Computer Science #14360) 9783031510601 Einar Broch Johnsen, Frank De Boer, Reiner Hähnle, Ferruccio Damiani, Eduard Kamburjan 2024