يعرض 1 - 11 نتائج من 11 نتيجة بحث عن '"Bruns, Carsten"', وقت الاستعلام: 0.38s تنقيح النتائج
  1. 1
    Dissertation/ Thesis
  2. 2
  3. 3
    Conference

    المؤلفون: Bruns, Carsten, Touati, Sid

    المساهمون: Logical Time for Formal Embedded System Design (KAIROS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)

    المصدر: HPCS 2020 - 18th International Conference on High Performance Computing & Simulation ; https://inria.hal.science/hal-03195799 ; HPCS 2020 - 18th International Conference on High Performance Computing & Simulation, Mar 2021, Virtual, Spain

    جغرافية الموضوع: Virtual, Spain

  4. 4
    Electronic Resource
  5. 5
    Dissertation/ Thesis

    المؤلفون: Bruns, Carsten

    المساهمون: Béthune, Julien

    مصطلحات موضوعية: 570: Biowissenschaften, Biologie, ddc:570

    وصف الملف: application/pdf

  6. 6
    Report

    المؤلفون: Bruns, Carsten, Touati, Sid

    المساهمون: Logical Time for Formal Embedded System Design (KAIROS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA), COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), INRIA Sophia-Antipolis Méditerranée, Université Côte d'Azur, CNRS, I3S, France

    المصدر: https://inria.hal.science/hal-02404346 ; [Research Report] RR-9311, INRIA Sophia-Antipolis Méditerranée; Université Côte d'Azur, CNRS, I3S, France. 2019.

  7. 7
    Patent
  8. 8
    Patent
  9. 9
    Patent
  10. 10
    Patent
  11. 11
    Periodical

    المصدر: Harvard Business Manager; dez2012, Vol. 34, p104-105, 2p