Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 2.065 Treffer
- arXiv 666 Treffer
- Business Source Ultimate 18 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 17 Treffer
- Emerald Insight 17 Treffer
-
62 weitere Werte:
- Health Reference Center 17 Treffer
- IEEE Xplore Digital Library 17 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 17 Treffer
- OpenAIRE 17 Treffer
- Sexual Health Visual 17 Treffer
- Techniques de L'ingenieur 17 Treffer
- Music ID 17 Treffer
- EduSearch 15 Treffer
- Cambridge Core Books 15 Treffer
- Digital Library of the Caribbean 15 Treffer
- EcoLink 15 Treffer
- Choice Reviews 15 Treffer
- HumanIndex 15 Treffer
- Islamic Info 15 Treffer
- JoVE Science Education Database 15 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 15 Treffer
- AraBase 15 Treffer
- NUKAT 15 Treffer
- Shamaa 15 Treffer
- INTELECOM Video Library 15 Treffer
- Al Mandumah 15 Treffer
- ProjectMUSE 14 Treffer
- RAMBI 14 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 14 Treffer
- Swedish National Bibliography 14 Treffer
- British Standards Online 14 Treffer
- Idunn.no 14 Treffer
- IndianJournals.com 14 Treffer
- BiblioBoard 14 Treffer
- LUNA Commons 14 Treffer
- NARCIS 14 Treffer
- Knovel 14 Treffer
- ClinicalTrials.gov 11 Treffer
- Marketline Advantage 10 Treffer
- NASA Technical Reports 7 Treffer
- ERIC 7 Treffer
- ORBi 4 Treffer
- Complementary Index 4 Treffer
- NORA (Norwegian Open Research Archive) 2 Treffer
- Otzar Online 2 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 2 Treffer
- Agrow 2 Treffer
- Brill E-Book Collection 2 Treffer
- Base SantéPsy 2 Treffer
- Cairn.info International Edition 2 Treffer
- EMIS University – Company Information 2 Treffer
- EMIS University – News Sources 2 Treffer
- EMIS University – Research Sources 2 Treffer
- EMIS University M&A Information 2 Treffer
- Gale In Context: Middle School 2 Treffer
- Gale Literature Criticism 2 Treffer
- Multilegis: Publicationes Actualizables 2 Treffer
- Naxos Sheet Music 2 Treffer
- Psychotherapy.net 2 Treffer
- RxTx 2 Treffer
- SciTech Connect 2 Treffer
- Hoover's Company Profiles 2 Treffer
- ASM Alloy Center Database 2 Treffer
- ASM Medical Materials Database 2 Treffer
- ASM Micrograph Database 2 Treffer
- E-Periodica 2 Treffer
- Mergent Online 1 Treffer
Art der Quelle
- Academic Journals 72.494 Treffer
- Conference Materials 9.671 Treffer
- Books 9.270 Treffer
- Non-Print Resources 9.033 Treffer
- News 7.639 Treffer
-
14 weitere Werte:
- Magazines 7.557 Treffer
- Electronic Resources 5.244 Treffer
- Dissertations 3.687 Treffer
- Reports 2.804 Treffer
- eBooks 1.753 Treffer
- Audio 1.364 Treffer
- Reviews 1.288 Treffer
- Trade Publications 490 Treffer
- Maps 239 Treffer
- Videos 220 Treffer
- Music Scores 62 Treffer
- Research Starters 15 Treffer
- Primary Source Documents 13 Treffer
- Biographies 10 Treffer
Schlagwort
- computer science - logic in computer science 397 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 258 Treffer
- computer science - programming languages 241 Treffer
- cern lhc coll 225 Treffer
- atlas 221 Treffer
-
45 weitere Werte:
- coq 207 Treffer
- p p: scattering 187 Treffer
- experimental results 160 Treffer
- [shs.geo]humanities and social sciences/geography 130 Treffer
- [info]computer science [cs] 123 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 112 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 112 Treffer
- p p: colliding beams 99 Treffer
- info:eu-repo/classification/ddc/530 89 Treffer
- [shs.envir]humanities and social sciences/environmental studies 86 Treffer
- [shs.eco]humanities and social sciences/economics and finance 72 Treffer
- formal proof 62 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 60 Treffer
- 8000 gev-cms 60 Treffer
- background 57 Treffer
- proof assistant 56 Treffer
- [phys.phys.phys-ins-det]physics [physics]/physics [physics]/instrumentation and detectors [physics.ins-det] 47 Treffer
- 13000 gev-cms 47 Treffer
- ddc:330 47 Treffer
- [shs.socio]humanities and social sciences/sociology 44 Treffer
- f.4.1 44 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 41 Treffer
- mathematics - logic 40 Treffer
- [info.info-dc]computer science [cs]/distributed 39 Treffer
- and cluster computing [cs.dc] 39 Treffer
- parallel 39 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 35 Treffer
- transverse momentum: missing-energy 35 Treffer
- computer science - software engineering 34 Treffer
- [info.info-rb]computer science [cs]/robotics [cs.ro] 33 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 32 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 32 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 31 Treffer
- preuve formelle 31 Treffer
- [phys.hexp]physics [physics]/high energy physics - experiment [hep-ex] 30 Treffer
- computer science - artificial intelligence 30 Treffer
- mathematics - category theory 30 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 29 Treffer
- physics - optics 29 Treffer
- rewriting 29 Treffer
- top: pair production 29 Treffer
- [shs.scipo]humanities and social sciences/political science 28 Treffer
- transverse momentum 28 Treffer
- [info.info-mc]computer science [cs]/mobile computing 27 Treffer
- certification 27 Treffer
Verlag
- hal ccsd 1.117 Treffer
- cirad 102 Treffer
- springer 44 Treffer
- arxiv 32 Treffer
- persee 30 Treffer
-
45 weitere Werte:
- union europeenne 29 Treffer
- cgiar 23 Treffer
- art-dev 21 Treffer
- cgiar research program on climate change, agriculture and food security 19 Treffer
- serena 18 Treffer
- north-holland publ. 16 Treffer
- persee : universite de lyon, cnrs & ens de lyon 16 Treffer
- s.n. 13 Treffer
- stockholm: stockholm school of economics, stockholm institute of transition economics (site) 12 Treffer
- zurich: center for research in economics, management and the arts (crema) 11 Treffer
- marketline 10 Treffer
- marketline, a progressive digital media business 10 Treffer
- soc. 10 Treffer
- stockholm: stockholm school of economics, the economic research institute (efi) 9 Treffer
- editions des deux coqs d'or 8 Treffer
- paris 8 Treffer
- inra 7 Treffer
- nasa center for aerospace information (casi) 7 Treffer
- cirad-tera 6 Treffer
- cornell university 6 Treffer
- globaldata uk ltd 6 Treffer
- la compagnie du livre 6 Treffer
- university of pretoria 6 Treffer
- aps 5 Treffer
- not available 5 Treffer
- mclean hospital 2 Treffer
- technische universiteit eindhoven 2 Treffer
- arkansas children's hospital research institute 1 Treffer
- beijing tongren hospital 1 Treffer
- bridge tower media holding company d/b/a bridge tower media 1 Treffer
- centre on regulation in europe (cerre) 1 Treffer
- children's hospital medical center, cincinnati 1 Treffer
- forbes inc. 1 Treffer
- hadassah medical organization 1 Treffer
- harvard university 1 Treffer
- hpci media limited 1 Treffer
- m. shanken communications, inc. 1 Treffer
- massachusetts general hospital 1 Treffer
- nantes university hospital 1 Treffer
- national institute on aging (nia) 1 Treffer
- pwxyz llc 1 Treffer
- the university of bergen 1 Treffer
- uliege 1 Treffer
- university of rochester 1 Treffer
- weill medical college of cornell university 1 Treffer
Publikation
- https://shs.hal.science/halshs-02071681 ; [0] saisine n° 2014-sa-0016, anses. 2016, 345 p 10 Treffer
- https://hal.science/hal-02054506 ; [rapport de recherche] mission de recherche droit & justice. 2018, http://www.gip-recherche-justice.fr/wp-content/uploads/2018/05/15-24-rapport-final_%c3%89tat-civil-de-demain-et-transidentit%c3%a9_mai-2018.pdf 9 Treffer
- olvi plc marketline company profile 9 Treffer
- https://hal.science/hal-04193484 ; [rapport de recherche] eveha - etudes et valorisations archeologiques (limoges); service regional de l'archeologie centre-val de loire. 2022, pp.416 8 Treffer
- logic group preprint series 8 Treffer
-
45 weitere Werte:
- https://hal.in2p3.fr/in2p3-00438264 ; [research report] lapp. 2009, pp.52 7 Treffer
- https://hal.in2p3.fr/in2p3-00462509 ; 2010 7 Treffer
- https://hal.science/hal-04210610 ; cnrs letg. 2020 6 Treffer
- https://hal.in2p3.fr/in2p3-00011367 ; 1996, pp.189 5 Treffer
- https://hal.in2p3.fr/in2p3-00011368 ; 1996, pp.100 5 Treffer
- https://hal.in2p3.fr/in2p3-00011404 ; 1994, pp.1-289 5 Treffer
- https://hal.science/hal-03557760 ; [research report] irif; irisa; insa rennes. 2022, pp.1-36 5 Treffer
- https://hal.science/hal-04382873 ; 2024 5 Treffer
- https://hal.sorbonne-universite.fr/hal-01762962 ; [research report] sorbonne universite, cnrs, laboratoire d'informatique de paris 6, lip6, f-75005 paris, france. 2018, pp.1-12 5 Treffer
- aroq - just-food.com (global news) 4 Treffer
- https://hal.science/hal-03113589 ; [research report] university of pretoria. 2014, 46 p 4 Treffer
- https://hal.science/hal-04225130 ; inria sophia antipolis - mediterranee, universite cote d'azur; national institute of advanced industrial science and technology (aist), japan; onera / dtis, universite de toulouse, france. 2023, pp.1-12 4 Treffer
- https://hal.sorbonne-universite.fr/hal-03111541 ; 2021 4 Treffer
- https://inria.hal.science/hal-04550762 ; rr-9547, inria. 2024, pp.13 4 Treffer
- 32 pp. (2014 3 Treffer
- https://anses.hal.science/anses-04082679 ; saisine n°2022-sa-0139, anses. 2022, 46 p 3 Treffer
- https://hal.science/hal-00834633 ; [research report] 1560, lri - cnrs, university paris-sud. 2013 3 Treffer
- https://hal.science/hal-01801851 ; 2018 3 Treffer
- https://hal.science/hal-03006397 ; 2020 3 Treffer
- https://hal.science/hal-03016385 ; 2020 3 Treffer
- https://hal.science/hal-03634249 ; 2022 3 Treffer
- https://inria.hal.science/hal-03564379 ; [research report] rr-9457, institut national de recherche en informatique et en automatique (inria). 2023, pp.17 3 Treffer
- https://inria.hal.science/hal-04008820 ; 2023 3 Treffer
- https://shs.hal.science/halshs-02476743 ; [rapport de recherche] cirad. 2019 3 Treffer
- orbi : universite de liege 3 Treffer
- aroq - just-style.com (global news) 2 Treffer
- ecommons : open scholarship at cornell 2 Treffer
- educational research and reviews 2 Treffer
- https://hal.in2p3.fr/in2p3-00007013 ; 1996, pp.1-9 2 Treffer
- https://univ-pantheon-assas.hal.science/hal-04318563 ; 2023 2 Treffer
- hyper article en ligne - sciences de l'homme et de la societe ; 2014 2 Treffer
- hyper article en ligne - sciences de l'homme et de la societe ; 2015 2 Treffer
- revista brasileira de parasitologia veterinaria v.27 n.3 2018 2 Treffer
- acta didactica napocensia 1 Treffer
- artificial intelligence preprint series 1 Treffer
- design and application of strategies/tactics in higher order logics 1 Treffer
- developmental disabilities research reviews 1 Treffer
- forbes 1 Treffer
- gifts & decorative accessories 1 Treffer
- harvard business school cases 1 Treffer
- proceedings of the first nasa formal methods symposium 1 Treffer
- proceedings of the third international workshop on proof-carrying code and software certification 1 Treffer
- publishers weekly 1 Treffer
- soap, perfumery & cosmetics 1 Treffer
- wine spectator 1 Treffer