K. Sandeep

K Sandeep (born 3 April 1973) is an Indian mathematician specialising in elliptic partial differential equations. He was awarded the Shanti Swarup Bhatnagar Prize for Science and Technology, the highest science award in India, for the year 2015 in mathematical science category. He is affiliated to the TIFR Centre for Applicable Mathematics, Bangalore. Provided by Wikipedia
Showing 1 - 13 results of 13 for search 'Sandeep, K.', query time: 0.03s Refine Results
  1. 1
    Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
    by Shukla, Sandeep K
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
    by Singh, Gaurav, Shukla, Sandeep K.
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Ingredients for Successful System Level Design Methodology
    by Patel, Hiren D., Shukla, Sandeep K.
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
    by Patel, Hiren D., Shukla, Sandeep K.
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Thermal processing of foods : control and automation /
    Published 2011
    Other Authors: “…Sandeep, K. P.…”
    Full Text via HEAL-Link
    eBook
  6. 6
    SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
    by Patel, Hiren D.
    Published 2005
    Other Authors: “…Shukla, Sandeep K.…”
    Get full text
    Electronic Kit Book
  7. 7
    Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
    by Singh, Gaurav
    Published 2010
    Other Authors: “…Shukla, Sandeep K…”
    Get full text
    Electronic Kit Book
  8. 8
    Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz /
    Published 2009
    Other Authors: “…Shukla, Sandeep K.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Nano, Quantum and Molecular Computing Implications to High Level Design and Validation /
    Published 2004
    Other Authors: “…Shukla, Sandeep K.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
    Published 2010
    Other Authors: “…Shukla, Sandeep K.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Nano, quantum and molecular computing : Implications to high level design and validation ; Edited by Sandeep K. Shukla and R. Iris Bahar.
    Published 2004
    Other Authors: “…Shukla, Sandeep K.…”
    Book
  12. 12
    Concentration Analysis and Applications to PDE ICTS Workshop, Bangalore, January 2012 /
    Published 2013
    Other Authors: “…Sandeep, K.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings /
    Published 2009
    Other Authors: “…Gupta, Sandeep K. S.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search