Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 131 Treffer
- 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] 105 Treffer
-
45 weitere Werte:
- hadron-hadron scattering 91 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] 39 Treffer
- formal proof 33 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 27 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 26 Treffer
- formal verification 22 Treffer
- higgs physic 22 Treffer
- beyond standard model 20 Treffer
- proof assistant 19 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 18 Treffer
- settore ing-inf/07 - misure elettriche e elettroniche 16 Treffer
- theorem proving 16 Treffer
- verification 16 Treffer
- [chim.cata]chemical sciences/catalysis 15 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 15 Treffer
- [sdv]life sciences [q-bio] 14 Treffer
- floating-point arithmetic 14 Treffer
- science & technology 14 Treffer
- exotic 13 Treffer
- top physic 13 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 12 Treffer
- [info.info-dc]computer science [cs]/distributed 12 Treffer
- abstract interpretation 12 Treffer
- and cluster computing [cs.dc] 12 Treffer
- atlas 12 Treffer
- formal proofs 12 Treffer
- interactive theorem proving 12 Treffer
- lhc 12 Treffer
- parallel 12 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 11 Treffer
- formal methods 11 Treffer
- ssreflect 11 Treffer
- [sdv.bv]life sciences [q-bio]/vegetal biology 10 Treffer
- agroforestry systems 10 Treffer
- belowground/aboveground interactions 10 Treffer
- cameroon 10 Treffer
- french guiana 10 Treffer
- litter decomposition 10 Treffer
- molecular 10 Treffer
- nitrogen dynamic 10 Treffer
- plant-soil feedback 10 Treffer
- qcd 10 Treffer
- racines fines 10 Treffer
Verlag
- hal ccsd 304 Treffer
- country:de 49 Treffer
- place:233 spring st, new york, ny 10013 usa 20 Treffer
- springer 4 Treffer
- country:deu 3 Treffer
-
11 weitere Werte:
- place:one new york plaza, suite 4600, new york, ny, united states 2 Treffer
- uppsala universitet, hogenergifysik 2 Treffer
- chalmers university of technology, gothenburg, sweden 1 Treffer
- escholarship, university of california 1 Treffer
- malardalens hogskola, inbyggda system 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
- lecture notes in computer science 160 Treffer
- issn: 0168-7433 130 Treffer
- issn: 0934-5043 14 Treffer
- issn: 0944-1344 11 Treffer
- issn: 0032-079x 10 Treffer
-
45 weitere Werte:
- issn: 0167-4366 10 Treffer
- issn: 1012-2443 10 Treffer
- issn: 2095-2228 10 Treffer
- interactive theorem proving - 5th international conference, itp 2014, held as part of the vienna summer of logic, vsl 2014, proceedings 8 Treffer
- issn: 1432-4350 7 Treffer
- interactive theorem proving - 9th international conference, itp 2018, held as part of the federated logic conference, floc 2018, proceedings 6 Treffer
- issn: 1011-372x 6 Treffer
- issn: 1432-9840 6 Treffer
- experimental brain research 5 Treffer
- interactive theorem proving - 8th international conference, itp 2017,proceedings 5 Treffer
- issn: 0929-5607 5 Treffer
- issn: 1433-2779 5 Treffer
- issn: 0885-7458 4 Treffer
- issn: 0922-6443 4 Treffer
- issn: 0947-8396 4 Treffer
- issn: 1388-3690 4 Treffer
- issn: 2193-8229 4 Treffer
- theorem proving in higher order logics - 13th international conference, tphols 2000, proceedings 4 Treffer
- functional and logic programming - 13th international symposium, flops 2016, proceedings 3 Treffer
- interactive theorem proving - 6th international conference, itp 2015, proceedings 3 Treffer
- interactive theorem proving - 7th international conference, itp 2016, proceedings 3 Treffer
- interactive theorem proving - first international conference, itp 2010, proceedings 3 Treffer
- issn: 0025-3162 3 Treffer
- issn: 0188-7009 3 Treffer
- issn: 1022-5528 3 Treffer
- issn: 1619-1366 3 Treffer
- theorem proving in higher order logics - 21st international conference, tphols 2008, proceedings 3 Treffer
- types for proofs and programs - international workshop types 1996, selected papers 3 Treffer
- european journal of nuclear medicine 2 Treffer
- european journal of pediatrics 2 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⟩ 2 Treffer
- hyper article en ligne - sciences de l'homme et de la societe 2 Treffer
- issn: 0001-8244 2 Treffer
- issn: 0093-7711 2 Treffer
- issn: 0304-8608 2 Treffer
- issn: 0376-9429 2 Treffer
- oecologia 2 Treffer
- acta neuropathologica 1 Treffer
- archives of virology 1 Treffer
- cancer chemotherapy and pharmacology 1 Treffer
- international journal of clinical & laboratory research 1 Treffer
- nato asi series f computer and systems sciences 1 Treffer
- nouvelle revue francaise dhematologie 1 Treffer
- theoretical and applied genetics 1 Treffer
- zeitschrift fur physik d-atoms molecules and clusters 1 Treffer
Sprache
Geographischer Bezug
906 Treffer
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
In: ISSN: 0168-7433, 2021Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2019Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2018Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2016Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
2011Online KonferenzZugriff:
-
In: ISSN: 0168-7433, 2014Online academicJournalZugriff:
-
2019Online KonferenzZugriff:
-
2019Online KonferenzZugriff:
-
In: ISSN: 0376-9429, 2024Online academicJournalZugriff:
-
In: ISSN: 1619-1366, 2020Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
In: ISSN: 0168-7433, 2012Online academicJournalZugriff:
-
In: NATO ASI SERIES F COMPUTER AND SYSTEMS SCIENCES, Jg. 157 (1997), S. 157-200serialPeriodicalZugriff: