Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [shs.litt]humanities and social sciences/literature 347 Treffer
- [shs.geo]humanities and social sciences/geography 274 Treffer
- [sdv]life sciences [q-bio] 257 Treffer
- [shs]humanities and social sciences 250 Treffer
- coq 202 Treffer
-
45 weitere Werte:
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 182 Treffer
- [info]computer science [cs] 169 Treffer
- [shs.socio]humanities and social sciences/sociology 162 Treffer
- [shs.hist]humanities and social sciences/history 159 Treffer
- hist 151 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 119 Treffer
- computingmilieux_miscellaneous 106 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 101 Treffer
- [sde]environmental sciences 94 Treffer
- [shs.scipo]humanities and social sciences/political science 91 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 80 Treffer
- [sde.ie]environmental sciences/environmental engineering 79 Treffer
- [shs.eco]humanities and social sciences/economics and finance 75 Treffer
- guillaume de machaut 72 Treffer
- [shs.droit]humanities and social sciences/law 69 Treffer
- assistant de preuve 65 Treffer
- [shs.envir]humanities and social sciences/environmental studies 62 Treffer
- [shs.archeo]humanities and social sciences/archaeology and prehistory 60 Treffer
- scipo 60 Treffer
- [shs.anthro-se]humanities and social sciences/social anthropology and ethnology 55 Treffer
- [info.info-dc]computer science [cs]/distributed 53 Treffer
- and cluster computing [cs.dc] 53 Treffer
- parallel 53 Treffer
- [sdv.ba]life sciences [q-bio]/animal biology 51 Treffer
- methodes formelles 50 Treffer
- art 49 Treffer
- [shs.musiq]humanities and social sciences/musicology and performing arts 48 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 44 Treffer
- [shs.langue]humanities and social sciences/linguistics 44 Treffer
- gallus gallus 44 Treffer
- preuve formelle 44 Treffer
- proof assistant 42 Treffer
- [shs.class]humanities and social sciences/classical studies 41 Treffer
- theorie des types 41 Treffer
- [shs.phil]humanities and social sciences/philosophy 40 Treffer
- [sdv.gen.ga]life sciences [q-bio]/genetics/animal genetics 38 Treffer
- [spi]engineering sciences [physics] 35 Treffer
- lyrisme 35 Treffer
- type theory 34 Treffer
- certification 33 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 32 Treffer
- [math]mathematics [math] 32 Treffer
- [sdv] life sciences [q-bio] 32 Treffer
- essaims de robots mobiles 32 Treffer
- lang 32 Treffer
Verlag
- cnrs editions 69 Treffer
- cirad 45 Treffer
- vertigo 29 Treffer
- itavi - institut technique de l'aviculture 28 Treffer
- l'harmattan 22 Treffer
-
45 weitere Werte:
- societe francaise d'economie rurale 22 Treffer
- droz 21 Treffer
- honore champion 21 Treffer
- presses de sciences po 21 Treffer
- presses universitaires de provence 20 Treffer
- quae 20 Treffer
- inra 18 Treffer
- sfer 18 Treffer
- armand colin 17 Treffer
- art-dev 16 Treffer
- edp sciences 16 Treffer
- inra editions 16 Treffer
- inrae 16 Treffer
- serena 16 Treffer
- atlande 15 Treffer
- presses universitaires de rennes 15 Treffer
- eres 14 Treffer
- reseau « developpement durable et territoires fragiles » 13 Treffer
- lexisnexis 12 Treffer
- societe de langues et litteratures medievales d'oc et d'oil (sllmoo) 11 Treffer
- societe mathematique de france 11 Treffer
- societe chimique de france (scf) 10 Treffer
- association francaise pour l'etude des sols (afes) 9 Treffer
- centre max weber 9 Treffer
- classiques garnier 9 Treffer
- fayard 9 Treffer
- inria 9 Treffer
- instrumentum 9 Treffer
- lavoisier 9 Treffer
- groupe france agricole 8 Treffer
- institut de l'economie sociale 8 Treffer
- la garde : faculte des lettres et sciences humaines - universite de toulon et du var 8 Treffer
- lbm 8 Treffer
- umr 8504 geographie-cites 8 Treffer
- anr 7 Treffer
- laboratoire national de metrologie et d'essais (lne) 7 Treffer
- ministere de l'agriculture, de l'alimentation, de la peche, de la ruralite et de l'amenagement du territoire 7 Treffer
- paradigme 7 Treffer
- presses de sciences po (pfnsp) 7 Treffer
- presses universitaires de france 7 Treffer
- pub 7 Treffer
- pup 7 Treffer
- pups 7 Treffer
- association etudes episteme 6 Treffer
- ausonius editions 6 Treffer
Publikation
- hyper article en ligne - sciences de l'homme et de la societe 25 Treffer
- issn: 1492-8442 18 Treffer
- issn: 0013-0559 14 Treffer
- issn: 1293-8882 14 Treffer
- issn: 0151-9093 12 Treffer
-
45 weitere Werte:
- issn: 1772-9971 12 Treffer
- https://shs.hal.science/halshs-02071681 ; [0] saisine n° 2014-sa-0016, anses. 2016, 345 p 10 Treffer
- issn: 0224-8999 ; la gazette des mathematiciens ; https://hal.science/hal-03979238 ; la gazette des mathematiciens, 2022, 174 10 Treffer
- issn: 1166-7699 10 Treffer
- https://hal.science/hal-02054506 ; [rapport de recherche] mission de recherche droit & justice. 2018, http://www.gip-recherche-justice.fr/wp-content/uploads/2018/05/15-24-rapport-final_%c3%89tat-civil-de-demain-et-transidentit%c3%a9_mai-2018.pdf 9 Treffer
- issn: 0338-2338 9 Treffer
- issn: 0752-4072 ; eissn: 2116-5920 9 Treffer
- issn: 1252-6851 ; etude et gestion des sols ; https://hal.science/hal-03744198 ; etude et gestion des sols, 2022, 29, pp.153-167 9 Treffer
- https://hal.science/hal-04193484 ; [rapport de recherche] eveha - etudes et valorisations archeologiques (limoges); service regional de l'archeologie centre-val de loire. 2022, pp.416 8 Treffer
- issn: 1278-3366 8 Treffer
- issn: 1492-8442 ; vertigo : la revue electronique en sciences de l'environnement 8 Treffer
- issn: 1958-5853 8 Treffer
- issn: 0001-7728 7 Treffer
- issn: 1680-0443 ; eissn: 1680-0443 7 Treffer
- issn: 1772-1792 7 Treffer
- issn: 2116-5289 7 Treffer
- issn: 2260-0965 ; gouvernement & action publique ; https://shs.hal.science/halshs-03590680 ; gouvernement & action publique, 2021, 2021/3 (10), pp.9-42. ⟨10.3917/gap.213.0009⟩ 7 Treffer
- issn: 2263-4746 ; eissn: 1277-7897 7 Treffer
- dynamiques urbaines & enjeux sanitaires ; https://hal.science/hal-01158335 ; dynamiques urbaines & enjeux sanitaires, sep 2013, nanterre, france 6 Treffer
- issn: 0014-0481 6 Treffer
- issn: 0027-2841 6 Treffer
- issn: 0032-3632 ; eissn: 2268-3798 ; pollution atmospherique : climat, sante, societe 6 Treffer
- issn: 0335-7899 6 Treffer
- issn: 0990-0632 6 Treffer
- issn: 1275-7535 6 Treffer
- issn: 1278-3986 6 Treffer
- issn: 1634-0450 6 Treffer
- spatial analysis and geomatics (sageo) ; https://hal.science/hal-01426617 ; spatial analysis and geomatics (sageo), dec 2016, nice, france 6 Treffer
- 16emes journees nationales microondes ; https://hal.science/hal-00408458 ; 16emes journees nationales microondes, may 2009, grenoble, france. pp.6e-2 session affiche 5 Treffer
- algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02115611 ; algotel 2019 - 21emes rencontres francophones sur les aspects algorithmiques des telecommunications, jun 2019, saint laurent de la cabrerisse, france. pp.1-4 ; https://www.irit.fr/algotel2019/ 5 Treffer
- algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-02871295 ; algotel 2020 - 22emes rencontres francophones sur les aspects algorithmiques des telecommunications, sep 2020, lyon, france 5 Treffer
- algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications ; https://hal.science/hal-03219933 ; algotel 2021 - 23emes rencontres francophones sur les aspects algorithmiques des telecommunications, 2021, la rochelle, france 5 Treffer
- archive ouverte d'inrae 5 Treffer
- colloque genomique des animaux d'elevage, seignosse-le-penon ; https://hal.inrae.fr/hal-02759039 ; colloque genomique des animaux d'elevage, seignosse-le-penon, may 2003, seignosse-le-peignon, france 5 Treffer
- https://hal.science/hal-02307581 ; emmanuel buron; jean-claude muhlethaler; olivier halevy; jean-charles monferran. classiques garnier, pp.13-194, 2015, la muse et le compas : poetiques a l'aube de l'age moderne. anthologie 5 Treffer
- https://shs.hal.science/halshs-01822123 ; brepols publishers, a paraitre, 978-2-503-59024-0 ; http://www.brepols.net/pages/showproduct.aspx?prod_id=is-9782503590240-1 5 Treffer
- https://theses.hal.science/tel-03177641 ; ecologie, environnement. universite paris sciences et lettres, 2020. francais. ⟨nnt : 2020upslp041⟩ 5 Treffer
- issn: 0065-0536 5 Treffer
- issn: 0999-193x 5 Treffer
- issn: 1165-0354 5 Treffer
- issn: 1634-4073 5 Treffer
- issn: 2824-3633 5 Treffer
- manifestes litteraires dans la latinite tardive ; https://shs.hal.science/halshs-03880179 ; perrine galand-hallyn et vincent zarini. manifestes litteraires dans la latinite tardive, institut d'etudes augustiniennes, pp.35-50, 2009, 978-2-85121-234-4 5 Treffer
- reecrire les saintes ecritures ; https://shs.hal.science/halshs-03880152 ; gilbert dahan. reecrire les saintes ecritures, supplement n°158, le cerf, p. 51-63, 2012, cahiers evangile, 9772204371491 5 Treffer
- 10emes journees de l'ecologie fonctionnelle (jef 2008) ; https://hal.umontpellier.fr/hal-02266651 ; 10emes journees de l'ecologie fonctionnelle (jef 2008), apr 2008, la grande-motte, france 4 Treffer
Geographischer Bezug
3.196 Treffer
-
In: 35es Journées Francophones des Langages Applicatifs (JFLA 2024) ; https://inria.hal.science/hal-04407164 ; 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France, 2024Online KonferenzZugriff:
-
In: ISSN: 2609-5742, 2020Online academicJournalZugriff:
-
In: ISSN: 1627-0908 ; Programmez ! ; https://inria.hal.science/hal-04219914 ; Programmez !, 2023, 256, pp.35, 2023Online academicJournalZugriff:
-
In: https://hal.inrae.fr/hal-03248658 ; [Stage] INRAE. 2021, 2021Online reportZugriff:
-
In: https://theses.hal.science/tel-04165484 ; Logique en informatique [cs.LO]. Université Paris-Saclay, 2023. Français. ⟨NNT : 2023UPASG040⟩, 2023Online HochschulschriftZugriff:
-
In: 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras ; https://hal.inrae.fr/hal-03797364 ; 14. Journées de la Recherche Avicole et Palmipèdes à Foie gras, Mar 2022, Tours, France, 2022Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; JFLA 2022 - Journées Francophones des Langages Applicatifs ; https://hal.science/hal-03604902 ; JFLA 2022 - Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France ; http://jfla.inria.fr/jfla2022.html, 2022Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; 33èmes Journées Francophones des Langages Applicatifs ; https://hal.inria.fr/hal-03626860 ; 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.272-281 ; http://jfla.inria.fr/jfla2022.html, 2022Online KonferenzZugriff:
-
In: Journées Francophones des Langages Applicatifs ; 33èmes Journées Francophones des Langages Applicatifs ; https://inria.hal.science/hal-03626792 ; 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.61-77, 2022Online KonferenzZugriff:
-
In: ISSN: 0001-7728, 2019Online academicJournalZugriff:
-
In: Ecole Jeunes Chercheuses et Chercheurs en Informatique Mathématique ; https://hal.science/hal-03709703 ; Ecole Jeunes Chercheuses et Chercheurs en Informatique Mathématique, Maison de la Modélisation, 2022KonferenzZugriff:
-
In: Journées Francophones des langages applicatifs ; https://hal.science/hal-03463839 ; Journées Francophones des langages applicatifs, Apr 2021, virtuel, France, 2021Online KonferenzZugriff:
-
In: ISSN: 1630-8018, 2021Online academicJournalZugriff:
-
In: ISSN: 1630-8018, 2021Online academicJournalZugriff:
-
In: Les vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016) ; https://hal.inria.fr/hal-01228612 ; Les vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jade Algave; Julien Signoles, Jan 2016, Saint Malo, France. pp.15 ; http://jfla.inria.fr/2016/, 2016Online KonferenzZugriff:
-
In: Actes JFLA 2020 ; Trente-et-unièmes Journées Francophones des Langages Applicatifs (JFLA 2020) ; https://hal.archives-ouvertes.fr/hal-02434736 ; Trente-et-unièmes Journées Francophones des Langages Applicatifs (JFLA 2020), Jan 2020, Gruissan, France. pp.23-30, 2020Online KonferenzZugriff:
-
In: ISSN: 2824-3633, 2020Online academicJournalZugriff:
-
In: Rencontres de Musicologie Médiévale. Penser la musicologie médiévale aujourd'hui : interactions recherche et recherche-action, 2023KonferenzZugriff:
-
In: https://theses.hal.science/tel-03202580 ; Traitement du signal et de l'image [eess.SP]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG016⟩, 2021Online HochschulschriftZugriff: