Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 60 Treffer
- logics and meanings of programs 46 Treffer
- mathematical logic and formal languages 43 Treffer
- artificial intelligence (incl. robotics) 39 Treffer
- software engineering 33 Treffer
-
45 weitere Werte:
- coq 25 Treffer
- logic design 20 Treffer
- programming languages, compilers, interpreters 16 Treffer
- ubiquinones 12 Treffer
- computer software 11 Treffer
- cooking 11 Treffer
- coq10 10 Treffer
- le coq sportif holding sa 10 Treffer
- chicken as food 9 Treffer
- coenzyme q10 8 Treffer
- programming techniques 8 Treffer
- algorithms 7 Treffer
- calculus 7 Treffer
- coenzyme q 7 Treffer
- symbolic and algebraic manipulation 7 Treffer
- ubiquinone 7 Treffer
- jazz musicians 6 Treffer
- logic 6 Treffer
- mathematical logic 6 Treffer
- mitochondria 6 Treffer
- programming languages 6 Treffer
- rimsky-korsakov, nikolay, 1844-1908 6 Treffer
- database management 5 Treffer
- evidence-based practice 5 Treffer
- mathematical logic and foundations 5 Treffer
- mathematical proofs 5 Treffer
- proof theory 5 Treffer
- restaurants 5 Treffer
- sportswear 5 Treffer
- theorem proving 5 Treffer
- vitamin e 5 Treffer
- antioxidants 4 Treffer
- automatic theorem proving 4 Treffer
- coenzymes 4 Treffer
- computer communication networks 4 Treffer
- computer programming 4 Treffer
- computer systems 4 Treffer
- food 4 Treffer
- formal verification 4 Treffer
- health and medicine 4 Treffer
- lambda calculus 4 Treffer
- mathematical models 4 Treffer
- mathematical programming 4 Treffer
- oxidative stress 4 Treffer
- proof assistant 4 Treffer
Verlag
- elsevier b.v. 90 Treffer
- associated newspapers ltd 73 Treffer
- springer nature 56 Treffer
- american chemical society 17 Treffer
- vitasearch 14 Treffer
-
45 weitere Werte:
- newsrx 10 Treffer
- reworld media 9 Treffer
- hennessen et cie 8 Treffer
- hearst magazines, a division of hearst communications, inc. 7 Treffer
- emap publishing limited 6 Treffer
- nemm et cie 6 Treffer
- nielsen business media, inc. 6 Treffer
- optica publishing group 6 Treffer
- stage media company ltd 6 Treffer
- colour publications pvt, ltd. 5 Treffer
- jazz journal ltd 5 Treffer
- life extension foundation 5 Treffer
- boise weekly 4 Treffer
- investir publications 4 Treffer
- oxford university press / usa 4 Treffer
- san francisco chronicle 4 Treffer
- are media pty limited 3 Treffer
- asian post publishing media 3 Treffer
- dancing times, ltd. 3 Treffer
- gruner & jahr ag & co. 3 Treffer
- institute of physiology, academy of sciences of the czech republic 3 Treffer
- jazz magazine 3 Treffer
- johns hopkins university press 3 Treffer
- kse sportsman media, inc. 3 Treffer
- presses de sciences po 3 Treffer
- totem publisher, inc. 3 Treffer
- academie internationale de coupe de paris(aicp) 2 Treffer
- active interest media, inc. 2 Treffer
- akademiai kiado 2 Treffer
- alive publishing 2 Treffer
- america's test kitchen 2 Treffer
- artclair editions 2 Treffer
- cahiers du cinema 2 Treffer
- economist.com 2 Treffer
- editions de la reunion des musees nationaux 2 Treffer
- hymn society of great britain & ireland 2 Treffer
- iter, inc. 2 Treffer
- la revue electronique en sciences de l'environnement vertigo 2 Treffer
- lee enterprises dba missoula independent 2 Treffer
- m. shanken communications, inc. 2 Treffer
- mark allen holdings limited 2 Treffer
- meredith corporation 2 Treffer
- newstex llc 2 Treffer
- otto harrassowitz verlag 2 Treffer
- rd publications inc. 2 Treffer
Publikation
- daily mail 51 Treffer
- entcs: electronic notes in theoretical computer science 38 Treffer
- annals of the entomological society of america 27 Treffer
- mail on sunday 22 Treffer
- cheminform 21 Treffer
-
45 weitere Werte:
- febs letters 21 Treffer
- journal of economic entomology 20 Treffer
- optics letters 16 Treffer
- journal of medical entomology 15 Treffer
- the canadian entomologist 15 Treffer
- clinical pearls nutrition research updates 14 Treffer
- journal of catalysis 13 Treffer
- journal of biological chemistry 11 Treffer
- journal of automated reasoning 10 Treffer
- canadian journal of zoology 9 Treffer
- diapason: le magazine de la musique classique 9 Treffer
- formal aspects of computing 9 Treffer
- applied catalysis a: general 8 Treffer
- biochemical and biophysical research communications 8 Treffer
- catalysis letters 8 Treffer
- journal du textile 8 Treffer
- theorem proving in higher order logics (9783540678632) 8 Treffer
- nature 7 Treffer
- proceedings of spie 7 Treffer
- revue de metallurgie 7 Treffer
- chemical communications 6 Treffer
- chemistry of materials 6 Treffer
- drapers 6 Treffer
- inorganic chemistry 6 Treffer
- jazz magazine (0021-566x) 6 Treffer
- neurology (ovid) 6 Treffer
- sgb: sporting goods business 6 Treffer
- stage 6 Treffer
- theorem proving in higher order logics (9783540406648) 6 Treffer
- types for proofs & programs 6 Treffer
- genetics selection evolution 5 Treffer
- international journal of productivity and quality management 5 Treffer
- jazz journal 5 Treffer
- journal of bacteriology 5 Treffer
- journal of logical and algebraic methods in programming 5 Treffer
- journal of molecular catalysis a: chemical 5 Treffer
- journal of physical chemistry b 5 Treffer
- life extension 5 Treffer
- nurse education today 5 Treffer
- pesticides 5 Treffer
- biochemistry 4 Treffer
- bioscience, biotechnology & biochemistry 4 Treffer
- bioscience, biotechnology, and biochemistry 4 Treffer
- boise weekly 4 Treffer
- experimental biology and medicine 4 Treffer
Sprache
Geographischer Bezug
1.168 Treffer
-
In: Drug Resistance Updates, Jg. 73 (2024-03-01), S. N.PAGacademicJournalZugriff:
-
In: American Music, Jg. 39 (2021-12-01), Heft 4, S. 1-18academicJournalZugriff:
-
In: Professioni Infermieristiche, Jg. 73 (2020-04-01), Heft 2, S. 98-105academicJournalZugriff:
-
In: Cahiers des Dix, Jg. 72 (2018), S. 213-247academicJournalZugriff:
-
In: Drug Week, 2024-03-15, S. 2763-2763serialPeriodicalZugriff:
-
In: Mande Studies (Project Muse), 2023, Heft Preprints, S. 157-173Online serialPeriodicalZugriff:
-
In: International Journal of Performability Engineering, Jg. 14 (2018-09-01), Heft 9, S. 1947-1957Online academicJournalZugriff:
-
In: Actualités Pharmaceutiques, Jg. 58 (2019-05-01), Heft 586, S. 48-51academicJournalZugriff:
-
In: Journal of Membrane Computing, Jg. 3 (2021-09-01), Heft 3, S. 205-220Online serialPeriodicalZugriff:
-
In: Scientific Annals of Computer Science, Jg. 26 (2016-07-01), Heft 2, S. 157-186Online academicJournalZugriff:
-
In: Arizona Quarterly, Jg. 72 (2016-03-01), Heft 1, S. 105-126Online academicJournalZugriff:
-
In: Renaissance & Reformation / Renaissance et Réforme, Jg. 38 (2015), Heft 1, S. 5-25Online academicJournalZugriff:
-
In: Health & Medicine Week, 2023-09-29, S. 1722-1722serialPeriodicalZugriff:
-
In: Revista Crítica de Ciências Sociais, 2015-05-01, Heft 106, S. 53-83Online academicJournalZugriff:
-
In: Acta Orientalia Academiae Scientiarum Hungaricae, Jg. 63 (2010-03-01), Heft 1, S. 1-8Online academicJournalZugriff:
-
In: Nature, Jg. 575 (2019-11-28), Heft 7784, S. 688-692Online serialPeriodicalZugriff:
-
In: Nature Cell Biology, Jg. 25 (2023-02-01), Heft 2, S. 207-208Online serialPeriodicalZugriff:
-
In: Vingtième Siècle, 2014-07-01, Heft 123, S. 85-100Online academicJournalZugriff:
-
In: International Journal of Business & Economics, Jg. 6 (2007-09-01), Heft 1, S. 7-16Online academicJournalZugriff:
-
In: Investir - Journal des Finances, 2024-03-09, Heft 2618, S. 10-10Online serialPeriodicalZugriff: