يعرض 1 - 10 نتائج من 46 نتيجة بحث عن '"Kalvala S"', وقت الاستعلام: 1.10s تنقيح النتائج
  1. 1
    مؤتمر
    A process-based semantics for message sequence charts with data

    المؤلفون: Chen, C.-A., Kalvala, S., Sinclair, J.

    المصدر: 2005 Australian Software Engineering Conference Australian Software Engineering Software Engineering Conference, 2005. Proceedings. 2005 Australian. :130-139 2005

    Relation: Proceedings. 2005 Australian Software Engineering Conference

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    HOL Around The World

    المؤلفون: Kalvala, S.

    المصدر: 1991 International Workshop on the HOL Theorem Proving System and Its Applications HOL Theorem Proving System and Its Applications, 1991., International Workshop on the. :4-12 1991

    Relation: 1991 International Workshop on the HOL Theorem Proving System and Its Applications

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Developing An Interface For HOL

    المؤلفون: Kalvala, S.

    المصدر: 1991 International Workshop on the HOL Theorem Proving System and Its Applications HOL Theorem Proving System and Its Applications, 1991., International Workshop on the. :305-317 1991

    Relation: 1991 International Workshop on the HOL Theorem Proving System and Its Applications

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    Convective heat loss prediction from conical cavity receiver of solar parabolic dish collector using numerical method and artificial neural network

    المؤلفون: Abhinav Rajan, Kalvala S. Reddy

    المصدر: Numerical Heat Transfer, Part A: Applications. 83:626-649

    مصطلحات موضوعية: Numerical Analysis, Condensed Matter Physics

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cc2e459fc3a9b5674e0f591a6f686c73
    https://doi.org/10.1080/10407782.2022.2102338

    PDF full text from Publisher
    أضف إلى المفضلة
  5. 5
    مؤتمر
    Race-free scenarios of message sequence charts

    المؤلفون: Chen, C.-A., Kalvala, S., Sinclair, J.

    المصدر: 12th Asia-Pacific Software Engineering Conference (APSEC'05) Asia-Pacific Software Engineering Conference Software Engineering Conference, 2005. APSEC '05. 12th Asia-Pacific. :8 pp. 2005

    Relation: Proceedings. 12th Asia-Pacific Software Engineering Conference

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View this record from ISI Web of Science
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Convective heat loss prediction from conical cavity receiver of solar parabolic dish collector using numerical method and artificial neural network.

    المؤلفون: Rajan, Abhinav, Reddy, Kalvala S.

    المصدر: Numerical Heat Transfer: Part A -- Applications; 2023, Vol. 83 Issue 6, p626-649, 24p

    مصطلحات موضوعية: PARABOLIC reflectors, HEAT losses, HELIOSPHERE, SOLAR receivers, HEAT convection, RAYLEIGH number, CONVECTIVE flow, ARTIFICIAL neural networks

    PDF full text from Publisher Full Text Finder
    أضف إلى المفضلة
  8. 8
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View record in Scopus
    أضف إلى المفضلة
  9. 9
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View record in Scopus
    أضف إلى المفضلة
  10. 10
    HOLLY - An Approach to Object Code Verification

    المؤلفون: Benini, Marco, Kalvala, S., Nowotka, D., Pulley, C.

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3660::948e3f305437785e966455592964b76e
    http://hdl.handle.net/11383/15737

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء