Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- chemistry 1.186 Treffer
- computer science 1.171 Treffer
- biology 971 Treffer
- chemistry.chemical_compound 906 Treffer
- computer 878 Treffer
-
45 weitere Werte:
- medicine 855 Treffer
- computer.software_genre 809 Treffer
- business 793 Treffer
- business.industry 771 Treffer
- programming language 746 Treffer
- ubiquinone 744 Treffer
- biochemistry 708 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 638 Treffer
- proof assistant 600 Treffer
- 02 engineering and technology 588 Treffer
- animals 540 Treffer
- humans 513 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 513 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 488 Treffer
- general medicine 464 Treffer
- food and beverages 441 Treffer
- coenzyme q - cytochrome c reductase 431 Treffer
- 01 natural sciences 418 Treffer
- medicine.medical_specialty 405 Treffer
- biology.organism_classification 395 Treffer
- male 387 Treffer
- molecular biology 374 Treffer
- medicine.disease 371 Treffer
- coenzyme q10 362 Treffer
- software 353 Treffer
- theoretical computer science 349 Treffer
- internal medicine 345 Treffer
- mathematical proof 329 Treffer
- 020207 software engineering 313 Treffer
- biology.protein 312 Treffer
- endocrinology 294 Treffer
- mitochondrion 277 Treffer
- computer.programming_language 274 Treffer
- female 264 Treffer
- cell biology 263 Treffer
- correctness 261 Treffer
- fos: computer and information sciences 244 Treffer
- media_common 244 Treffer
- 0102 computer and information sciences 241 Treffer
- 010201 computation theory & mathematics 241 Treffer
- mitochondria 241 Treffer
- media_common.quotation_subject 240 Treffer
- mathematics 233 Treffer
- medicine.disease_cause 231 Treffer
- chemistry.chemical_classification 224 Treffer
Verlag
- cairn 1.400 Treffer
- elsevier bv 571 Treffer
- springer berlin heidelberg 321 Treffer
- springer international publishing 218 Treffer
- wiley 216 Treffer
-
45 weitere Werte:
- acm 205 Treffer
- springer science and business media llc 193 Treffer
- arxiv 184 Treffer
- ieee 178 Treffer
- association for computing machinery (acm) 151 Treffer
- oxford university press (oup) 108 Treffer
- cambridge university press (cup) 94 Treffer
- elsevier 93 Treffer
- informa uk limited 83 Treffer
- zenodo 76 Treffer
- openedition 48 Treffer
- jstor 37 Treffer
- emerald 29 Treffer
- persee program 29 Treffer
- american chemical society (acs) 28 Treffer
- office of scientific and technical information (osti) 25 Treffer
- edp sciences 24 Treffer
- institute of electrical and electronics engineers (ieee) 24 Treffer
- walter de gruyter gmbh 20 Treffer
- mdpi ag 19 Treffer
- canadian science publishing 16 Treffer
- figshare 16 Treffer
- routledge 15 Treffer
- cold spring harbor laboratory 14 Treffer
- consortium erudit 14 Treffer
- escholarship, university of california 14 Treffer
- ovid technologies (wolters kluwer health) 14 Treffer
- sage publications 14 Treffer
- inderscience publishers 13 Treffer
- open publishing association 13 Treffer
- project muse 11 Treffer
- s. karger ag 11 Treffer
- american society for microbiology 10 Treffer
- easychair 10 Treffer
- american physical society (aps) 9 Treffer
- royal society of chemistry (rsc) 9 Treffer
- technological university dublin 9 Treffer
- editions quae 8 Treffer
- spie 8 Treffer
- springer netherlands 8 Treffer
- portland press ltd. 7 Treffer
- research square platform llc 7 Treffer
- springer 7 Treffer
- aip publishing 6 Treffer
- centre pour la communication scientifique directe (ccsd) 6 Treffer
Publikation
- le coq-heron 1.362 Treffer
- acm sigplan notices 64 Treffer
- proceedings of the acm on programming languages 60 Treffer
- journal of automated reasoning 36 Treffer
- electronic notes in theoretical computer science 33 Treffer
-
45 weitere Werte:
- 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
- cheminform 22 Treffer
- archives of biochemistry and biophysics 21 Treffer
- journal of functional programming 21 Treffer
- journal of catalysis 20 Treffer
- bulletin of entomological research 19 Treffer
- journal of biological chemistry 19 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
- electronic proceedings in theoretical computer science 14 Treffer
- canadian journal of zoology 13 Treffer
- science of computer programming 13 Treffer
- applied catalysis a: general 12 Treffer
- febs letters 12 Treffer
- international journal of quality & reliability management 12 Treffer
- journal of the neurological sciences 12 Treffer
- mathematical structures in computer science 12 Treffer
- the journal of biological chemistry 12 Treffer
- theoretical computer science 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
- antioxidants 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
- ieee transactions on antennas and propagation 8 Treffer
- international journal of tropical insect science 8 Treffer
- journal of molecular catalysis 8 Treffer
- mitochondrion 8 Treffer
6.263 Treffer
-
In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023-01-11Online 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 unknownZugriff:
-
2023Online unknownZugriff:
-
In: Journal d'imagerie diagnostique et interventionnelle, Jg. 6 (2023-04-01), S. e53- (3S.)Online unknownZugriff:
-
In: ACM Transactions on Programming Languages and Systems, 2023-05-04Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 67 (2023-03-01)Online unknownZugriff:
-
In: Türk Kültürü ve HACI BEKTAŞ VELİ Araştırma Dergisi, Jg. 103 (2022-09-20), S. 413-426Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2019-12-20), S. 1-32Online unknownZugriff:
-
2023Online unknownZugriff:
-
In: Journal of Functional Programming, Jg. 33 (2023)Online unknownZugriff:
-
In: Scientific and Technical Journal of Information Technologies, Mechanics and Optics, Jg. 22 (2022-06-01), S. 517-527Online unknownZugriff:
-
In: Nutrients, Jg. 14 (2022-09-12), Heft 20Online unknownZugriff:
-
In: Nature Cell Biology, 2023-01-19Online unknownZugriff:
-
In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023-01-11Online unknownZugriff: