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

20 results found.

Title ISBN Author Copyright
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers (Lecture Notes in Computer Science #7787) 9783642392771 Shaoying Liu 2013
Formal Engineering for Industrial Software Development: Using the SOFL Method 9783662072875 Shaoying Liu 2004
Agile-SOFL: Agile Formal Engineering Method 9789819722853 Shaoying Liu 2024
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8332) 9783319049151 Shaoying Liu, Zhenhua Duan 2014
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8979) 9783319174044 Shaoying Liu, Zhenhua Duan 2015
Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers (Lecture Notes in Computer Science #9559) 9783319312200 Shaoying Liu, Zhenhua Duan 2016
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13854) 9783031294761 Shaoying Liu, Zhenhua Duan, Ai Liu 2023
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science #10009) 9783319478463 Kazuhiro Ogata, Mark Lawford, Shaoying Liu 2016
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings (Lecture Notes in Computer Science #5256) 9783540881940 Shaoying Liu, Tom Maibaum, Keijiro Araki 2008
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers (Lecture Notes in Computer Science #10189) 9783319577081 Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya 2017
Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10795) 9783319901046 Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan 2018
Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11392) 9783030136512 Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya 2019
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers (Lecture Notes in Computer Science #12028) 9783030414184 Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan 2020
Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers (Lecture Notes in Computer Science #12723) 9783030774745 Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan 2021
Container Port Production and Management 9789811024283 Bo Lu, Shouyang Wang 2017
Critical Factors for Berth Productivity in Container Terminal 9789811024313 Bo Lu, Shouyang Wang 2017
Information Spillover Effect and Autoregressive Conditional Duration Models (Routledge Advances in Risk Management) 9781317667650 Xiangli Liu, Yanhui Liu, Yongmiao Hong, Shouyang Wang 2015
Information Spillover Effect and Autoregressive Conditional Duration Models (Routledge Advances in Risk Management) 9781317667667 Xiangli Liu, Yanhui Liu, Yongmiao Hong, Shouyang Wang 2015
Green Transportation and Energy Consumption in China (Routledge Advances in Risk Management) 9781351711982 Jian Chai, Ying Yang, Quanying Lu, Limin Xing, Ting Liang, Kin Keung Lai, Shouyang Wang 2017
Green Transportation and Energy Consumption in China (Routledge Advances in Risk Management) 9781351711975 Jian Chai, Ying Yang, Quanying Lu, Limin Xing, Ting Liang, Kin Keung Lai, Shouyang Wang 2017