يعرض 1 - 20 نتائج من 1,196 نتيجة بحث عن '"Bertrand, Nathalie"', وقت الاستعلام: 0.59s تنقيح النتائج
  1. 1
    Report
  2. 2
    Academic Journal
  3. 3
    Academic Journal
  4. 4
    Academic Journal
  5. 5
  6. 6
    Report
  7. 7
    Report
  8. 8
    Dissertation/ Thesis
  9. 9
    Academic Journal
  10. 10
    Book

    المساهمون: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Vérification efficace pour des systèmes distribués fiables (DEVINE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), University of Oxford, Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, University of Liverpool, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), SUpervision of large MOdular and distributed systems (SUMO), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Modélisation et Vérification (MOVE), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), IBM, Université de Mons / University of Mons (UMONS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Equipe Polynomial OPtimization (LAAS-POP), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)

    المصدر: https://hal.science/hal-04273394 ; pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩.

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2305.10546; ARXIV: 2305.10546

  11. 11
    Report
  12. 12
    Report
  13. 13
    Report
  14. 14
    Academic Journal
  15. 15
    Academic Journal

    المساهمون: Laboratoire des Composites Thermostructuraux (LCTS), Université de Bordeaux (UB)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Snecma-SAFRAN group-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB), Centre de microcaractérisation Raimond Castaing (Centre Castaing), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)

    المصدر: ISSN: 2196-7350 ; Advanced Materials Interfaces ; https://hal.science/hal-04670488 ; Advanced Materials Interfaces, 2024, ⟨10.1002/admi.202400452⟩.

  16. 16
    Academic Journal

    المصدر: Sciences Eaux & Territoires; No. 45 (2024): Anticipate to Better Plan: What Water Demand for What Agriculture Tomorrow?; article 8169 ; Sciences Eaux & Territoires; No 45 (2024): Anticiper pour mieux planifier : quelle demande en eau pour quelle agriculture demain ?; article 8169 ; 1775-3783 ; 2109-3016

    وصف الملف: application/pdf; text/xml; text/html

  17. 17
    Report

    المصدر: Logical Methods in Computer Science, Volume 17, Issue 1 (March 18, 2021) lmcs:5981

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

  18. 18
    Academic Journal
  19. 19
    Report
  20. 20
    Report