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] 832 Treffer
- coq 588 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 497 Treffer
- [info]computer science [cs] 399 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 326 Treffer
-
45 weitere Werte:
- [shs.geo]humanities and social sciences/geography 311 Treffer
- [sdv]life sciences [q-bio] 261 Treffer
- [sde]environmental sciences 252 Treffer
- [sde.ie]environmental sciences/environmental engineering 236 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 192 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 159 Treffer
- [phys]physics [physics] 157 Treffer
- [shs.envir]humanities and social sciences/environmental studies 156 Treffer
- [spi]engineering sciences [physics] 145 Treffer
- [info.info-dc]computer science [cs]/distributed 135 Treffer
- and cluster computing [cs.dc] 135 Treffer
- parallel 135 Treffer
- data processing computer science 128 Treffer
- [shs.eco]humanities and social sciences/economics and finance 125 Treffer
- [shs]humanities and social sciences 125 Treffer
- [info.info-es]computer science [cs]/embedded systems 115 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 101 Treffer
- formal proof 100 Treffer
- [spi.tron]engineering sciences [physics]/electronics 99 Treffer
- hist 99 Treffer
- p01 - conservation de la nature et ressources foncieres 86 Treffer
- proof assistant 73 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 72 Treffer
- type theory 71 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 69 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 67 Treffer
- coq proof assistant 66 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 65 Treffer
- envir 64 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 63 Treffer
- [spi.elec]engineering sciences [physics]/electromagnetism 63 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 62 Treffer
- [shs.litt]humanities and social sciences/literature 57 Treffer
- e14 - economie et politique du developpement 57 Treffer
- gallus gallus 56 Treffer
- [math]mathematics [math] 54 Treffer
- formal verification 52 Treffer
- scipo 52 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 51 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 51 Treffer
- [shs.socio]humanities and social sciences/sociology 51 Treffer
- spectral hole burning 51 Treffer
- verification 49 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 48 Treffer
- phil 48 Treffer
Verlag
- hal ccsd 4.786 Treffer
- springer 321 Treffer
- ieee 304 Treffer
- acm 189 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 137 Treffer
-
45 weitere Werte:
- s.n. 86 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 62 Treffer
- cirad 60 Treffer
- springer-verlag 51 Treffer
- springer international publishing 36 Treffer
- spie 35 Treffer
- centre pour la communication scientifique directe 33 Treffer
- itavi - institut technique de l'aviculture 31 Treffer
- acm press 30 Treffer
- sfer 28 Treffer
- inra 27 Treffer
- association for computing machinery (acm) 24 Treffer
- springer verlag 23 Treffer
- icraf 22 Treffer
- isee 19 Treffer
- springer berlin / heidelberg 17 Treffer
- catie 16 Treffer
- country:ita 15 Treffer
- sepia 14 Treffer
- springer nature switzerland 14 Treffer
- elsevier 13 Treffer
- lipics - leibniz international proceedings in informatics. 12th international conference on interactive theorem proving (itp 2021) 13 Treffer
- association for computing machinery 12 Treffer
- institute of electrical and electronics engineers inc. 12 Treffer
- association for science and information on coffee (asic) 11 Treffer
- lipics - leibniz international proceedings in informatics. 10th international conference on interactive theorem proving (itp 2019) 11 Treffer
- asic 10 Treffer
- dagstuhl publishing 10 Treffer
- anr 9 Treffer
- osa 9 Treffer
- aip publishing 8 Treffer
- atlantis press 8 Treffer
- cell press 8 Treffer
- cisa publisher 8 Treffer
- country:deu 8 Treffer
- gallus 8 Treffer
- institution of engineering and technology 8 Treffer
- pensoft publishers 8 Treffer
- wca [nairobi] 8 Treffer
- country:usa 7 Treffer
- electronic proceedings in theoretical computer science 7 Treffer
- inra editions 7 Treffer
- osa - the optical society 7 Treffer
- pup 7 Treffer
- schloss dagstuhl--leibniz-zentrum fuer informatik 7 Treffer
Publikation
- resilience and development: mobilising for transformation 30 Treffer
- building tomorrow's research agenda and bridging the science-policy gap 29 Treffer
- hyper article en ligne - sciences de l'homme et de la societe 15 Treffer
- inqua ; https://hal.science/hal-04168515 ; inqua, jul 2023, roma, italy 15 Treffer
- aip conference proceedings ; issn 0094-243x 10 Treffer
-
45 weitere Werte:
- mit web domain 10 Treffer
- medpalynos ; https://hal.science/hal-03846455 ; medpalynos, sep 2022, paestum, italy 8 Treffer
- 7th international conference on networked systems (netys 2019) ; https://hal.science/hal-02115599 ; 7th international conference on networked systems (netys 2019), jun 2019, marrakech, morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩ 7 Treffer
- 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
- pos ; 27th international workshop on deep inelastic scattering and related subjects ; https://hal.science/hal-02097313 ; 27th international workshop on deep inelastic scattering and related subjects, apr 2019, torino, italy. pp.134913, ⟨10.22323/1.352.0135⟩ 7 Treffer
- proceedings of the 9th acm sigplan international conference on certified programs and proofs 7 Treffer
- 18th ectqg ; https://hal.science/hal-01158333 ; 18th ectqg, sep 2013, dourdan, france 6 Treffer
- acta phys.polon.supp. ; 29th international conference on ultra-relativistic nucleus-nucleus collisions ; https://hal.science/hal-03991984 ; 29th international conference on ultra-relativistic nucleus-nucleus collisions, apr 2022, krakow, poland. pp.7, ⟨10.5506/aphyspolbsupp.16.1-a7⟩ 6 Treffer
- carbon2018. the world conference on carbon ; https://imt-atlantique.hal.science/hal-01931085 ; carbon2018. the world conference on carbon, jul 2018, madrid, spain 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
- modelling agroforestry systems : workshop proceedings 6 Treffer
- proceedings of the 7th acm sigplan international conference on certified programs and proofs 6 Treffer
- proceedings of the 7th acm sigplan international conference on certified programs and proofs - cpp 2018 6 Treffer
- prof. chlipala via phoebe ayers 6 Treffer
- 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
- 13th international nannoplankton association congress ; https://hal.science/hal-03536304 ; 13th international nannoplankton association congress, sep 2010, yamagata, japan 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
- 2022 rare earth ions for quantum information workshop ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986646 ; 2022 rare earth ions for quantum information workshop, jun 2022, edinburgh (online), united kingdom 5 Treffer
- 8th international symposium on formal aspects of component software (facs 2011) ; https://inria.hal.science/inria-00614593 ; 8th international symposium on formal aspects of component software (facs 2011), university of oslo, norway, sep 2011, oslo, norway 5 Treffer
- 97. esa annual meeting ; https://hal.inrae.fr/hal-02745899 ; 97. esa annual meeting, ecological society of america (esa). usa., aug 2012, portland (oregon), united states 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
- asia pacific microwave conference'08, apmc'2008 ; https://hal.science/hal-00355199 ; asia pacific microwave conference'08, apmc'2008, dec 2008, hong kong, china 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
- eftf (european frequency and time forum) ; https://hal.science/hal-03729960 ; eftf (european frequency and time forum), apr 2018, torino, italy, italy 5 Treffer
- guest seminar at nict and rikken ; https://hal.science/hal-03724388 ; guest seminar at nict and rikken, 2016, tokyo, japan, japan 5 Treffer
- icfem'14 - 16th international conference on formal engineering methods ; https://inria.hal.science/hal-01024067 ; icfem'14 - 16th international conference on formal engineering methods, nov 2014, luxembourg, luxembourg 5 Treffer
- ifcs (international frequency control symposium) ; https://hal.science/hal-03735360 ; ifcs (international frequency control symposium), 2016, new-orleans, usa, united states 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
- istfa 2023: proceedings of the 49th international symposium for testing and failure analysis conference ; istfa 2023 - the 49th international symposium for testing and failure analysis conference ; https://hal.science/hal-04285320 ; istfa 2023 - the 49th international symposium for testing and failure analysis conference, nov 2023, phoenix, united states. pp.483-490, ⟨10.31399/asm.cp.istfa2023p0483⟩ ; https://www.asminternational.org/istfa-2023/ 5 Treffer
- journal of physics. conference series ; 21st international conference on laser spectroscopy - icols 2013 ; https://hal.science/hal-03809030 ; 21st international conference on laser spectroscopy - icols 2013, jun 2013, university of california, berkeley, california, usa, united states. pp.2002, ⟨10.1088/1742-6596/467/1/012002⟩ 5 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
- proceedings conference on lasers and electro-optics cleo 2016 5 Treffer
- proceedings eumc 2009 : 39th european microwave conference 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
- proceedings of avocs 2017 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs) ; https://hal.sorbonne-universite.fr/hal-01549942 ; formal methods for industrial critical systems and automated verification of critical systems (fmics/avocs), sep 2017, turin, italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩ ; https://easychair.org/cfp/fmics-avocs2017 5 Treffer
- proceedings of the 10th acm sigplan international conference on certified programs and proofs 5 Treffer
- proceedings of the 2012 european frequency and time forum ; the 2012 european frequency and time forum (eftf 2012) ; https://hal.science/hal-00741412 ; the 2012 european frequency and time forum (eftf 2012), apr 2012, gothenburg, sweden. pp.456-457 5 Treffer
- proceedings of the international school of physics "enrico fermi" 5 Treffer
- quantum optics seminar, niels bohr institute ; https://hal.science/hal-03733636 ; quantum optics seminar, niels bohr institute, 2016, copenhagen, denmark, denmark 5 Treffer
- rare earth ions workshop (reiw'20) ; https://hal-obspm.ccsd.cnrs.fr/obspm-03986549 ; rare earth ions workshop (reiw'20), oct 2020, delft (on line), netherlands 5 Treffer
Sprache
Geographischer Bezug
6.387 Treffer
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18 ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩ ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩ ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18 ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩ ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18 ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
In: 14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 268, pp. 1-660, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)https://doi.org/10.4230/LIPIcs.ITP.2023 ; 14th International Conference on Interactive Theorem Proving (ITP 2023, 2023Online KonferenzZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science ; 7th Symposium on Working Formal Methods (FROM 2023) ; https://inria.hal.science/hal-04254872 ; 7th Symposium on Working Formal Methods (FROM 2023), Sep 2023, Bucarest, Romania. pp.96 - 109, ⟨10.4204/eptcs.389.8⟩, 2023Online KonferenzZugriff:
-
2023Online KonferenzZugriff:
-
In: 14th International Conference on Interactive Theorem Proving (ITP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 268, pp. 1-660, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)https://doi.org/10.4230/LIPIcs.ITP.2023 ; 14th International Conference on Interactive Theorem Proving (ITP 2023, 2023Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩ ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18 ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18, ⟨10.4230/LIPIcs.ITP.2023.12⟩ ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
In: 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://hal.science/hal-04200527 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Adam Naumowicz; René Thiemann, Jul 2023, Białystok, Poland. ⟨10.4230/LIPIcs.ITP.2023.21⟩ ; https://mizar.uwb.edu.pl/ITP2023/program.html, 2023Online KonferenzZugriff:
-
In: Leibniz International Proceedings in Informatics ; 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://telecom-paris.hal.science/hal-04098856 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Białystok, Poland. pp.1-18 ; https://mizar.uwb.edu.pl/ITP2023/, 2023Online KonferenzZugriff:
-
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: 14th International Conference on Interactive Theorem Proving (ITP 2023) ; https://hal.science/hal-04200527 ; 14th International Conference on Interactive Theorem Proving (ITP 2023), Adam Naumowicz; René Thiemann, Jul 2023, Białystok, Poland. ⟨10.4230/LIPIcs.ITP.2023.21⟩ ; https://mizar.uwb.edu.pl/ITP2023/program.html, 2023Online KonferenzZugriff: