Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 217 Treffer
- [info]computer science [cs] 172 Treffer
- [sdv]life sciences [q-bio] 158 Treffer
- [sde.ie]environmental sciences/environmental engineering 130 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 129 Treffer
-
45 weitere Werte:
- [shs.geo]humanities and social sciences/geography 126 Treffer
- [sde]environmental sciences 121 Treffer
- coq 116 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 94 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 90 Treffer
- [shs.envir]humanities and social sciences/environmental studies 79 Treffer
- [phys]physics [physics] 72 Treffer
- [info.info-dc]computer science [cs]/distributed 60 Treffer
- and cluster computing [cs.dc] 60 Treffer
- parallel 60 Treffer
- [shs]humanities and social sciences 51 Treffer
- [spi]engineering sciences [physics] 46 Treffer
- hist 44 Treffer
- [shs.socio]humanities and social sciences/sociology 38 Treffer
- gallus gallus 36 Treffer
- [info.info-es]computer science [cs]/embedded systems 34 Treffer
- methodes formelles 34 Treffer
- [spi.tron]engineering sciences [physics]/electronics 33 Treffer
- essaims de robots mobiles 32 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 31 Treffer
- spectral hole burning 30 Treffer
- assistant de preuve 27 Treffer
- [sdv.gen.ga]life sciences [q-bio]/genetics/animal genetics 26 Treffer
- [sdv.sa.aep]life sciences [q-bio]/agricultural sciences/agriculture 26 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 26 Treffer
- economy and politics 26 Treffer
- [spi.elec]engineering sciences [physics]/electromagnetism 25 Treffer
- preuve formelle 25 Treffer
- optical frequency metrology 24 Treffer
- ultrastable lasers 24 Treffer
- [sdv.ba]life sciences [q-bio]/animal biology 23 Treffer
- [shs.litt]humanities and social sciences/literature 22 Treffer
- espace euclidien 22 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 21 Treffer
- [info.info-ia]computer science [cs]/computer aided engineering 20 Treffer
- [shs.eco]humanities and social sciences/economics and finance 20 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 19 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification/d.2.4.3: formal methods 19 Treffer
- [math]mathematics [math] 18 Treffer
- acm: c.: computer systems organization/c.2: computer-communication networks/c.2.4: distributed systems 18 Treffer
- envir 18 Treffer
- scipo 18 Treffer
- [chim]chemical sciences 17 Treffer
- [sdv.ot]life sciences [q-bio]/other [q-bio.ot] 17 Treffer
- genome 17 Treffer
Verlag
- hal ccsd 1.719 Treffer
- ieee 52 Treffer
- springer 34 Treffer
- cirad 30 Treffer
- itavi - institut technique de l'aviculture 28 Treffer
-
45 weitere Werte:
- centre pour la communication scientifique directe 27 Treffer
- inra 24 Treffer
- sfer 22 Treffer
- acm 9 Treffer
- anr 7 Treffer
- inra editions 7 Treffer
- springer international publishing 7 Treffer
- electronic proceedings in theoretical computer science 6 Treffer
- itavi 6 Treffer
- societe francaise d'economie rurale 6 Treffer
- cemagref 5 Treffer
- ed. sfgp 5 Treffer
- ird 5 Treffer
- honore champion 4 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 4 Treffer
- utc 4 Treffer
- association pour le developpement de l'institut de la viande 3 Treffer
- discrete mathematics and theoretical computer science 3 Treffer
- dmtcs 3 Treffer
- edp sciences 3 Treffer
- emac 3 Treffer
- inria 3 Treffer
- montpellier supagro 3 Treffer
- presses universitaires de nancy 3 Treffer
- presses universitaires de provence 3 Treffer
- presses universitaires de rouen 3 Treffer
- sepia 3 Treffer
- acm press 2 Treffer
- editions du signe 2 Treffer
- groupe francais de la wpsa 2 Treffer
- nra 2 Treffer
- presses de l'universite de provence 2 Treffer
- pu de provence 2 Treffer
- pups 2 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 2 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 2 Treffer
- scitepress - science and technology publications 2 Treffer
- societe de langue et de litterature medievales d'oc et d'oil 2 Treffer
- springer berlin / heidelberg 2 Treffer
- springer nature switzerland 2 Treffer
- branche francaise de la wpsa 1 Treffer
- ibfi schloss dagstuhl 1 Treffer
- ieee computer society 1 Treffer
- international textile manufacturers federation 1 Treffer
- wapacc organization 1 Treffer
Publikation
- resilience and development: mobilising for transformation 24 Treffer
- building tomorrow's research agenda and bridging the science-policy gap 23 Treffer
- 18th ectqg ; https://hal.science/hal-01158333 ; 18th ectqg, sep 2013, dourdan, france 6 Treffer
- cesep'17: 7th international conference on carbon for energy storage and environment protection ; https://imt-atlantique.hal.science/hal-01931051 ; cesep'17: 7th international conference on carbon for energy storage and environment protection, oct 2017, lyon, france 6 Treffer
- dynamiques urbaines & enjeux sanitaires ; https://hal.science/hal-01158335 ; dynamiques urbaines & enjeux sanitaires, sep 2013, nanterre, france 6 Treffer
-
45 weitere Werte:
- spatial analysis and geomatics (sageo) ; https://hal.science/hal-01426617 ; spatial analysis and geomatics (sageo), dec 2016, nice, france 6 Treffer
- 11th european conference on antennas and propagation (eucap) ; https://hal.science/hal-01571614 ; 11th european conference on antennas and propagation (eucap), mar 2017, paris, france. pp.2387-2391, ⟨10.23919/eucap.2017.7928120⟩ ; http://ieeexplore.ieee.org/document/7928120/ 5 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
- assemblee generale first-tf 2022 ; https://hal-obspm.ccsd.cnrs.fr/obspm-04030202 ; assemblee generale first-tf 2022, oct 2022, besancon, france 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
- hyper article en ligne - sciences de l'homme et de la societe 5 Treffer
- int. conf. laser spectroscopy (icols 2017) ; https://hal.science/hal-03803444 ; int. conf. laser spectroscopy (icols 2017), jul 2017, arcachon, france, france 5 Treffer
- proceedings fesca 2014, arxiv:1404.0436 ; international workshop on formal engineering approaches to software components and architectures 2014 ; https://hal.science/hal-03252267 ; international workshop on formal engineering approaches to software components and architectures 2014, apr 2014, grenoble, france. pp.(electronic medium), ⟨10.4204/eptcs.147.8⟩ ; https://arxiv.org/abs/1404.0853 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
- 11th international symposium on antenna technology and applied electromagnetics ; antem 2005 ; https://hal.science/hal-00776129 ; antem 2005, jun 2005, saint-malo, france 4 Treffer
- 2019 44th international conference on infrared, millimeter, and terahertz waves (irmmw-thz) ; https://univ-rennes.hal.science/hal-02400030 ; 2019 44th international conference on infrared, millimeter, and terahertz waves (irmmw-thz), sep 2019, paris, france. pp.1-2/8874029, ⟨10.1109/irmmw-thz.2019.8874029⟩ 4 Treffer
- 2022 joint conference of the european frequency and time forum and ieee international frequency control symposium (eftf/ifcs) ; https://hal-obspm.ccsd.cnrs.fr/obspm-04030185 ; 2022 joint conference of the european frequency and time forum and ieee international frequency control symposium (eftf/ifcs), apr 2022, paris, france. pp.1-3, ⟨10.1109/eftf/ifcs54560.2022.9850914⟩ 4 Treffer
- 23eme forum des microscopies a sondes locales ; https://hal.science/hal-03613602 ; 23eme forum des microscopies a sondes locales, mar 2022, saint-valery-sur-somme, france 4 Treffer
- actes des journees nationales microondes 2007 ; journees nationales microondes 2007 ; https://hal.science/hal-00176440 ; journees nationales microondes 2007, may 2007, toulouse, france 4 Treffer
- anf croissance de cristaux pour l'optique et techniques de caracterisations, mise en forme, micro nanostructuration et integration dispositifs associees ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986736 ; anf croissance de cristaux pour l'optique et techniques de caracterisations, mise en forme, micro nanostructuration et integration dispositifs associees, apr 2022, autrans, france 4 Treffer
- assemblee generale de first-tf 2020 ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986661 ; assemblee generale de first-tf 2020, nov 2020, on line, france 4 Treffer
- assemblee generale de la federation de recherche first-tf 2023 ; https://hal.science/hal-04460577 ; assemblee generale de la federation de recherche first-tf 2023, nov 2023, nice, france. 2023 4 Treffer
- dix-septiemes journees nationales micro-ondes ; https://hal.science/hal-00665231 ; dix-septiemes journees nationales micro-ondes, may 2011, brest, france. 4 p 4 Treffer
- eftf-ifcs 2021 ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986631 ; eftf-ifcs 2021, jul 2021, paris (on line), france 4 Treffer
- european aerosol conference 2016, eac2016 ; https://hal.science/hal-01383812 ; european aerosol conference 2016, eac2016, sep 2016, tours, france 4 Treffer
- european conf. on antenna and propagation, eucap 2006 ; https://hal.science/hal-00095070 ; european conf. on antenna and propagation, eucap 2006, nov 2006, nice, france 4 Treffer
- european gnuradio days ; https://hal.science/hal-03735182 ; european gnuradio days, 2019, besancon, france 4 Treffer
- francofilt 2017 ; https://hal.science/hal-01830054 ; francofilt 2017, aug 2017, bordeaux, france 4 Treffer
- international conference on quantum metrology and sensing ; https://hal.science/hal-03735241 ; international conference on quantum metrology and sensing, dec 2019, paris, france 4 Treffer
- international conference on quantum metrology and sensing ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986692 ; international conference on quantum metrology and sensing, dec 2019, paris, france 4 Treffer
- journees d'etudes des milieux poreux ; https://imt-atlantique.hal.science/hal-01940702 ; journees d'etudes des milieux poreux, oct 2018, nantes, france 4 Treffer
- journees internationales de nice sur les antennes (jina 2002) international symposium on antennas ; https://hal.science/hal-00937011 ; journees internationales de nice sur les antennes (jina 2002) international symposium on antennas, nov 2002, nice, france. pp.149-152 4 Treffer
- rare earth ions workshop (reiw'19) ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986675 ; rare earth ions workshop (reiw'19), oct 2019, grenoble, france 4 Treffer
- sirteq annual meeting ; https://hal.science/hal-03730064 ; sirteq annual meeting, oct 2019, palaiseau, france. 2019 4 Treffer
- third jack r. harlan international symposium ; https://agroparistech.hal.science/hal-04475679 ; third jack r. harlan international symposium, jun 2019, montpellier, france 4 Treffer
- 11 th international symposium on antenna technology and applied electromagnetics ; https://hal.science/hal-00777269 ; 11 th international symposium on antenna technology and applied electromagnetics, jun 2005, saint-malo, france. pp.148-150 3 Treffer
- 11eme congres francais de genie des procedes ; https://hal.science/hal-00292701 ; 11eme congres francais de genie des procedes, oct 2007, saint etienne, france. 8 p 3 Treffer
- 11th european conference on antennas and propagation, eucap 2017 ; https://univ-rennes.hal.science/hal-01622475 ; 11th european conference on antennas and propagation, eucap 2017, mar 2017, paris, france. ⟨10.23919/eucap.2017.7928290⟩ 3 Treffer
- 16. journee scientifique imbl ; https://hal.science/hal-01595202 ; 16. journee scientifique imbl, may 2016, lyon, france. 2016 3 Treffer
- 17emes journees nationales microondes ; https://hal.science/hal-00658232 ; 17emes journees nationales microondes, may 2011, brest, france. pp 106 3 Treffer
- 25eme congres general de la societe francaise de physique ; https://hal.science/hal-03733704 ; 25eme congres general de la societe francaise de physique, jul 2019, nantes, france 3 Treffer
- 25eme congres general de la societe francaise de physique ; https://hal.science/hal-03797310 ; 25eme congres general de la societe francaise de physique, jul 2019, cite des congres de nantes, france 3 Treffer
- 47eme colloque annuel de la sfeca ; https://hal.science/hal-01604679 ; 47eme colloque annuel de la sfeca, may 2017, gif-sur-yvette, france. , 126 p., 2017, 47eme colloque de la societe francaise pour l'etude du comportement animal ; https://sfeca2017.sciencesconf.org/ 3 Treffer
- antennas and propagation usnc/ursi national radio science meeting, 2015 ieee international symposium on ; https://hal.science/hal-01279742 ; antennas and propagation usnc/ursi national radio science meeting, 2015 ieee international symposium on, 2015, paris, france. pp.398-399, ⟨10.1109/aps.2015.7304585⟩ 3 Treffer
- cfa 2020 : 33eme congres francais sur les aerosols ; https://hal.science/hal-03245349 ; cfa 2020 : 33eme congres francais sur les aerosols, jan 2020, paris (visioconference), france. ⟨10.25576/asfera-cfa2020-19756⟩ 3 Treffer
- constructions of death, mourning & memory conference, october 27-29, 2006: proceedings 1 Treffer
- international textile manufacturers federation. annual conference report 1 Treffer
Sprache
Geographischer Bezug
1.722 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: TYPES 2022 : 28th International Conference on Types for Proofs and Programs ; 28th International Conference on Types for Proofs and Programs (TYPES 2022) ; https://hal.science/hal-04245455 ; 28th International Conference on Types for Proofs and Programs (TYPES 2022), Jun 2022, Nantes, France. pp.11:1-11:19, ⟨10.4230/LIPIcs.TYPES.2022.11⟩, 2022Online KonferenzZugriff:
-
In: JFLA 2020 : Journées Francophones des Langages Applicatifs ; Les 31es Journées Francophones des Langages Applicatifs (JFLA) ; https://hal.science/hal-04344249 ; Les 31es Journées Francophones des Langages Applicatifs (JFLA), Jan 2020, Gruisan, France, 2020Online KonferenzZugriff:
-
In: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://inria.hal.science/hal-02478907 ; FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.34:1--34:21, ⟨10.4230/LIPIcs.FSCD.2020.34⟩, 2020Online KonferenzZugriff:
-
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: JFLA 2022 ; https://hal.science/hal-03404668 ; Journées Francophones des Langages Applicatifs: JFLA 2022, Jun 2022, St-Médard d'Excideuil, France, 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: ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations ; https://hal.inria.fr/hal-01828344 ; ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.142-156, ⟨10.1007/978-3-319-93317-7_7⟩, 2018Online 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: The Coq Workshop ; https://inria.hal.science/hal-03366644 ; The Coq Workshop, Jul 2021, Virtual, France, 2021Online KonferenzZugriff:
-
In: Type Theory Based Tools ; https://hal.science/hal-01671994 ; Type Theory Based Tools, Jan 2017, Paris, France, 2017Online KonferenzZugriff:
-
In: RTSS 2017 - IEEE Real-Time Systems Symposium ; https://inria.hal.science/hal-01629288 ; RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3, 2017Online KonferenzZugriff:
-
In: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-01391578 ; 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Jan 2017, Paris, France. ⟨10.1145/3018610.3018625⟩ ; http://cpp2017.mpi-sws.org/, 2017Online KonferenzZugriff:
-
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: The Coq Workshop 2020 ; https://inria.hal.science/hal-02890460 ; The Coq Workshop 2020, Jul 2020, virtual, France, 2020Online KonferenzZugriff:
-
In: The 7th Coq Workshop ; https://hal.science/hal-01169321 ; The 7th Coq Workshop, Jun 2015, Sophia Antipolis, France, 2015Online KonferenzZugriff:
-
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: Traitement Automatique des Langues Naturelles (TALN 2015) ; https://hal.science/hal-01216604 ; Traitement Automatique des Langues Naturelles (TALN 2015), Jun 2015, Caen, France, 2015Online KonferenzZugriff: