Browse Results What Format Should I Choose?

Showing 1 through 2 of 2 results

Satyajit Ray on Cinema

by Satyajit Ray Sandip Ray Shyam Benegal

Satyajit Ray, one of the greatest auteurs of twentieth century cinema, was a Bengali motion-picture director, writer, and illustrator who set a new standard for Indian cinema with his Apu Trilogy: Pather Panchali (Song of the Little Road) (1955), Aparajito (The Unvanquished) (1956), and Apur Sansar (The World of Apu) (1959). His work was admired for its humanism, versatility, attention to detail, and skilled use of music. He was also widely praised for his critical and intellectual writings, which mirror his filmmaking in their precision and wide-ranging grasp of history, culture, and aesthetics.Spanning forty years of Ray's career, these essays, for the first time collected in one volume, present the filmmaker's reflections on the art and craft of the cinematic medium and include his thoughts on sentimentalism, mass culture, silent films, the influence of the French New Wave, and the experience of being a successful director. Ray speaks on the difficulty of adapting literary works to screen, the nature of the modern film festival, and the phenomenal contributions of Jean-Luc Godard and the Indian actor, director, producer, and singer Uttam Kumar. The collection also features an excerpt from Ray's diaries and reproduces his sketches of famous film personalities, such as Sergei Eisenstein, Charlie Chaplin, and Akira Kurosawa, in addition to film posters, photographs by and of the artist, film stills, and a filmography. Altogether, the volume relays the full extent of Ray's engagement with film and offers extensive access to the thought of one of the twentieth-century's leading Indian intellectuals.

Scalable Techniques for Formal Verification

by Sandip Ray

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

Showing 1 through 2 of 2 results

Help

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 Center.

Here is an overview of the specialized formats that Bookshare offers its members with links that go to the Help Center for more information.

  • 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 3.0 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.