يعرض 1 - 10 نتائج من 21 نتيجة بحث عن '"Shah, Bhakti"', وقت الاستعلام: 0.78s تنقيح النتائج
  1. 1
    تقرير
    How We Built Cedar: A Verification-Guided Approach

    المؤلفون: Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew

    مصطلحات موضوعية: Computer Science - Software Engineering

    URL الوصول: http://arxiv.org/abs/2407.01688

    أضف إلى المفضلة
  2. 2
    تقرير
    ViCAR: Visualizing Categories with Automated Rewriting in Coq

    المؤلفون: Shah, Bhakti, Spencer, William, Zielinski, Laura, Caldwell, Ben, Lehmann, Adrian, Rand, Robert

    مصطلحات موضوعية: Computer Science - Programming Languages, Mathematics - Category Theory

    URL الوصول: http://arxiv.org/abs/2404.08163

    أضف إلى المفضلة
  3. 3
    تقرير
    VyZX: Formal Verification of a Graphical Quantum Language

    المؤلفون: Lehmann, Adrian, Caldwell, Ben, Shah, Bhakti, Rand, Robert

    مصطلحات موضوعية: Computer Science - Programming Languages, Quantum Physics

    URL الوصول: http://arxiv.org/abs/2311.11571

    أضف إلى المفضلة
  4. 4
    دورية أكاديمية

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

    View this record from ISI Web of Science
    أضف إلى المفضلة
  5. 5
    كتاب إلكتروني
    Anticoagulation in the Elderly

    المؤلفون: Harisingani, RuchikaAff4, Ali, Ibrahim M.Aff5, Shah, BhaktiAff4, Pereira, SalonieAff4

    المساهمون: Lau, Joe F., editorAff1, Barnes, Geoffrey D., editorAff2, Streiff, Michael B., editorAff3

    المصدر: Anticoagulation Therapy. :409-424

    أضف إلى المفضلة
  6. 6
    دورية
    IRS is time-barred from assessing gift tax.

    المؤلفون: Silversmith, David R., Gupta, Mani, Shah, Bhakti

    المصدر: Journal of Accountancy; Sep2023, p28-33, 6p

    مصطلحات موضوعية: GIFT taxes, FORECLOSURE, INCIDENTAL learning, FINANCIAL literacy, GOVERNMENT policy, INCOME tax, CHARITABLE giving

    الشركة/الكيان: UNITED States. Internal Revenue Service, J. Paul Getty Museum

    Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية

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

    View this record from ISI Web of Science
    أضف إلى المفضلة
  8. 8
    Scapular Resting Position and Gleno-Humeral Movement Dysfunction in Asymptomatic Racquet Players: A Case-Control Study

    المؤلفون: Apurv Shimpi, Karnik Roshni, Savita Rairikar, Shah Bhakti, Ashok Shyam, Parag K Sancheti

    المصدر: Asian Journal of Sports Medicine

    مصطلحات موضوعية: medicine.medical_specialty, business.industry, Movement, Injury Rate, Racquet Sports, Injury rate, Popularity, Asymptomatic, Position (obstetrics), Physical therapy, Asian country, Medicine, Orthopedics and Sports Medicine, medicine.symptom, business, human activities, Research Article

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::952aa3ad25aac648379fcb309d22af37
    https://doi.org/10.5812/asjsm.24053

    Find this article in full text from ProQuest
    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    Polarity Independent Effects of Cerebellar tDCS on Short Term Ankle Visuomotor Learning

    المؤلفون: Shah, Bhakti, Nguyen, Tai Tri, Madhavan, Sangeetha

    المصدر: In Brain Stimulation November 2013 6(6):966-968

    View record from ScienceDirect Full Text via ClinicalKey Full Text Finder
    أضف إلى المفضلة
  10. 10
    دورية
    Checks written before death are includible in decedent's estate.

    المؤلفون: Silversmith, David R., Gupta, Mani, Shah, Bhakti

    المصدر: Journal of Accountancy; Nov2022, Vol. 234 Issue 5, p1-2, 2p

    مصطلحات موضوعية: DECEDENTS' estates, CHECKS, INHERITANCE & transfer tax

    Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء