Showing 1 - 13 results of 13 for search 'Devadas, Srinivas', query time: 0.05s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Secure processors part II Intel SGX security analysis and MIT Sanctum architecture

    Secure processors part II Intel SGX security analysis and MIT Sanctum architecture by Costan, Victor, Lebedev, Ilia, Devadas, Srinivas 1963-

    Published 2017
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Exact algorithms for output encoding, state assignment and four-level boolean minimization

    Exact algorithms for output encoding, state assignment and four-level boolean minimization by Devadas, Srinivas 1963-, Newton, A. R.

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Techniques for optimization-based synthesis of digital systems

    Techniques for optimization-based synthesis of digital systems by Devadas, Srinivas 1963-

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Secure processors part I background, taxonomy for secure enclaves and Intel SGX architecture

    Secure processors part I background, taxonomy for secure enclaves and Intel SGX architecture by Costan, Victor, Lebedev, Ilia, Devadas, Srinivas 1963-

    Published 2017
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    Computer-Aided Design Techniques for Low Power Sequential Logic Circuits

    Computer-Aided Design Techniques for Low Power Sequential Logic Circuits by Monteiro, José, Devadas, Srinivas

    Published 1997
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Sequential logic testing and verification

    Sequential logic testing and verification by Ghosh, Abhijit, Devadas, Srinivas 1963-, Newton, Arthur R.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Programming for the puzzled learn to program while solving puzzles

    Programming for the puzzled learn to program while solving puzzles by Devadas, Srinivas 1963-

    Published 2017
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Computer aided design techniques for low power sequential logic circuits

    Computer aided design techniques for low power sequential logic circuits by Monteiro, José, Devadas, Srinivas 1963-

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Logic synthesis

    Logic synthesis by Devadas, Srinivas 1963-, Ghosh, Abhijit, Keutzer, Kurt

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Sequential logic synthesis

    Sequential logic synthesis by Ashar, Pranav, Devadas, Srinivas 1963-, Newton, Arthur R.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Sequential Logic Synthesis

    Sequential Logic Synthesis by Ashar, Pranav, Devadas, Srinivas, Newton, A. Richard

    Published 1992
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  12. 12
    Sequential Logic Testing and Verification

    Sequential Logic Testing and Verification by Ghosh, Abhijit, Devadas, Srinivas, Newton, A. Richard

    Published 1992
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  13. 13
    VLSI: Systems on a Chip IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI ’99) December 1–4, 1999, Lisboa, Portugal

    VLSI: Systems on a Chip IFIP TC10 WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI ’99) December 1–4, 1999, Lisboa, Portugal

    Published 2000
    Other Authors:
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:

Search Tools: