Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- atlas 3.864 Treffer
- cern lhc coll 3.494 Treffer
- experimental results 3.385 Treffer
- p p: scattering 3.352 Treffer
- [phys.hexp]physics [physics]/high energy physics - experiment [hep-ex] 3.064 Treffer
-
45 weitere Werte:
- p p: colliding beams 2.884 Treffer
- coq 2.557 Treffer
- 13000 gev-cms 2.120 Treffer
- nuclear and high energy physics 1.878 Treffer
- hadron-hadron scattering (experiments) 1.681 Treffer
- hist 1.673 Treffer
- settore fis/01 - fisica sperimentale 1.644 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1.479 Treffer
- 72 physics of elementary particles and fields 1.468 Treffer
- general medicine 1.442 Treffer
- phil 1.049 Treffer
- physics and astronomy (miscellaneous) 1.015 Treffer
- agriculture 1.001 Treffer
- background 977 Treffer
- genetics 971 Treffer
- gallus gallus 952 Treffer
- biochemistry 892 Treffer
- particle physics - experiment 881 Treffer
- engineering (miscellaneous) 877 Treffer
- [sdv]life sciences [q-bio] 867 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 863 Treffer
- animal science and zoology 838 Treffer
- molecular biology 817 Treffer
- famille 797 Treffer
- poules 790 Treffer
- temps 790 Treffer
- animaux 789 Treffer
- homme 784 Treffer
- animaux domestiques 778 Treffer
- oiseaux 776 Treffer
- arbres 775 Treffer
- calendriers 774 Treffer
- fruits 774 Treffer
- animaux sauvages 773 Treffer
- exploitations agricoles 773 Treffer
- meteorologie 773 Treffer
- pigeons 773 Treffer
- plantes 773 Treffer
- corps humain 772 Treffer
- enseignants 772 Treffer
- freres et soeurs 772 Treffer
- mesure 772 Treffer
- outils 772 Treffer
- parents et enfants 772 Treffer
- perception spatiale 772 Treffer
Verlag
- hal ccsd 15.465 Treffer
- elsevier bv 2.468 Treffer
- springer 2.297 Treffer
- elsevier 2.164 Treffer
- wiley 1.813 Treffer
-
45 weitere Werte:
- american physical society 1.314 Treffer
- springer science and business media llc 1.207 Treffer
- [s.n.] 982 Treffer
- centre de recherche bretonne et celtique 776 Treffer
- springer verlag 709 Treffer
- oxford university press 636 Treffer
- zenodo 616 Treffer
- [s.n.] (paris) 451 Treffer
- oxford university press (oup) 424 Treffer
- springer berlin heidelberg 419 Treffer
- cambridge university press (cup) 414 Treffer
- association for computing machinery (acm) 362 Treffer
- mdpi ag 361 Treffer
- ieee 333 Treffer
- biomed central 327 Treffer
- institute of electrical and electronics engineers 309 Treffer
- mdpi 295 Treffer
- [s.n.][s.n.] (paris) 290 Treffer
- coq hardi (clermont-ferrand) 289 Treffer
- multidisciplinary digital publishing institute 289 Treffer
- acm 275 Treffer
- public library of science (plos) 265 Treffer
- springer verlag (germany) 263 Treffer
- informa uk limited 262 Treffer
- cirad 252 Treffer
- iop publishing 227 Treffer
- nature publishing group 213 Treffer
- public library of science 202 Treffer
- amer physical soc 199 Treffer
- springer new york llc 189 Treffer
- bmc 188 Treffer
- american physical society (aps) 186 Treffer
- brill 186 Treffer
- frontiers media s.a. 186 Treffer
- uc san diego library digital collections 176 Treffer
- elsevier science bv 173 Treffer
- the royal society 173 Treffer
- american society for microbiology 171 Treffer
- springeropen 161 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 159 Treffer
- wheaton college. (norton, mass.) 158 Treffer
- drukarnia pocztowej kasy oszczednosci 155 Treffer
- stowarzyszenie urzednikow skarbowych rzeczypospolitej polskiej 155 Treffer
- springer-verlag 150 Treffer
- springer international publishing 145 Treffer
Publikation
- $2 532 Treffer
- bibliotheque nationale de france, departement philosophie, histoire, sciences de l'homme, fol-lc2-1615 393 Treffer
- issn: 1550-7998 344 Treffer
- bibliotheque nationale de france, departement droit, economie, politique, fol-jo-4353 339 Treffer
- issn: 1434-6044 ; eissn: 1434-6052 204 Treffer
-
45 weitere Werte:
- issn: 1126-6708 167 Treffer
- 015821 ; university of warsaw library ; national library of poland 155 Treffer
- issn: 0031-9007 152 Treffer
- issn: 0168-7433 130 Treffer
- item held by national library of australia 121 Treffer
- geological and atmospheric sciences publications 86 Treffer
- journal of high energy physics 79 Treffer
- european physical journal c: particles and fields 74 Treffer
- theses.fr 68 Treffer
- issn: 2469-9985 66 Treffer
- arxiv 62 Treffer
- hyper article en ligne - sciences de l'homme et de la societe 59 Treffer
- issn: 0926-3373 53 Treffer
- issn: 0168-9002 ; eissn: 1872-9576 46 Treffer
- issn: 0304-3894 41 Treffer
- issn: 2045-2322 41 Treffer
- ssrn electronic journal ; issn 1556-5068 38 Treffer
- issn: 0146-9592 37 Treffer
- issn: 1932-6203 36 Treffer
- english language resource centre ; print text held in the english language resource centre 33 Treffer
- bibliotheque nationale de france, departement estampes et photographie, reserve qb-370 (90)-ft4 30 Treffer
- resilience and development: mobilising for transformation 30 Treffer
- building tomorrow's research agenda and bridging the science-policy gap 29 Treffer
- issn: 2041-1723 29 Treffer
- bmc genomics 28 Treffer
- the journal of poultry science 28 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
- scientific reports 27 Treffer
- issn: 0014-4886 25 Treffer
- journal of formalized reasoning 24 Treffer
- artifact digital object group 23 Treffer
- casi 23 Treffer
- issn: 1749-4885 23 Treffer
- issn: 2469-9926 23 Treffer
- graduate student's output 22 Treffer
- issn: 0018-9499 22 Treffer
- issn: 0028-4793 22 Treffer
- issn: 0045-6535 22 Treffer
- plos one 22 Treffer
- sygn. oryg.: 11025-a pr 22 Treffer
- bibliotheque nationale de france, departement reserve des livres rares, res m-z-376 21 Treffer
- issn: 0013-5194 21 Treffer
- mitochondrial dna b resour 21 Treffer
- nutrients 21 Treffer
Sprache
- english 48.352 Treffer
- unknown 17.457 Treffer
- french 9.364 Treffer
- spanish; castilian 1.599 Treffer
- german 1.502 Treffer
-
58 weitere Werte:
- latin 1.015 Treffer
- portuguese 907 Treffer
- breton 776 Treffer
- polish 408 Treffer
- indonesian 356 Treffer
- italian 334 Treffer
- turkish 106 Treffer
- russian 85 Treffer
- hungarian 75 Treffer
- japanese 63 Treffer
- greek, modern (1453-) 55 Treffer
- czech 49 Treffer
- chinese 37 Treffer
- swedish 37 Treffer
- slovenian 28 Treffer
- ukrainian 27 Treffer
- croatian 20 Treffer
- lithuanian 20 Treffer
- dutch; flemish 18 Treffer
- finnish 13 Treffer
- norwegian 13 Treffer
- greek, ancient (to 1453) 11 Treffer
- thai 11 Treffer
- catalan; valencian 10 Treffer
- french, middle (ca.1400-1600) 9 Treffer
- telugu 9 Treffer
- arabic 8 Treffer
- estonian 8 Treffer
- serbian 6 Treffer
- waray 6 Treffer
- german, middle high (ca.1050-1500) 5 Treffer
- nauru 5 Treffer
- burmese 4 Treffer
- french, old (842-ca.1400) 4 Treffer
- korean 4 Treffer
- kurdish 4 Treffer
- persian 3 Treffer
- sinhala; sinhalese 3 Treffer
- afrikaans 2 Treffer
- bokm�l, norwegian; norwegian bokm�l 2 Treffer
- bulgarian 2 Treffer
- danish 2 Treffer
- galician 2 Treffer
- hebrew 2 Treffer
- macedonian 2 Treffer
- ndonga 2 Treffer
- romanian; moldavian; moldovan 2 Treffer
- turkish, ottoman (1500-1928) 2 Treffer
- albanian 1 Treffer
- dutch, middle (ca.1050-1350) 1 Treffer
- english, middle (1100-1500) 1 Treffer
- english, old (ca.450-1100) 1 Treffer
- icelandic 1 Treffer
- latvian 1 Treffer
- malay 1 Treffer
- occitan (post 1500) 1 Treffer
- slovak 1 Treffer
- vietnamese 1 Treffer
Geographischer Bezug
81.813 Treffer
-
2024academicJournalZugriff:
-
2024academicJournalZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: https://inria.hal.science/hal-04550762 ; RR-9547, Inria. 2024, pp.13, 2024Online reportZugriff:
-
In: Cancers, vol 16, iss 1, 2024academicJournalZugriff:
-
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: 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: