Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- nuclear and high energy physics 120 Treffer
- settore fis/01 - fisica sperimentale 115 Treffer
- hadron-hadron scattering (experiments) 112 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 103 Treffer
- hadron-hadron scattering 91 Treffer
-
45 weitere Werte:
- coq 74 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 60 Treffer
- settore fis/04 - fisica nucleare e subnucleare 51 Treffer
- [info]computer science [cs] 40 Treffer
- formal proof 30 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 27 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 26 Treffer
- higgs physic 22 Treffer
- beyond standard model 20 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 17 Treffer
- [sdv]life sciences [q-bio] 17 Treffer
- settore ing-inf/07 - misure elettriche e elettroniche 16 Treffer
- [chim.cata]chemical sciences/catalysis 15 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 15 Treffer
- formal verification 15 Treffer
- proof assistant 15 Treffer
- exotic 13 Treffer
- floating-point arithmetic 13 Treffer
- top physic 13 Treffer
- [info.info-dc]computer science [cs]/distributed 12 Treffer
- and cluster computing [cs.dc] 12 Treffer
- atlas 12 Treffer
- lhc 12 Treffer
- parallel 12 Treffer
- science & technology 12 Treffer
- theorem proving 12 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 11 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 11 Treffer
- [sdv.bv]life sciences [q-bio]/vegetal biology 11 Treffer
- abstract interpretation 11 Treffer
- agroforestry systems 11 Treffer
- cameroon 11 Treffer
- french guiana 11 Treffer
- litter decomposition 11 Treffer
- molecular 11 Treffer
- nitrogen dynamic 11 Treffer
- plant-soil feedback 11 Treffer
- racines fines 11 Treffer
- relation plante-sol 11 Treffer
- spatial dynamics 11 Treffer
- belowground/aboveground interactions 10 Treffer
- etude en serre 10 Treffer
- non-additive effect 10 Treffer
- qcd 10 Treffer
- socioeconomic determinants 10 Treffer
Verlag
- hal ccsd 313 Treffer
- country:de 49 Treffer
- place:233 spring st, new york, ny 10013 usa 20 Treffer
- springer 4 Treffer
- country:deu 3 Treffer
-
9 weitere Werte:
- place:one new york plaza, suite 4600, new york, ny, united states 2 Treffer
- uppsala universitet, hogenergifysik 2 Treffer
- escholarship, university of california 1 Treffer
- place:berlino 1 Treffer
- place:heidelberg 1 Treffer
- springer science and business media llc 1 Treffer
- springer verlag (germany) 1 Treffer
- springer/sissa 1 Treffer
- springer/societa italiana di fisica 1 Treffer
Publikation
- issn: 0168-7433 129 Treffer
- issn: 0934-5043 14 Treffer
- issn: 0944-1344 12 Treffer
- issn: 0032-079x 11 Treffer
- issn: 0167-4366 11 Treffer
-
33 weitere Werte:
- issn: 1012-2443 10 Treffer
- issn: 2095-2228 9 Treffer
- issn: 1432-4350 7 Treffer
- issn: 1432-9840 7 Treffer
- issn: 1011-372x 6 Treffer
- issn: 0922-6443 5 Treffer
- issn: 0929-5607 5 Treffer
- issn: 1433-2779 5 Treffer
- issn: 0188-7009 4 Treffer
- issn: 0885-7458 4 Treffer
- issn: 0947-8396 4 Treffer
- issn: 1388-3690 4 Treffer
- issn: 2193-8229 4 Treffer
- fmics 2015 - formal methods for industrial critical systems ; https://cea.hal.science/cea-01834977 ; fmics 2015 - formal methods for industrial critical systems, jun 2015, oslo, norway. pp.15-30, ⟨10.1007/978-3-319-19458-5_2⟩ 3 Treffer
- issn: 0001-8244 3 Treffer
- issn: 0025-3162 3 Treffer
- issn: 0093-7711 3 Treffer
- issn: 0304-8608 3 Treffer
- issn: 1022-5528 3 Treffer
- issn: 1619-1366 3 Treffer
- hyper article en ligne - sciences de l'homme et de la societe 2 Treffer
- issn: 0090-4341 2 Treffer
- issn: 0376-9429 2 Treffer
- issn: 0885-7474 2 Treffer
- issn: 0925-9856 2 Treffer
- issn: 0959-3993 2 Treffer
- issn: 1017-1398 2 Treffer
- lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics 2 Treffer
- $2 1 Treffer
- issn: 0133-1736 1 Treffer
- issn: 1612-4642 1 Treffer
- issn: 1863-2246 1 Treffer
- lecture notes in computer science (lncs 1 Treffer
Sprache
Geographischer Bezug
718 Treffer
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2021Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff: