It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by Mek
October 14, 2016 | History
Edit

Sandip Ray

We need a photo of Sandip Ray

5 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Scalable Techniques for Formal Verification

    First published in 2010 — 4 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Satyajit Ray on Cinema

    First published in 2013 — 4 editions
    Preview Only

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Security Policy in System-On-Chip Designs: Specification, Implementation and Verification

    First published in 2018 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Internet of Things. a Confluence of Many Disciplines: Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 - November 1, 2019, Revised Selected Papers

    First published in 2020 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamentals of IP and SoC Security: Design, Verification, and Debug

    First published in 2017 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Sandip Ray

Subjects

Automatic theorem proving, Biography, Computer security, Computer systems, Computer-aided design, Electronic systems, Engineering, Formal methods (Computer science), India, biography, Internet, security measures, Motion picture producers and directors, Motion pictures, Motion pictures, biography, Motion pictures, india, Ray, satyajit, 1922-1992, System design, Systems engineering, Verification

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7343888A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
October 14, 2016 Created by Mek Added new book.