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] 35 Treffer
- [shs.geo]humanities and social sciences/geography 26 Treffer
- [info]computer science [cs] 24 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 22 Treffer
- [sde.ie]environmental sciences/environmental engineering 21 Treffer
-
45 weitere Werte:
- coq 21 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 18 Treffer
- [sde]environmental sciences 14 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 14 Treffer
- [phys]physics [physics] 12 Treffer
- formal proof 12 Treffer
- ecosystem service 11 Treffer
- [sde.be]environmental sciences/biodiversity and ecology 10 Treffer
- [shs.eco]humanities and social sciences/economics and finance 10 Treffer
- acti 10 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 9 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 9 Treffer
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 8 Treffer
- [math]mathematics [math] 8 Treffer
- [chim.cata]chemical sciences/catalysis 7 Treffer
- [chim.mate]chemical sciences/material chemistry 7 Treffer
- [sde.es]environmental sciences/environment and society 7 Treffer
- [shs.envir]humanities and social sciences/environmental studies 7 Treffer
- measure theory 7 Treffer
- [info.info-es]computer science [cs]/embedded systems 6 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 6 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 6 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 6 Treffer
- [sdv]life sciences [q-bio] 6 Treffer
- [spi]engineering sciences [physics] 6 Treffer
- bacterial adaptation 6 Treffer
- formal semantics 6 Treffer
- genome 6 Treffer
- gouvernance 6 Treffer
- lactic acid 6 Treffer
- meat 6 Treffer
- politique environnementale 6 Treffer
- coq proof assistant 5 Treffer
- envir 5 Treffer
- program verification 5 Treffer
- service environnemental 5 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- antenna measurements 4 Treffer
- compressed sensing 4 Treffer
- datatypes 4 Treffer
- dielectric lens 4 Treffer
- horn antenna 4 Treffer
- lactobacillus sakei 23 k 4 Treffer
- lebesgue integration 4 Treffer
- lndt 4 Treffer
Verlag
Publikation
- beyond efficiency. exploring the political and institutional dimensions of market-based instruments for ecosystem services, international workshop ; https://agroparistech.hal.science/hal-00979651 ; beyond efficiency. exploring the political and institutional dimensions of market-based instruments for ecosystem services, international workshop, mar 2012, berlin, germany. 9p 7 Treffer
- payments for ecosystem services and their institutional dimensions ; international conference on payments for ecosystem services, 2011-11-10/2011-11-12, berlin, allemagne ; https://hal.science/hal-03068961 ; international conference on payments for ecosystem services, 2011-11-10/2011-11-12, berlin, allemagne, nov 2011, berlin, germany. 23 p 5 Treffer
- rare-earth workshop 2017 ; https://hal-obspm.ccsd.cnrs.fr/obspm-03991413 ; rare-earth workshop 2017, nov 2017, karlsruhe, germany 5 Treffer
- cleo/europe-eqec 2019 ; https://hal.science/hal-03735131 ; cleo/europe-eqec 2019, 2019, munich, germany 4 Treffer
- eucap 2009 ; https://hal.science/hal-00464988 ; eucap 2009, mar 2009, berlin, germany. proceedings of eucap 2009 4 Treffer
-
13 weitere Werte:
- european conference on antenna and propagation ; eucap 2009 ; https://hal.science/hal-00464666 ; eucap 2009, mar 2009, berlin, germany. proceedings of eucap 2009 4 Treffer
- european conference on antenna and propagation ; eucap 2009 ; https://hal.science/hal-00464668 ; eucap 2009, mar 2009, berlin, germany. pp.proceedings of eucap 2009 4 Treffer
- european conference on antennas and propagation, eucap 2009 ; https://hal.science/hal-00408346 ; european conference on antennas and propagation, eucap 2009, mar 2009, berlin, germany 4 Treffer
- filtech 2018 ; https://hal.science/hal-01830096 ; filtech 2018, mar 2018, cologne, germany 4 Treffer
- filtech 2018 ; https://hal.science/hal-01951647 ; filtech 2018, mar 2018, cologne, germany 4 Treffer
- msfp 2022 - ninth workshop on mathematically structured functional programming ; ninth workshop on mathematically structured functional programming (msfp) ; https://inria.hal.science/hal-04316452 ; ninth workshop on mathematically structured functional programming (msfp), jeremy gibbons; max s. new, apr 2022, munich, germany. pp.27-44, ⟨10.4204/eptcs.360.2⟩ 4 Treffer
- 15th european conference on antennas and propagation, eucap 2021 ; https://hal.science/hal-03249257 ; 15th european conference on antennas and propagation, eucap 2021, mar 2021, dusseldorf, germany. pp.9411316, ⟨10.23919/eucap51087.2021.9411316⟩ 3 Treffer
- beyond efficiency. exploring the political and institutional dimensions of market-based instruments for ecosystem services, international workshop ; https://hal.inrae.fr/hal-02598343 ; beyond efficiency. exploring the political and institutional dimensions of market-based instruments for ecosystem services, international workshop, mar 2012, berlin, germany. pp.9-9 3 Treffer
- european microwave conference ; 43rd european microwave conference (eumc) ; https://hal.science/hal-00957649 ; 43rd european microwave conference (eumc), oct 2013, nuremberg, germany. pp.350-353 3 Treffer
- 2. european conference on prokaryotic genomes ; https://hal.inrae.fr/hal-02828495 ; 2. european conference on prokaryotic genomes, oct 2005, gottingen, germany 2 Treffer
- 2023 conference on lasers and electro-optics europe & european quantum electronics conference (cleo/europe-eqec) ; https://hal.science/hal-04261529 ; 2023 conference on lasers and electro-optics europe & european quantum electronics conference (cleo/europe-eqec), jun 2023, munich, germany. ⟨10.1109/cleo/europe-eqec57999.2023.10232252⟩ 2 Treffer
- ieee computer software and applications, compsac'11 ; https://inria.hal.science/inria-00601906 ; ieee computer software and applications, compsac'11, jul 2011, munich, germany 2 Treffer
- acm transactions on embedded computing systems 1 Treffer
Sprache
Geographischer Bezug
236 Treffer
-
In: FM 2023 - 25th International Symposium on Formal Methods ; https://hal.inria.fr/hal-03889276 ; FM 2023 - 25th International Symposium on Formal Methods, Mar 2023, Lübeck, Germany ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://inria.hal.science/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: RRRR 2022 - Workshop on Reproducibility and Replication of Research Results ; https://inria.hal.science/hal-03592675 ; RRRR 2022 - Workshop on Reproducibility and Replication of Research Results, Apr 2022, Munich, Germany, 2022Online KonferenzZugriff:
-
In: Proceedings ECOOP 20222, 8-10 Jube 2022, Berlin, Germany. ; ECOOP ; https://inria.hal.science/hal-03671876 ; ECOOP, Jun 2022, 2022Online KonferenzZugriff:
-
In: RRRR 2022 - Workshop on Reproducibility and Replication of Research Results ; https://inria.hal.science/hal-03592675 ; RRRR 2022 - Workshop on Reproducibility and Replication of Research Results, Apr 2022, Munich, Germany, 2022Online KonferenzZugriff:
-
In: Proceedings ECOOP 20222, 8-10 Jube 2022, Berlin, Germany. ; ECOOP ; https://inria.hal.science/hal-03671876 ; ECOOP, Jun 2022, 2022Online KonferenzZugriff:
-
In: RRRR 2022 - Workshop on Reproducibility and Replication of Research Results ; https://inria.hal.science/hal-03592675 ; RRRR 2022 - Workshop on Reproducibility and Replication of Research Results, Apr 2022, Munich, Germany, 2022Online KonferenzZugriff:
-
In: Proceedings of the 25th International Symposium on Formal Methods ; 25th International Symposium on Formal Methods (FM 2023) ; https://hal.inria.fr/hal-03889276 ; 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩ ; https://fm2023.isp.uni-luebeck.de/, 2023Online KonferenzZugriff:
-
In: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ;, 2019Online KonferenzZugriff:
-
In: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ;, 2019Online KonferenzZugriff:
-
In: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) ;, 2019Online KonferenzZugriff:
-
In: Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010Online KonferenzZugriff:
-
In: Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010Online KonferenzZugriff:
-
In: Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010Online KonferenzZugriff:
-
In: Computer Aided Verification - 29th International Conference ; https://hal.science/hal-01669345 ; Computer Aided Verification - 29th International Conference, Jul 2017, Heidelberg, Germany, 2017Online KonferenzZugriff:
-
In: RTNS 2023 ; 31st International Conference on Real-Time Networks and Systems (RTNS 2023) ; https://hal.science/hal-04082519 ; 31st International Conference on Real-Time Networks and Systems (RTNS 2023), Jun 2023, Dortmund, Germany. pp.1-10, ⟨10.1145/3575757.3593653⟩ ; https://rtns2023.cs.tu-dortmund.de/, 2023Online KonferenzZugriff: