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

18 results found.

Title ISBN Author Copyright
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings (Lecture Notes in Computer Science #9039) 9783319191959 Susanne Graf, Mahesh Viswanathan 2015
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science #4218) 9783540472384 Susanne Graf, Wenhui Zhang 2006
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science #2989) 9783540247326 Susanne Graf, Laurent Mounier 2004
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings (Lecture Notes in Computer Science #1785) 9783540464198 Susanne Graf, Michael Schwartzbach 2000
Models, Mindsets, Meta: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #11200) 9783030223489 Tiziana Margaria, Susanne Graf, Kim G. Larsen 2019
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science #15230) 9783031737510 Susanne Graf, Paul Pettersson, Bernhard Steffen 2025
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science #5382) 9783540921882 Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever 2008
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science #3188) 9783540301011 Frank S. De Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever 2004
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science #3657) 9783540319399 Frank S. De Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever 2005
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science #4709) 9783540747925 Frank S. De Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever 2007
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science #4111) 9783540367505 Frank S. De Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever 2006
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science #2852) 9783540396567 Frank S. De Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul De Roever 2003
Ergänzende und sonstige Leistungen, Zuzahlung (Gabler-Studientexte) 9783663134374 Susanne Greif, Volker Naumann 1993
Psychoanalyse in der Weiterbildung: Zur Professionalisierung sozialer Arbeit 9783663014140 Manfred Clemenz, Christel Beier, Sylvia Buchen, Heinrich Deserno, Adrian Gaertner, Susanne Graf-Deserno 1992
The Nonlinear Limit-Point/Limit-Circle Problem 9780817682187 Miroslav Bartusek, Zuzana Dosla, John R. Graef 2004
The Geopolitics of Renewables (Lecture Notes in Energy #61) 9783319678559 Daniel Scholten, David Criekemans, Thijs van de Graaf, Thomas Sattich, Susann Handke, Marloes Dignum, Rick Bosman, Antonella Battaglini, Duncan Freeman, Nadejda Komendantova, Kanika Chawla, Fritz Reusswig, Sagatom Saha, Varun Sivarum, Karen Smith Stegen 2018
The Question Of Animal Culture 9780674031265 Michael Tomasello, Hal Whitehead, Andrew Whiten, Kim Hill, Janet Mann, W. C. McGrew, Susan Perry, Kim Sterelny, Kevin Laland, Carel Schaik, Brooke Sargeant, Rachel Kendal, Bennett Galef, Kristin Bonnie, Jeremy Kendal 2009
Jungen – Pädagogik: Praxis und Theorie von Genderpädagogik (Kinder, Kindheiten und Kindheitsforschung) 9783531942902 Doro-Thea Chwalek, Miguel Diaz, Susann Fegter, Ulrike Graff 2013