Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [phys.hexp]physics [physics]/high energy physics - experiment [hep-ex] 3.060 Treffer
- experimental results 2.637 Treffer
- cern lhc coll 2.512 Treffer
- p p: scattering 2.505 Treffer
- atlas 2.465 Treffer
-
45 weitere Werte:
- p p: colliding beams 2.337 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1.884 Treffer
- 13000 gev-cms 1.862 Treffer
- coq 1.269 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1.110 Treffer
- [sdv]life sciences [q-bio] 940 Treffer
- [shs.geo]humanities and social sciences/geography 808 Treffer
- [info]computer science [cs] 791 Treffer
- hadron-hadron scattering (experiments) 780 Treffer
- background 756 Treffer
- [phys.astr]physics [physics]/astrophysics [astro-ph] 557 Treffer
- channel cross section: upper limit 492 Treffer
- [phys.nexp]physics [physics]/nuclear experiment [nucl-ex] 476 Treffer
- [spi.gproc]engineering sciences [physics]/chemical and process engineering 475 Treffer
- mass dependence 475 Treffer
- [sde.ie]environmental sciences/environmental engineering 462 Treffer
- [spi]engineering sciences [physics] 462 Treffer
- z0: leptonic decay 454 Treffer
- 02 engineering and technology 450 Treffer
- transverse momentum: missing-energy 447 Treffer
- [shs]humanities and social sciences 439 Treffer
- bottom: particle identification 435 Treffer
- [sde]environmental sciences 422 Treffer
- proof assistant 409 Treffer
- channel cross section: branching ratio: upper limit 400 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 398 Treffer
- [shs.eco]humanities and social sciences/economics and finance 390 Treffer
- data analysis method 390 Treffer
- computingmilieux_miscellaneous 386 Treffer
- [phys.phys.phys-ins-det]physics [physics]/physics [physics]/instrumentation and detectors [physics.ins-det] 382 Treffer
- differential cross section: measured 376 Treffer
- [shs.litt]humanities and social sciences/literature 371 Treffer
- jet: bottom 368 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 363 Treffer
- 01 natural sciences 363 Treffer
- top: pair production 354 Treffer
- [phys]physics [physics] 347 Treffer
- transverse momentum dependence 346 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 340 Treffer
- muon: pair production 334 Treffer
- numerical calculations: monte carlo 334 Treffer
- [shs.envir]humanities and social sciences/environmental studies 329 Treffer
- 8000 gev-cms 321 Treffer
- particle physics experiments 319 Treffer
- formal proof 310 Treffer
Verlag
- elsevier 1.164 Treffer
- american physical society 601 Treffer
- springer 535 Treffer
- springer verlag 304 Treffer
- institute of electrical and electronics engineers 303 Treffer
-
45 weitere Werte:
- springer verlag (germany) 217 Treffer
- acm 167 Treffer
- wiley 163 Treffer
- biomed central 159 Treffer
- cirad 156 Treffer
- iop publishing 148 Treffer
- ieee 132 Treffer
- nature publishing group 114 Treffer
- mdpi 83 Treffer
- american chemical society 77 Treffer
- cnrs editions 69 Treffer
- optical society of america - osa publishing 66 Treffer
- american institute of physics 54 Treffer
- euna 46 Treffer
- springer-verlag 46 Treffer
- earthscan publications 41 Treffer
- public library of science 41 Treffer
- inra 37 Treffer
- cambridge university press (cup) 36 Treffer
- american society for microbiology 35 Treffer
- springer international publishing 35 Treffer
- edp sciences 32 Treffer
- frontiers 32 Treffer
- oxford university press (oup) 32 Treffer
- taylor & francis 31 Treffer
- elsevier masson 30 Treffer
- royal society of chemistry 30 Treffer
- taylor & francis: stm, behavioural science and public health titles 30 Treffer
- vertigo 29 Treffer
- centre pour la communication scientifique directe 28 Treffer
- itavi - institut technique de l'aviculture 28 Treffer
- igi global 27 Treffer
- quae 27 Treffer
- union europeenne 27 Treffer
- acm press 24 Treffer
- l'harmattan 24 Treffer
- logical methods in computer science association 24 Treffer
- icraf 22 Treffer
- massachusetts medical society 22 Treffer
- presses universitaires de provence 22 Treffer
- sfer 22 Treffer
- societe francaise d'economie rurale 22 Treffer
- wiley-blackwell 22 Treffer
- art-dev 21 Treffer
- association for computing machinery 21 Treffer
Publikation
- issn: 1550-7998 340 Treffer
- issn: 1434-6044 ; eissn: 1434-6052 203 Treffer
- issn: 1126-6708 167 Treffer
- issn: 0031-9007 152 Treffer
- issn: 0168-7433 130 Treffer
-
45 weitere Werte:
- issn: 2469-9985 65 Treffer
- hyper article en ligne - sciences de l'homme et de la societe 58 Treffer
- issn: 0926-3373 53 Treffer
- issn: 0168-9002 ; eissn: 1872-9576 46 Treffer
- issn: 0304-3894 41 Treffer
- issn: 2045-2322 41 Treffer
- issn: 0146-9592 37 Treffer
- issn: 1932-6203 35 Treffer
- issn: 2041-1723 29 Treffer
- astrophys.j.lett. ; https://hal.science/hal-01646052 ; astrophys.j.lett., 2017, 848 (2), pp.l12. ⟨10.3847/2041-8213/aa91c9⟩ 27 Treffer
- issn: 0959-3330 27 Treffer
- issn: 0014-4886 25 Treffer
- resilience and development: mobilising for transformation 25 Treffer
- building tomorrow's research agenda and bridging the science-policy gap 23 Treffer
- issn: 1749-4885 23 Treffer
- issn: 2469-9926 23 Treffer
- issn: 0018-9499 22 Treffer
- issn: 0028-4793 22 Treffer
- issn: 0045-6535 22 Treffer
- issn: 0013-5194 21 Treffer
- issn: 0021-8502 20 Treffer
- issn: 0027-8424 20 Treffer
- issn: 1520-6106 20 Treffer
- issn: 0999-193x 19 Treffer
- issn: 1492-8442 18 Treffer
- issn: 1879-9817 18 Treffer
- issn: 2159-3930 18 Treffer
- issn: 0003-6951 16 Treffer
- issn: 0021-9517 16 Treffer
- issn: 0022-0477 16 Treffer
- issn: 0099-2240 16 Treffer
- inqua ; https://hal.science/hal-04168515 ; inqua, jul 2023, roma, italy 15 Treffer
- issn: 0020-1669 15 Treffer
- issn: 0028-0836 15 Treffer
- issn: 0169-4332 15 Treffer
- issn: 0013-0559 14 Treffer
- issn: 0026-461x 14 Treffer
- issn: 0277-786x 14 Treffer
- issn: 0926-860x 14 Treffer
- issn: 0934-5043 14 Treffer
- issn: 0960-1295 14 Treffer
- issn: 1293-8882 14 Treffer
- issn: 0003-3472 13 Treffer
- issn: 0013-936x 13 Treffer
- issn: 1015-6305 13 Treffer
Sprache
Geographischer Bezug
17.469 Treffer
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04511667 ; 2024, 2024Online reportZugriff:
-
In: https://hal.science/hal-03315809 ; 2024, 2024Online reportZugriff:
-
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:
-
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: CPP 2023 - Certified Programs and Proofs ; https://inria.hal.science/hal-03917948 ; CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575691⟩ ; https://dl.acm.org/doi/proceedings/10.1145/3573105, 2023Online KonferenzZugriff:
-
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: https://inria.hal.science/hal-03564379 ; [Research Report] RR-9457, Institut National de Recherche en Informatique et en Automatique (INRIA). 2023, pp.17, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-04329663 ; 2023, 2023Online reportZugriff:
-
In: https://inria.hal.science/hal-04077552 ; 2023, 2023Online reportZugriff:
-
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: 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: Leibniz International Proceedings in Informatics (LIPIcs) ; 13th International Conference on Interactive Theorem Proving (ITP 2022, 2022Online KonferenzZugriff:
-
In: ITP 2022 - 13th International Conference on Interactive Theorem Proving ; https://inria.hal.science/hal-03596267 ; ITP 2022 - 13th International Conference on Interactive Theorem Proving, Aug 2022, Haifa, Israel, 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: https://hal.science/hal-04214008 ; 2024, 2024Online reportZugriff:
-
In: https://ut3-toulouseinp.hal.science/hal-03782650 ; 2023, 2023Online reportZugriff:
-
In: https://hal.science/hal-04225130 ; Inria Sophia Antipolis - Méditerranée, Université Côte d'Azur; National Institute of Advanced Industrial Science and Technology (AIST), Japan; ONERA / DTIS, 2023Online reportZugriff: