Browse Results What Download Format Should I Choose?

Showing 1 through 2 of 2 results

Satyajit Ray on Cinema

by Sandip Ray Satyajit 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 download format based upon: 1) how you want to read your book, and 2) compatibility with your reading tool. For more details, visit the Formats page under the Getting Started tab.

See and hear words read aloud
  • DAISY Text - See words on the screen and hear words being read aloud with the text-to-speech voice installed on your reading tool. Navigate by page, chapter, section, and more. Can also be used in audio-only mode. Compatible with many reading tools, including Bookshare’s free reading tools.
  • DAISY Text with Images - Similar to DAISY Text with the addition of images within the Text. Your reading tool must support images.
  • Read Now with Bookshare Web Reader - Read and see images directly from your Internet browser without downloading! Text-to-speech voicing and word highlighting are available on Google Chrome (extension installation required). Other browsers can be used with limited features. Learn more
Listen to books with audio only
  • DAISY Audio - Listen to books in audio-only mode with the high-quality Kendra voice by Ivona pre-installed. Navigate by page, chapter, section, and more. Must be used with a DAISY Audio compatible reading tool.
  • MP3 - Listen to books in audio-only mode with the high-quality Kendra voice by Ivona pre-installed. Navigate using tracks. Can be used with any MP3 player.
Read in Braille
  • BRF (Braille Ready Format) - Read with any BRF compatible refreshable braille display; navigate using the search or find feature.
  • DAISY Text - Read with any DAISY 3.0 compatible refreshable braille display, navigate by page, chapter, section, and more.
  • Embossed Braille - Use Bookshare’s DAISY Text or BRF formats to generate embossed braille.