Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer science 1.635 Treffer
- chemistry 1.424 Treffer
- computer 1.171 Treffer
- 02 engineering and technology 1.161 Treffer
- biology 1.129 Treffer
-
45 weitere Werte:
- theoryofcomputation_logicsandmeaningsofprograms 1.100 Treffer
- computer.software_genre 1.076 Treffer
- chemistry.chemical_compound 1.071 Treffer
- business 1.054 Treffer
- business.industry 1.030 Treffer
- medicine 1.010 Treffer
- programming language 989 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 939 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 915 Treffer
- proof assistant 889 Treffer
- 01 natural sciences 878 Treffer
- ubiquinone 852 Treffer
- biochemistry 831 Treffer
- animals 620 Treffer
- humans 614 Treffer
- 020207 software engineering 590 Treffer
- coq 538 Treffer
- general medicine 534 Treffer
- food and beverages 531 Treffer
- theoretical computer science 513 Treffer
- fos: computer and information sciences 511 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 508 Treffer
- software 507 Treffer
- coenzyme q - cytochrome c reductase 490 Treffer
- computingmilieux_miscellaneous 479 Treffer
- 0102 computer and information sciences 470 Treffer
- 010201 computation theory & mathematics 470 Treffer
- mathematical proof 459 Treffer
- medicine.medical_specialty 457 Treffer
- biology.organism_classification 448 Treffer
- molecular biology 441 Treffer
- medicine.disease 432 Treffer
- male 429 Treffer
- coenzyme q10 412 Treffer
- internal medicine 387 Treffer
- computer.programming_language 353 Treffer
- biology.protein 351 Treffer
- correctness 343 Treffer
- mathematics 341 Treffer
- computer science - logic in computer science 337 Treffer
- logic in computer science (cs.lo) 334 Treffer
- endocrinology 332 Treffer
- mitochondrion 331 Treffer
- 03 medical and health sciences 328 Treffer
- cell biology 323 Treffer
Verlag
- hal ccsd 2.031 Treffer
- cairn 1.400 Treffer
- elsevier bv 572 Treffer
- springer berlin heidelberg 321 Treffer
- springer international publishing 222 Treffer
-
45 weitere Werte:
- wiley 217 Treffer
- acm 214 Treffer
- springer science and business media llc 194 Treffer
- arxiv 186 Treffer
- ieee 181 Treffer
- association for computing machinery (acm) 154 Treffer
- oxford university press (oup) 108 Treffer
- elsevier 107 Treffer
- cambridge university press (cup) 94 Treffer
- zenodo 92 Treffer
- informa uk limited 83 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 55 Treffer
- cirad 49 Treffer
- openedition 48 Treffer
- jstor 37 Treffer
- springer 33 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany 31 Treffer
- emerald 29 Treffer
- persee program 29 Treffer
- american chemical society (acs) 28 Treffer
- mdpi ag 28 Treffer
- institute of electrical and electronics engineers (ieee) 26 Treffer
- edp sciences 25 Treffer
- escholarship, university of california 25 Treffer
- office of scientific and technical information (osti) 25 Treffer
- open publishing association 21 Treffer
- walter de gruyter gmbh 20 Treffer
- classiques garnier 18 Treffer
- multidisciplinary digital publishing institute 17 Treffer
- canadian science publishing 16 Treffer
- cold spring harbor laboratory 16 Treffer
- figshare 16 Treffer
- routledge 15 Treffer
- springer netherlands 15 Treffer
- consortium erudit 14 Treffer
- ed. quae 14 Treffer
- elsevier b.v. 14 Treffer
- ovid technologies (wolters kluwer health) 14 Treffer
- sage publications 14 Treffer
- inderscience publishers 13 Treffer
- american society for microbiology 12 Treffer
- editions quae 12 Treffer
- public library of science (plos) 12 Treffer
- s. karger ag 12 Treffer
- episciences.org 11 Treffer
Publikation
- le coq-heron 1.362 Treffer
- proceedings of the acm on programming languages 66 Treffer
- acm sigplan notices 64 Treffer
- electronic notes in theoretical computer science 43 Treffer
- journal of automated reasoning 39 Treffer
-
45 weitere Werte:
- periodiques scientifiques en edition electronique 31 Treffer
- biofactors (oxford, england) 29 Treffer
- annals of the entomological society of america 28 Treffer
- biofactors 24 Treffer
- molecular aspects of medicine 24 Treffer
- biochemical and biophysical research communications 23 Treffer
- electronic proceedings in theoretical computer science 23 Treffer
- cheminform 22 Treffer
- journal of functional programming 22 Treffer
- archives of biochemistry and biophysics 21 Treffer
- journal of biological chemistry 20 Treffer
- journal of catalysis 20 Treffer
- bulletin of entomological research 19 Treffer
- febs letters 18 Treffer
- free radical biology and medicine 18 Treffer
- journal of economic entomology 18 Treffer
- the canadian entomologist 17 Treffer
- chemischer informationsdienst 15 Treffer
- journal of medical entomology 15 Treffer
- plos one 15 Treffer
- antioxidants 14 Treffer
- journal of the neurological sciences 14 Treffer
- science of computer programming 14 Treffer
- theoretical computer science 14 Treffer
- canadian journal of zoology 13 Treffer
- mathematical structures in computer science 13 Treffer
- the journal of biological chemistry 13 Treffer
- applied catalysis a: general 12 Treffer
- international journal of quality & reliability management 12 Treffer
- applied catalysis b: environmental 11 Treffer
- biochimica et biophysica acta 11 Treffer
- ssrn electronic journal 11 Treffer
- the faseb journal 11 Treffer
- journal of inherited metabolic disease 10 Treffer
- zentralblatt fur veterinarmedizin reihe a 10 Treffer
- 美術研究 10 Treffer
- biochimica et biophysica acta (bba) - bioenergetics 9 Treffer
- journal of agricultural and food chemistry 9 Treffer
- physical review letters 9 Treffer
- tetrahedron letters 9 Treffer
- the journal of parasitology 9 Treffer
- applied microbiology and biotechnology 8 Treffer
- biochemical pharmacology 8 Treffer
- catalysis letters 8 Treffer
- free radical research 8 Treffer
Sprache
- undetermined 6.263 Treffer
- english 2.672 Treffer
- french 862 Treffer
- spanish; castilian 165 Treffer
- japanese 43 Treffer
-
17 weitere Werte:
- portuguese 28 Treffer
- turkish 21 Treffer
- german 18 Treffer
- latin 8 Treffer
- estonian 7 Treffer
- dutch; flemish 5 Treffer
- italian 5 Treffer
- croatian 4 Treffer
- russian 4 Treffer
- ukrainian 2 Treffer
- czech 1 Treffer
- finnish 1 Treffer
- indonesian 1 Treffer
- lithuanian 1 Treffer
- slovak 1 Treffer
- slovenian 1 Treffer
- swedish 1 Treffer
10.114 Treffer
-
In: Mathematics; Volume 11; Issue 12; Pages: 2757, 2023-06-18Online unknownSiehe Detailanzeige für VolltextZugriff:
-
In: Mathematics; Volume 11; Issue 11; Pages: 2504, 2023-05-29Online unknownSiehe Detailanzeige für VolltextZugriff:
-
In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023-01-11Online unknownZugriff:
-
In: Antioxidants, 2022-11-22Online unknownZugriff:
-
2022Online unknownZugriff:
-
In: Metabolites; Volume 13; Issue 7; Pages: 813, 2023-06-30Online unknownZugriff:
-
In: Free Radical Biology and Medicine, Jg. 167 (2021-05-01), S. 232-242Online unknownZugriff:
-
In: Mathematics, Jg. 11 (2023-02-21), S. 1079-1079Online unknownSiehe Detailanzeige für VolltextZugriff: