يعرض 1 - 10 نتائج من 26 نتيجة بحث عن '"Jane Lange"', وقت الاستعلام: 0.93s تنقيح النتائج
  1. 1
  2. 2
    دورية أكاديمية
  3. 3
  4. 4

    المساهمون: Computer Science Department [Stanford], Stanford University, Department of Computer Science at Bar Ilan University, Bar-Ilan University [Israël], Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Université de Liège, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est

    المصدر: Journal of Automated Reasoning
    Journal of Automated Reasoning, 2022, 66 (3), pp.331-355. ⟨10.1007/s10817-022-09625-3⟩

  5. 5
    دورية أكاديمية
  6. 6
  7. 7

    المصدر: Dalsgaard, J L, Hansen, M S, Thrysoee, L, Ekholm, O, Thorup, C B, Mols, R, Rasmussen, T B, Christensen, A V, Berg, S K, Pedersen, A K, Jensen, L O, Mogensen, C B & Borregaard, B 2022, ' Self-reported health and adverse outcomes among women living with symptoms of angina or unspecific chest pain but no diagnosis of obstructive coronary artery disease-findings from the DenHeart study ', European Journal of Cardiovascular Nursing . https://doi.org/10.1093/eurjcn/zvac085
    Dalsgaard, J L, Hansen, M S, Thrysoee, L, Ekholm, O, Thorup, C B, Mols, R, Rasmussen, T B, Christensen, A V, Berg, S K, Pedersen, A K, Jensen, L O, Mogensen, C B & Borregaard, B 2023, ' Self-reported health and adverse outcomes among women living with symptoms of angina or unspecific chest pain but no diagnosis of obstructive coronary artery disease-findings from the DenHeart study ', European Journal of Cardiovascular Nursing . https://doi.org/10.1093/eurjcn/zvac085

  8. 8
  9. 9
  10. 10