Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 38 Treffer
- [sdv]life sciences [q-bio] 32 Treffer
- coq 28 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 27 Treffer
- [shs.geo]humanities and social sciences/geography 24 Treffer
-
45 weitere Werte:
- historical 23 Treffer
- [info]computer science [cs] 22 Treffer
- [sde.ie]environmental sciences/environmental engineering 22 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 17 Treffer
- [phys.phys.phys-atom-ph]physics [physics]/physics [physics]/atomic physics [physics.atom-ph] 15 Treffer
- [phys.phys.phys-chem-ph]physics [physics]/physics [physics]/chemical physics [physics.chem-ph] 15 Treffer
- [phys]physics [physics] 14 Treffer
- [sde]environmental sciences 14 Treffer
- [shs]humanities and social sciences 14 Treffer
- [spi.tron]engineering sciences [physics]/electronics 14 Treffer
- antenna measurements 14 Treffer
- spectral hole burning 12 Treffer
- [info.info-dc]computer science [cs]/distributed 11 Treffer
- and cluster computing [cs.dc] 11 Treffer
- parallel 11 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 10 Treffer
- [phys.phys.phys-optics]physics [physics]/physics [physics]/optics [physics.optics] 10 Treffer
- acm: d.: software/d.2: software engineering/d.2.4: software/program verification 10 Treffer
- [info.info-es]computer science [cs]/embedded systems 9 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 9 Treffer
- art 9 Treffer
- [chim]chemical sciences 8 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 8 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 8 Treffer
- [info.info-ts]computer science [cs]/signal and image processing 8 Treffer
- [spi.elec]engineering sciences [physics]/electromagnetism 8 Treffer
- [spi.signal]engineering sciences [physics]/signal and image processing 8 Treffer
- antennas 8 Treffer
- arrays 8 Treffer
- compressed sensing 8 Treffer
- image reconstruction 8 Treffer
- reflectarray antennas 8 Treffer
- transmission line matrix methods 8 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 7 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 7 Treffer
- [phys.meca.mefl]physics [physics]/mechanics [physics]/fluid mechanics [physics.class-ph] 7 Treffer
- acm: d.: software/d.3: programming languages/d.3.1: formal definitions and theory 7 Treffer
- chalcogenide glass 7 Treffer
- chalcogenides 7 Treffer
- dependent type theory 7 Treffer
- formal proof 7 Treffer
- glass 7 Treffer
- hist 7 Treffer
- laser materials processing 7 Treffer
- morphology 7 Treffer
Verlag
- hal ccsd 291 Treffer
- l. houbloup 39 Treffer
- ieee 30 Treffer
- springer 4 Treffer
- anr 3 Treffer
-
19 weitere Werte:
- ches carpentier rue s. jacques au coq 3 Treffer
- acm 2 Treffer
- ches charpentier rue s. jacques au coq 2 Treffer
- groupe francais de la wpsa 2 Treffer
- inra editions 2 Treffer
- nra 2 Treffer
- pups 2 Treffer
- springer nature switzerland 2 Treffer
- universitatsbibliothek paderborn 2 Treffer
- [ohne namen] 1 Treffer
- baudry 1 Treffer
- branche francaise de la wpsa 1 Treffer
- c. l. f. panckoucke 1 Treffer
- dentu 1 Treffer
- editions de la sorbonne 1 Treffer
- ieee computer society 1 Treffer
- itavi - institut technique de l'aviculture 1 Treffer
- le deley, paris 1 Treffer
- petit (paris) 1 Treffer
Publikation
- 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
- 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
- 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
-
18 weitere Werte:
- 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
- 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
- ijcar 2020 - international joint conference on automated reasoning ; https://inria.hal.science/hal-02463336 ; ijcar 2020 - international joint conference on automated reasoning, jun 2020, paris, france. pp.1-19 3 Treffer
- les cooperatives du commerce equitable : une diversite de modeles menant a des tensions dans un systeme mondialise, le commerce equitable 3 Treffer
- proceedings of 2022 joint conference of the european frequency and time forum and ieee international frequency control symposium ; 2022 joint conference of the european frequency and time forum and ieee international frequency control symposium (eftf/ifcs) ; https://hal.science/hal-03861460 ; 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.9850536⟩ 3 Treffer
- proceedings of the 2018 conference on precision electromagnetic measurements (cpem 2018) ; 2018 conference on precision electromagnetic measurements (cpem 2018) ; https://hal.science/hal-02410557 ; 2018 conference on precision electromagnetic measurements (cpem 2018), jul 2018, paris, france. pp.1-2, ⟨10.1109/cpem.2018.8501188⟩ 3 Treffer
- proceedings of the 44th international conference on infrared, millimeter, and terahertz waves ; 44th international conference on infrared, millimeter, and terahertz waves (irmmw-thz 2019) ; https://hal.science/hal-02410637 ; 44th international conference on infrared, millimeter, and terahertz waves (irmmw-thz 2019), sep 2019, paris, france. pp.1-2, ⟨10.1109/irmmw-thz.2019.8874164⟩ 3 Treffer
- radar conference (eurad), 2015 european ; https://hal.science/hal-01279740 ; radar conference (eurad), 2015 european, 2015, paris, france. pp.289-292, ⟨10.1109/eurad.2015.7346294⟩ 3 Treffer
- 5es journees gdr mufopam ; https://hal.inrae.fr/hal-02788993 ; 5es journees gdr mufopam, centre national de la recherche scientifique (cnrs). fra., oct 2018, paris, france 2 Treffer
- 6th european gnu radio days 2023 ; https://hal-obspm.ccsd.cnrs.fr/obspm-04459469 ; 6th european gnu radio days 2023, mar 2023, paris, france 2 Treffer
- phages in paris. 7th symposium of the french phage network ; https://hal.science/hal-04299558 ; phages in paris. 7th symposium of the french phage network, oct 2022, paris, france 2 Treffer
- symposium sfm, interactions bacteriennes dans les environnements agroalimentaires : apport des nouvelles approches. ; https://hal.inrae.fr/hal-02816850 ; symposium sfm, interactions bacteriennes dans les environnements agroalimentaires : apport des nouvelles approches., societe francaise de microbiologie (sfm). fra., nov 2006, paris, france 2 Treffer
- archive ouverte d'inrae 1 Treffer
- bnf, departement de litterature et art, 8-y2-41902 1 Treffer
- bnf, departement sciences et techniques, fol-s-1152 1 Treffer
- hyper article en ligne - sciences de l'homme et de la societe 1 Treffer
- hyper article en ligne - sciences de l'homme et de la societe ; resumes du 30eme congres francais sur les aerosols (cfa 2015) ; 30. congres francais sur les aerosols (cfa 2015) ; 30. congres francais sur les aerosols (cfa 2015), jan 2015, paris, france 1 Treffer
- real photo and printed postcards of military camps in the u.s., portraits of soldiers and views of the u.s. military in other countries that were originally collected by the fort sheridan museum 1 Treffer
Sprache
Geographischer Bezug
356 Treffer
-
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: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://hal.inria.fr/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: FSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction ; https://hal.inria.fr/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: 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: RTSS 2017 - IEEE Real-Time Systems Symposium ; https://hal.inria.fr/hal-01629288 ; RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3, 2017Online 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: 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: 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: 6th ACM SIGPLAN Conference on Certified Programs and Proofs ; https://hal.inria.fr/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: Automated Reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020Online KonferenzZugriff:
-
In: Automated Reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020Online KonferenzZugriff:
-
In: CPP'17 ; https://hal.inria.fr/hal-01421212 ; CPP'17, ACM, Jan 2017, Paris, France. pp.9, ⟨10.1145/3018610.3018615⟩, 2017KonferenzZugriff:
-
In: CPP'17 ; https://inria.hal.science/hal-01421212 ; CPP'17, ACM, Jan 2017, Paris, France. pp.9, ⟨10.1145/3018610.3018615⟩, 2017KonferenzZugriff:
-
In: International Symposium on High-level Parallel Programming and Applications&, HLPP ; https://inria.hal.science/hal-00880533 ; International Symposium on High-level Parallel Programming and Applications&, 2013Online KonferenzZugriff:
-
In: International Symposium on High-level Parallel Programming and Applications&, HLPP ; https://hal.inria.fr/hal-00880533 ; International Symposium on High-level Parallel Programming and Applications&, 2013Online KonferenzZugriff:
-
In: Le centenaire de la création de l'Etat albanais (1912-2012) ; https://hal.science/hal-03996189 ; Le centenaire de la création de l'Etat albanais (1912-2012), Centre d'études balkaniques, Inaloc, Nov 2012, Paris, France, 2012Online KonferenzZugriff: