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
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (Monographs in Theoretical Computer Science. An EATCS Series) 9783319555591 Roberto Gorrieri 2017
Introduction to Concurrency Theory: Transition Systems and CCS (Texts in Theoretical Computer Science. An EATCS Series) 9783319214917 Roberto Gorrieri, Cristian Versari 2015
Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures (Lecture Notes in Computer Science #4677) 9783540748106 Alessandro Aldini, Roberto Gorrieri 2007
Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures (Lecture Notes in Computer Science #6858) 9783642230820 Alessandro Aldini, Roberto Gorrieri 2011
Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science #2171) 9783540456087 Riccardo Focardi, Roberto Gorrieri 2001
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science #4037) 9783540348955 Roberto Gorrieri, Heike Wehrheim 2006
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures (Lecture Notes in Computer Science #2946) 9783540246312 Riccardo Focardi, Roberto Gorrieri 2004
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 (Lecture Notes in Computer Science #5688) 9783642038457 Pierpaolo Degano, Roberto Gorrieri 2009
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy (IFIP Advances in Information and Communication Technology #10) 9780387355627 Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri 1999
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science #5705) 9783642038297 Alessandro Aldini, Gilles Barthe, Roberto Gorrieri 2009
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures (Lecture Notes in Computer Science #3655) 9783540319368 Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli 2005