-
1
-
2Academic Journal
المؤلفون: BERTRAND, Nathalie
المصدر: Sciences, Eaux & Territoires, Vol 2016, Iss 21, Pp 2-5 (2016)
مصطلحات موضوعية: Gestion, Territoires, Écosystèmes, Biodiversité, Services écosystémiques, Sol, Environmental technology. Sanitary engineering, TD1-1066, Environmental sciences, GE1-350
وصف الملف: electronic resource
-
3Academic Journal
المؤلفون: BERTRAND, Nathalie
المصدر: Sciences, Eaux & Territoires, Vol 2016, Iss 19, Pp 2-5 (2016)
مصطلحات موضوعية: Environnement, Gestion, Foncier agricole, Territoires, Environmental technology. Sanitary engineering, TD1-1066, Environmental sciences, GE1-350
وصف الملف: electronic resource
-
4Academic Journal
المؤلفون: LÉGER-BOSCH, Christine, BERTRAND, Nathalie
المصدر: Sciences, Eaux & Territoires, Vol 2015, Iss 17, Pp 66-71 (2015)
مصطلحات موضوعية: INNOVATION, TERRITOIRES, FONCIER, AGRICOLE, Environmental technology. Sanitary engineering, TD1-1066, Environmental sciences, GE1-350
وصف الملف: electronic resource
-
5Report
المؤلفون: Fijalkow, Nathanaël, Bertrand, Nathalie, Bouyer-Decitre, Patricia, Brenguier, Romain, Carayol, Arnaud, Fearnley, John, Gimbert, Hugo, Horn, Florian, Ibsen-Jensen, Rasmus, Markey, Nicolas, Monmege, Benjamin, Novotný, Petr, Randour, Mickael, Sankur, Ocan, Schmitz, Sylvain, Serre, Olivier, Skomra, Mateusz
مصطلحات موضوعية: Computer Science - Computer Science and Game Theory, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2305.10546
-
6Report
المؤلفون: Bertrand, Nathalie, Gramoli, Vincent, Konnov, Igor, Lazić, Marijana, Tholoniat, Pierre, Widder, Josef
مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Formal Languages and Automata Theory
URL الوصول: http://arxiv.org/abs/2206.04489
-
7Report
المؤلفون: Bertrand, Nathalie, Markey, Nicolas, Sankur, Ocan, Waldburger, Nicolas
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2204.11670
-
8Dissertation/ Thesis
المؤلفون: Bertrand, Nathalie
وصف الملف: application/pdf
الاتاحة: http://oatao.univ-toulouse.fr/7682/1/bertrand.pdf
-
9Academic Journal
المؤلفون: BERTRAND, Nathalie
المصدر: Sciences, Eaux & Territoires, Vol 2014, Iss 13, Pp 3-3 (2014)
مصطلحات موضوعية: Gouvernance, Développement, Territoires, Enjeux, Recherche, Environmental technology. Sanitary engineering, TD1-1066, Environmental sciences, GE1-350
وصف الملف: electronic resource
-
10Book
المؤلفون: Fijalkow, Nathanaël, Bertrand, Nathalie, Bouyer, Patricia, Brenguier, Romain, Carayol, Arnaud, Fearnley, John, Gimbert, Hugo, Horn, Florian, Ibsen-Jensen, Rasmus, Markey, Nicolas, Monmege, Benjamin, Novotny, Petr, Randour, Mickael, Sankur, Ocan, Schmitz, Sylvain, Serre, Olivier, Skomra, Mateusz
المساهمون: 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⟩.
مصطلحات موضوعية: Computer Science and Game Theory (cs.GT), Formal Languages and Automata Theory (cs.FL), Logic in Computer Science (cs.LO), [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2305.10546; ARXIV: 2305.10546
-
11Report
المؤلفون: Bertrand, Nathalie, Markey, Nicolas, Sadhukhan, Suman, Sankur, Ocan
مصطلحات موضوعية: Computer Science - Computer Science and Game Theory
URL الوصول: http://arxiv.org/abs/2009.13632
-
12Report
-
13Report
المؤلفون: Bertrand, Nathalie, Bouyer, Patricia, Majumdar, Anirban
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2008.03770
-
14Academic Journal
المؤلفون: Kassis, Grâce, Bertrand, Nathalie
المساهمون: Région Auvergne-Rhône-Alpes
المصدر: Policy Studies Journal ; ISSN 0190-292X 1541-0072
-
15Academic Journal
المؤلفون: Da Calva Mouillevois, Thomas, Rivière, Clément, Plaisantin, Hervé, Roger, Jérôme, Hungria, Teresa, Chollon, Georges, Bertrand, Nathalie
المساهمون: 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⟩.
مصطلحات موضوعية: Chemical Vapor Deposition, Fluidized Bed, Boron nitride, Physico-chemical characterization, Coating, [CHIM.MATE]Chemical Sciences/Material chemistry, [CHIM.INOR]Chemical Sciences/Inorganic chemistry
-
16Academic Journal
المؤلفون: COMPÈRE, Pierre, BERTRAND, Nathalie, BONACINA, Karine, BONNEAU, Mélanie, HALMA, Alain, URRUTY, Nicolas
المصدر: 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
مصطلحات موضوعية: gestion de l'eau, agriculture, sécheresse, demande en eau, économie d'eau, water management, drought, water demand, water efficiency
وصف الملف: application/pdf; text/xml; text/html
-
17Report
المؤلفون: Bertrand, Nathalie, Bouyer, Patricia, Majumdar, Anirban
المصدر: Logical Methods in Computer Science, Volume 17, Issue 1 (March 18, 2021) lmcs:5981
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1912.07042
-
18Academic Journal
المؤلفون: Ayphassorho, Hugues, Sallenave, Michel, Bertrand, Nathalie, Mitteault, François, Rollin, Dominique
المصدر: Annales des Mines - Responsabilité et environnement. 2022, 106(2), p. 81-84.
-
19Report
المصدر: Logical Methods in Computer Science, Volume 15, Issue 3 (July 29, 2019) lmcs:4662
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Electrical Engineering and Systems Science - Systems and Control
URL الوصول: http://arxiv.org/abs/1807.00893
-
20Report
مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68Q87, G.3, F.4.1, D.2.4
URL الوصول: http://arxiv.org/abs/1804.11301